![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
International 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.