- Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron:
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model. Int. J. Softw. Tools Technol. Transf. 22(3): 315-332 (2020) - Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen:
IC3 software model checking. Int. J. Softw. Tools Technol. Transf. 22(2): 135-161 (2020) - Yi Li, Wenyuan Wu, Yong Feng:
On ranking functions for single-path linear-constraint loops. Int. J. Softw. Tools Technol. Transf. 22(6): 655-666 (2020) - Houssem Ben Mahfoudh, Giovanna Di Marzo Serugendo, Nabil Naja, Nabil Abdennadher:
Learning-based coordination model for spontaneous self-composition of reliable services in a distributed system. Int. J. Softw. Tools Technol. Transf. 22(4): 417-436 (2020) - Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau:
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. Int. J. Softw. Tools Technol. Transf. 22(3): 333-347 (2020) - Patrick Metzler, Neeraj Suri, Georg Weissenbacher:
Extracting safe thread schedules from incomplete model checking results. Int. J. Softw. Tools Technol. Transf. 22(5): 565-581 (2020) - Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel:
A formal approach to AADL model-based software engineering. Int. J. Softw. Tools Technol. Transf. 22(2): 219-247 (2020) - Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus:
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. Int. J. Softw. Tools Technol. Transf. 22(6): 741-758 (2020) - Rocco De Nicola, Stefan Jähnichen, Martin Wirsing:
Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22(4): 389-397 (2020) - Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. Int. J. Softw. Tools Technol. Transf. 22(4): 437-455 (2020) - Laura Panizo, Almudena Díaz, Bruno García:
Model-based testing of apps in real network scenarios. Int. J. Softw. Tools Technol. Transf. 22(2): 105-114 (2020) - Ali Parsai, Serge Demeyer:
Comparing mutation coverage against branch coverage in an industrial setting. Int. J. Softw. Tools Technol. Transf. 22(4): 365-388 (2020) - Alessandra Russo, Andy Schürr:
Model-based software quality assurance tools and techniques presented at FASE 2018. Int. J. Softw. Tools Technol. Transf. 22(1): 1-2 (2020) - Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró:
Diversity of graph models and graph generators in mutation testing. Int. J. Softw. Tools Technol. Transf. 22(1): 57-78 (2020) - Alexander J. Summers, Peter Müller:
Automating deductive verification for weak-memory programs (extended version). Int. J. Softw. Tools Technol. Transf. 22(6): 709-728 (2020) - Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid:
A study of learning likely data structure properties using machine learning models. Int. J. Softw. Tools Technol. Transf. 22(5): 601-615 (2020) - Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar:
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance. Int. J. Softw. Tools Technol. Transf. 22(5): 617-633 (2020)