Displaying results 1 - 10 / 4194
results / page
What publication information is included in the service?
Publication name
Authors
Publication channel
Year
Publications information icon

EMIP: The eye movements in programming dataset

Peer-reviewed
Open access
DOI
10.1016/j.scico.2020.102520
Bednarik, Roman; Busjahn, Teresa; Gibaldi, Agostino; Ahadi, Alireza; Bielikova, Maria; Crosby, Marth...
Science of computer programming2020Publications information icon

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report

Peer-reviewed
Open access
DOI
10.1016/j.scico.2023.103047
Andrey Sadovykh; Bilal Said; Dragos Truscan; Hugo Bruneliere
Science of Computer Programming2024Publications information icon

Introduction to the Software Quality for Artificial Intelligence (SQA4AI) special issue

DOI
10.1016/j.scico.2023.102975
Felderer, Michael; Lenarduzzi, Valentina; Palomba, Fabio; Pecorelli, Fabiano
Science of computer programming2023Publications information icon

Software Quality for Artificial Intelligence (SQA4AI) special issue

Peer-reviewed
Felderer, Michael; Lenarduzzi, Valentina; Palomba, Fabio; Pecorelli, Fabiano
Science of computer programming2023Publications information icon

Are You of Value to Me? A Partner Selection Reference Method for Software Ecosystem Orchestrators

Peer-reviewed
Beelen, Luc; Jansen, Slinger; Overbeek, Sietse
Science of Computer Programming2021Publications information icon

An optimal cut-off algorithm for parameterised refinement checking

Peer-reviewed
Open access
DOI
10.1016/j.scico.2020.102517
Siirtola, Antti; Heljanko, Keijo
Science of computer programming2020Publications information icon

Constrained synthesis from component libraries

Peer-reviewed
Open access
DOI
10.1016/j.scico.2018.10.003
Iannopollo, Antonio; Tripakis, Stavros; Sangiovanni-Vincentelli, Alberto
Science of Computer Programming2019Publications information icon

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions

Peer-reviewed
DOI
10.1016/j.scico.2018.07.003
Pittou, Maria; Manolios, Panagiotis; Reineke, Jan; Tripakis, Stavros
Science of Computer Programming2018Publications information icon

Formal reasoning about resilient goal-oriented multi-agent systems

Peer-reviewed
DOI
10.1016/j.scico.2017.05.008
Inna Vistbakka; I. Pereverzeva; Elena Troubitsyna
Science of Computer Programming2017Publications information icon

Runtime enforcement of regular timed properties by suppressing and delaying events

Peer-reviewed
DOI
10.1016/j.scico.2016.02.008
Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Pinisetty, Srinivas
Science of Computer Programming2016

EMIP: The eye movements in programming dataset

Peer-reviewed
Open access
DOI
10.1016/j.scico.2020.102520
2020

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report

Peer-reviewed
Open access
DOI
10.1016/j.scico.2023.103047
2024

Introduction to the Software Quality for Artificial Intelligence (SQA4AI) special issue

DOI
10.1016/j.scico.2023.102975
2023

Software Quality for Artificial Intelligence (SQA4AI) special issue

Peer-reviewed
2023

Are You of Value to Me? A Partner Selection Reference Method for Software Ecosystem Orchestrators

Peer-reviewed
2021

An optimal cut-off algorithm for parameterised refinement checking

Peer-reviewed
Open access
DOI
10.1016/j.scico.2020.102517
2020

Constrained synthesis from component libraries

Peer-reviewed
Open access
DOI
10.1016/j.scico.2018.10.003
2019

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions

Peer-reviewed
DOI
10.1016/j.scico.2018.07.003
2018

Formal reasoning about resilient goal-oriented multi-agent systems

Peer-reviewed
DOI
10.1016/j.scico.2017.05.008
2017

Runtime enforcement of regular timed properties by suppressing and delaying events

Peer-reviewed
DOI
10.1016/j.scico.2016.02.008
2016