C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sci. Comput. Program.
1981
1995
2010
2024
1981
2024
Keyphrases
Publications
volume 232, 2024
Iñigo Aldalur
Web Augmentation: A systematic mapping study.
Sci. Comput. Program.
232 (2024)
Herbert Rausch Fernandes
,
Giovanni Freitas Gomes
,
Antonio Carlos Pinheiro de Oliveira
,
Sérgio Vale Aguiar Campos
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235.
Sci. Comput. Program.
232 (2024)
Alfa Ryano Yohannis
,
Dimitrios S. Kolovos
,
Antonio García-Domínguez
Exploring complex models with picto web.
Sci. Comput. Program.
232 (2024)
Andrey Sadovykh
,
Bilal Said
,
Dragos Truscan
,
Hugo Bruneliere
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report.
Sci. Comput. Program.
232 (2024)
Erwan Mahe
,
Christophe Gaston
,
Pascale Le Gall
Denotational and operational semantics for interaction languages: Application to trace analysis.
Sci. Comput. Program.
232 (2024)
Amel Mammar
,
Meriem Belguidoum
,
Saddam Hocine Hiba
A formal approach for the correct deployment of cloud applications.
Sci. Comput. Program.
232 (2024)
Hamed Arshad
,
Ross Horne
,
Christian Johansen
,
Olaf Owe
,
Tim A. C. Willemse
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications.
Sci. Comput. Program.
232 (2024)
Stefan W. Driessen
,
Dario Di Nucci
,
Damian A. Tamburri
,
Willem-Jan van den Heuvel
SolAR: Automated test-suite generation for solidity smart contracts.
Sci. Comput. Program.
232 (2024)
Luca Aceto
,
Antonis Achilleos
,
Duncan Paul Attard
,
Léo Exibard
,
Adrian Francalanza
,
Anna Ingólfsdóttir
HML.
Sci. Comput. Program.
232 (2024)
Marie-Christine Jakobs
,
Einar Broch Johnsen
,
Eduard Kamburjan
,
Manuel Wimmer
Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022).
Sci. Comput. Program.
232 (2024)
Gwendal Daniel
,
Jordi Cabot
Applying model-driven engineering to the domain of chatbots: The Xatkit experience.
Sci. Comput. Program.
232 (2024)
Constantin Buschhaus
,
Arkadii Gerasimov
,
Jörg Christian Kirchhof
,
Judith Michael
,
Lukas Netz
,
Bernhard Rumpe
,
Sebastian Stüber
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework.
Sci. Comput. Program.
232 (2024)
Francesco Basciani
,
Juri Di Rocco
,
Ludovico Iovino
,
Alfonso Pierantonio
TyphonML: Tool support for hybrid polystores.
Sci. Comput. Program.
232 (2024)
Shuqi Liu
,
Yu Zhou
,
Longbing Ji
,
Tingting Han
,
Taolue Chen
Enhancing test reuse with GUI events deduplication and adaptive semantic matching.
Sci. Comput. Program.
232 (2024)
Masahiro Masuda
,
Yukiyoshi Kameyama
Program generation meets program verification: A case study on number-theoretic transform.
Sci. Comput. Program.
232 (2024)
Frédéric Jouault
,
Valentin Besnard
,
Matthias Brun
,
Théo Le Calvar
,
Fabien Chhel
,
Mickael Clavreul
,
Jérôme Delatour
,
Maxime Méré
,
Matthias Pasquier
,
Ciprian Teodorov
AnimUML: A practical tool for partial model animation and analysis.
Sci. Comput. Program.
232 (2024)
volume 231, 2024
Maksym Bortin
Structured development of implementations for divide-and-conquer specifications.
Sci. Comput. Program.
231 (2024)
José Antonio Hernández López
,
Javier Luis Cánovas Izquierdo
,
Jesús Sánchez Cuadrado
ModelSet: A labelled dataset of software models for machine learning.
Sci. Comput. Program.
231 (2024)
Alessio Di Sandro
,
Logan Murphy
,
Torin Viger
,
Marsha Chechik
MMINT-A: A framework for model-based safety assurance.
Sci. Comput. Program.
231 (2024)
Sean Kauffman
,
Martin Zimmermann
The complexity of evaluating nfer.
Sci. Comput. Program.
231 (2024)
Wen-ling Huang
,
Niklas Krafczyk
,
Jan Peleska
Exhaustive property oriented model-based testing with symbolic finite state machines.
Sci. Comput. Program.
231 (2024)
Antonio Bucchiarone
,
Tommaso Martorella
,
Davide Frageri
,
Diego Colombo
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills.
Sci. Comput. Program.
231 (2024)
Giorgio Audrito
,
Gianluca Torta
FCPP to aggregate them all.
Sci. Comput. Program.
231 (2024)
Sean Kristian Remond Harbo
,
Emil Palmelund Voldby
,
Jonas Madsen
,
Michele Albano
ACSmt: A plugin for eclipse papyrus to model systems of systems.
Sci. Comput. Program.
231 (2024)
Xiangyu Mu
,
Lei Liu
,
Peng Zhang
,
Jingyao Li
,
Hui Li
A method of test case set generation in the commutativity test of reduce functions.
Sci. Comput. Program.
231 (2024)
Mahmudul Faisal Al Ameen
,
Naoki Kobayashi
,
Ryosuke Sato
Asynchronous unfold/fold transformation for fixpoint logic.
Sci. Comput. Program.
231 (2024)
Enes Yigitbas
,
Maximilian Schmidt
,
Antonio Bucchiarone
,
Sebastian Gottschalk
,
Gregor Engels
GaMoVR: Gamification-based UML learning environment in virtual reality.
Sci. Comput. Program.
231 (2024)
Birthe van den Berg
,
Tom Schrijvers
,
James McKinna
,
Alexander Vandenbroucke
Forward- or reverse-mode automatic differentiation: What's the difference?
Sci. Comput. Program.
231 (2024)
Oleg Kiselyov
Generating C: Heterogeneous metaprogramming system description.
Sci. Comput. Program.
231 (2024)
Yaxin Zhao
,
Lina Gong
,
Wenhua Yang
,
Yu Zhou
study of GitHub.
Sci. Comput. Program.
231 (2024)
Muhamed Smajevic
,
Syed Juned Ali
,
Dominik Bork
- An open web-based platform to transform conceptual models into knowledge graphs.
Sci. Comput. Program.
231 (2024)
Joan Giner-Miguelez
,
Abel Gómez
,
Jordi Cabot
DescribeML: A dataset description tool for machine learning.
Sci. Comput. Program.
231 (2024)
Richard Banach
Core Hybrid Event-B III: Fundamentals of a reasoning framework.
Sci. Comput. Program.
231 (2024)
Railana Santana
,
Luana Almeida Martins
,
Tássio Virgínio
,
Larissa Rocha
,
Heitor A. X. Costa
,
Ivan Machado
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring.
Sci. Comput. Program.
231 (2024)
volume 230, 2023
Pablo Gómez-Abajo
,
Esther Guerra
,
Juan de Lara
Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises.
Sci. Comput. Program.
230 (2023)
Imran Riaz Hasrat
,
Peter Gjøl Jensen
,
Kim Guldstrand Larsen
,
Jirí Srba
A toolchain for domestic heat-pump control using Uppaal Stratego.
Sci. Comput. Program.
230 (2023)
Carlos Cano-Genoves
,
Emilio Insfrán
,
Silvia Mara Abrahão
VeGAn-Tool: A fuzzy-logic approach for value-based goal model analysis.
Sci. Comput. Program.
230 (2023)
Jaejoon Lee
,
Tomoji Kishi
International Systems and Software Product Line Conference (SPLC 2021).
Sci. Comput. Program.
230 (2023)
Ambarish Moharil
,
Arpit Sharma
TABASCO: A transformer based contextualization toolkit.
Sci. Comput. Program.
230 (2023)
Michikazu Hirata
,
Yasuhiko Minamide
,
Tetsuya Sato
Program logic for higher-order probabilistic programs in Isabelle/HOL.
Sci. Comput. Program.
230 (2023)
Florian Renkin
,
Philipp Schlehuber-Caissier
,
Alexandre Duret-Lutz
,
Adrien Pommellet
The Mealy-machine reduction functions of Spot.
Sci. Comput. Program.
230 (2023)
Nacha Chondamrongkul
,
Jing Sun
Software evolutionary architecture: Automated planning for functional changes.
Sci. Comput. Program.
230 (2023)
Beatriz Bernárdez
,
José Ignacio Panach
,
José Antonio Parejo
,
Amador Durán Toro
,
Natalia Juristo
,
Antonio Ruiz-Cortés
An empirical study to evaluate the impact of mindfulness on helpdesk employees.
Sci. Comput. Program.
230 (2023)
Stefan Klikovits
,
Ezequiel Castellano
,
Ahmet Cetinkaya
,
Paolo Arcaini
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing.
Sci. Comput. Program.
230 (2023)
Kenan Liu
,
Khaled Mahmoud
,
Joonhwan Yoo
,
Yu David Liu
Vincent: Green hot methods in the JVM.
Sci. Comput. Program.
230 (2023)
Jacopo Soldani
,
Stefano Forti
,
Antonio Brogi
yRCA: An explainable failure root cause analyser.
Sci. Comput. Program.
230 (2023)
Antonio Bucchiarone
,
Maxime Savary-Leblanc
,
Xavier Le Pallec
,
Jean-Michel Bruel
,
Antonio Cicchetti
,
Jordi Cabot
,
Sébastien Gérard
Gamifying model-based engineering: The PapyGame tool.
Sci. Comput. Program.
230 (2023)
Jelena Slivka
,
Nikola Luburic
,
Simona Prokic
,
Katarina-Glorija Grujic
,
Aleksandar Kovacevic
,
Goran Sladic
,
Dragan Vidakovic
Towards a systematic approach to manual annotation of code smells.
Sci. Comput. Program.
230 (2023)
Sérgio Vale Aguiar Campos
,
Marius Minea
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021).
Sci. Comput. Program.
230 (2023)
Kim G. Larsen
,
Anders Mariegaard
,
Stefan Schmid
,
Jirí Srba
AllSynth: A BDD-based approach for network update synthesis.
Sci. Comput. Program.
230 (2023)