default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer, Volume 20
Volume 20, Number 1, February 2018
- Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab
, John Abou-Jaoudeh, Mostafa El-Katerji:
A high-level modeling language for the efficient design, implementation, and testing of Android applications. 1-18 - Ilyès Boukhari, Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche:
The role of user requirements in data repository design. 19-34 - Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto:
Exact finite-state machine identification from scenarios and temporal properties. 35-55 - Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O'Brien:
TSTL: the template scripting testing language. 57-78 - Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos:
Mining parametric temporal logic properties in model-based design for cyber-physical systems. 79-93 - Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng:
Software engineering practices and Simulink: bridging the gap. 95-117
Volume 20, Number 2, April 2018
- Radu Mateescu:
Recent advances in interactive and automated analysis. 119-123 - Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink:
Coqoon - An IDE for interactive proof development in Coq. 125-137 - Gudmund Grov, Yuhui Lin:
The Tinker tool for graphical tactic development. 139-155 - Tom van Dijk, Jaco van de Pol:
Multi-core symbolic bisimulation minimisation. 157-177 - Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller:
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. 179-194 - Marta Kwiatkowska, David Parker, Clemens Wiltsche:
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. 195-210
- Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens:
Automated translation of VDM to JML-annotated Java. 211-235
Volume 20, Number 3, June 2018
- Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Formal methods for transport systems. 237-241 - Somsak Vanit-Anunchai:
Modelling and simulating a Thai railway signalling system using Coloured Petri Nets. 243-262 - Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
Towards formal methods diversity in railways: an experience report with seven frameworks. 263-288 - Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink:
Spatio-temporal model checking of vehicular movement in public transport systems. 289-311 - Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer:
To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking. 313-325 - Stefan Naujokat, Michael Lybecait, Dawid Kopetzki, Bernhard Steffen:
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. 327-354
Volume 20, Number 4, August 2018
- Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Formal methods and automated verification of critical systems. 355-358 - Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif:
Qualitative and quantitative analysis of safety-critical systems with s#. 359-377 - André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho:
Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫. 379-395 - Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez:
High-level frameworks for the specification and verification of scheduling problems. 397-422 - Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau:
Integrated formal verification of safety-critical software. 423-440 - Wen-ling Huang, Jan Peleska:
Model-based testing strategies and their (in)dependence on syntactic model representations. 441-465 - Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron:
Assessing SMT and CLP approaches for workflow nets verification. 467-491
Volume 20, Number 5, October 2018
- Dragan Bosnacki, Anton Wijs:
Model checking: recent improvements and applications. 493-497 - María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón:
Integrating river basin DSSs with model checking. 499-514 - Stefan Edelkamp, Christoph Greulich:
A case study of planning for smart factories - Model checking and Monte Carlo search for the rescue. 515-528 - Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
Discrete and continuous strategies for timed-arc Petri net games. 529-546 - Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha:
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. 547-561 - Radu Mateescu, José Ignacio Requeno:
On-the-fly model checking for extended action-based probabilistic operators. 563-587 - Antti Valmari, Walter Vogler:
Fair testing and stubborn sets. 589-610
Volume 20, Number 6, November 2018
- Marieke Huisman, Julia Rubin:
Software quality tools and techniques presented in FASE'17. 611-613 - Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
Tactical contract composition for hybrid system component verification. 615-643 - Zheng Cheng, Massimo Tisi:
Slicing ATL model transformations for scalable deductive verification and fault localization. 645-663 - Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias:
Automated workarounds from Java program specifications based on SAT solving. 665-688 - Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
Learning probabilistic models for model checking: an evolutionary approach and an empirical study. 689-704 - Sven Schneider, Leen Lambers, Fernando Orejas:
Automated reasoning for attributed graph properties. 705-737 - Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco:
Slicing from formal semantics: Chisel - a tool for generic program slicing. 739-769
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 2025-12-04 22:08 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
