default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer, Volume 22
Volume 22, Number 1, February 2020
- Alessandra Russo
, Andy Schürr:
Model-based software quality assurance tools and techniques presented at FASE 2018. 1-2 - Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo:
Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. 3-32 - Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo:
Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. 33-34 - Aleksandar S. Dimovski:
$\hbox {CTL}^{\star }$ family-based model checking using variability abstractions and modal transition systems. 35-55 - Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró:
Diversity of graph models and graph generators in mutation testing. 57-78 - Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró:
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems. 79-102
Volume 22, Number 2, April 2020
- María-del-Mar Gallardo, Pedro Merino:
Introduction to the Special Issue devoted to SPIN 2018. 103-104 - Laura Panizo, Almudena Díaz, Bruno García:
Model-based testing of apps in real network scenarios. 105-114 - Marek Chalupa, Jan Strejcek, Martina Vitovská:
Joint forces for memory safety checking revisited. 115-133 - Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen:
IC3 software model checking. 135-161 - Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio:
Counting Petri net markings from reduction equations. 163-181 - Hamzeh M. Allawi, Waref Al Manaseer, Mohammad Aref Alshraideh:
A greedy particle swarm optimization (GPSO) algorithm for testing real-world smart card applications. 183-194 - Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Spatial logics and model checking for medical imaging. 195-217 - Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel:
A formal approach to AADL model-based software engineering. 219-247
Volume 22, Number 3, June 2020
- Michael J. Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl:
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3. 249-255 - Jean-Raymond Abrial:
The ABZ-2018 case study with Event-B. 257-264 - Paolo Arcaini, Jan Kofron, Pavel Jezek:
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. 265-279 - Alcino Cunha, Nuno Macedo:
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. 281-296 - Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, Colin F. Snook:
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B. 297-313 - 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. 315-332 - Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau:
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. 333-347 - Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar:
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. 349-363
Volume 22, Number 4, August 2020
- Ali Parsai, Serge Demeyer:
Comparing mutation coverage against branch coverage in an industrial setting. 365-388
- Rocco De Nicola, Stefan Jähnichen, Martin Wirsing:
Rigorous engineering of collective adaptive systems: special section. 389-397 - Dhaminda B. Abeywickrama, Nicola Bicocchi, Marco Mamei, Franco Zambonelli:
The SOTA approach to engineering collective adaptive systems. 399-415 - 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. 417-436 - Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. 437-455 - Thomas Gabor, Andreas Sedlmeier, Thomy Phan, Fabian Ritz, Marie Kiermeier, Lenz Belzner, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt, Marc Zeller, Claudia Linnhoff-Popien:
The scenario coevolution paradigm: adaptive quality assurance for adaptive systems. 457-476 - Yehia Abd Alrahman, Giulio Garbi:
A distributed API for coordinating AbC programs. 477-496 - Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Frantisek Plásil, Filip Krijt, Jirí Vinárek, Jan Kofron:
A language and framework for dynamic component ensembles in smart systems. 497-509 - Rima Al Ali, Tomás Bures, Petr Hnetynka, Jan Matejek, Frantisek Plásil, Jirí Vinárek:
Toward autonomically composable and context-dependent access control specification through ensembles. 511-522
Volume 22, Number 5, October 2020
- Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate reduction of finite automata for high-speed network intrusion detection. 523-539 - Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo:
Variable order metrics for decision diagrams in system verification. 541-562 - Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Introduction to the special issue for SPIN 2019. 563-564 - Patrick Metzler, Neeraj Suri, Georg Weissenbacher:
Extracting safe thread schedules from incomplete model checking results. 565-581 - Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka:
Swarm model checking on the GPU. 583-599 - Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid:
A study of learning likely data structure properties using machine learning models. 601-615 - 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. 617-633 - Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba:
Dependency graphs with applications to verification. 635-654
Volume 22, Number 6, December 2020
- Yi Li, Wenyuan Wu, Yong Feng:
On ranking functions for single-path linear-constraint loops. 655-666 - Luís Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen:
Enabling continuous integration in a formal methods setting. 667-683 - Dirk Beyer, Marieke Huisman:
Tools for the construction and analysis of systems. 685-687 - Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. 689-708 - Alexander J. Summers, Peter Müller:
Automating deductive verification for weak-memory programs (extended version). 709-728
- Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Efficient monitoring of hyperproperties using prefix trees. 729-740 - Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus:
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. 741-758 - Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards:
An efficient statistical model checker for nondeterminism and rare events. 759-780
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-10-18 00:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
