default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer, Volume 19
Volume 19, Number 1, February 2017
- Bernhard Steffen:
The physics of software tools: SWOT analysis and vision. 1-7 - Alessio Lomuscio
, Hongyang Qu, Franco Raimondi:
MCMAS: an open-source model checker for the verification of multi-agent systems. 9-30 - Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda:
Code generation for Event-B. 31-52 - Adriana Carla Damasceno, Patrícia D. L. Machado, Wilkerson de L. Andrade:
Testing real-time systems from compositional symbolic specifications. 53-71 - Kangfeng Ye, Jim Woodcock:
Model checking of state-rich formalism Circus by linking to CSP ‖ B. 73-96 - Mikhail Y. R. Gadelha, Hussama Ibrahim Ismail, Lucas C. Cordeiro:
Handling loops in bounded model checking of C programs via k-induction. 97-114 - Philipp Zech, Philipp Kalb, Michael Felderer, Colin Atkinson, Ruth Breu:
Model-based regression testing by OCL. 115-131
Volume 19, Number 2, April 2017
- Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe:
The landing gear case study: challenges and experiments. 133-140 - Wen Su, Jean-Raymond Abrial:
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system. 141-166 - Amel Mammar, Régine Laleau:
Modeling a landing gear system in Event-B. 167-186 - Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel:
Validation of the ABZ landing gear system using ProB. 187-203 - Richard Banach:
The landing gear system in multi-machine Hybrid Event-B. 205-228 - Ciprian Teodorov, Philippe Dhaussy, Luka Leroux:
Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system. 229-245 - Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Rigorous development process of a safety-critical system: from ASM models to Java code. 247-269
Volume 19, Number 3, June 2017
- Steffen Herbold, Andreas Hoffmann:
Model-based testing as a service. 271-279 - Lom-Messan Hillah, Ariele-Paolo Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin, Riccardo Fontanelli, Sergio Di Bona, Davide Guerri, Libero Maesano:
Automation and intelligent scheduling of distributed system functional testing - Model-based functional testing in practice. 281-308 - Steffen Herbold, Patrick Harms, Jens Grabowski:
Combining usage-based and model-based testing for service-oriented architectures in the industrial practice. 309-324 - Miguel A. Barcelona, Laura García-Borgoñón, Guillermo López-Nicolás:
Practical experiences in the usage of MIDAS in the logistics domain. 325-339
- Yliès Falcone, Mohamad Jaber:
Fully automated runtime enforcement of component-based systems with formal and sound recovery. 341-365 - Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
The first reactive synthesis competition (SYNTCOMP 2014). 367-390
Volume 19, Number 4, August 2017
- Matthias Güdemann, Manuel Núñez:
Preface of the special issue on formal methods in industrial critical systems. 391-393 - Bogdan Aman, Gabriel Ciobanu:
Verification of critical systems described in real-time TiMo. 395-408 - Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, test, and trace IT. 409-426 - Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
Improving the numerical accuracy of programs by automatic transformation. 427-448 - Gal Katz, Doron Peled:
Synthesizing, correcting and improving code, using model checking-based genetic programming. 449-464 - Farah Zoubeyr, Yamine Aït Ameur, Meriem Ouederni, Abdelkamel Tari:
A correct-by-construction model for asynchronously communicating systems. 465-485 - Martijn Hendriks, Jacques Verriet, Twan Basten, Bart D. Theelen, Marco Brassé, Lou J. Somers:
Analyzing execution traces: critical-path analysis and distance analysis. 487-510
Volume 19, Number 5, October 2017
- Nir Piterman:
Advances in verification presented in TACAS'13. 511-515 - Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina:
Flexible SAT-based framework for incremental bounded upgrade checking. 517-534 - Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan, Mooly Sagiv:
Synthesis of circular compositional program proofs via abduction. 535-547 - Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine:
An integrated specification and verification technique for highly concurrent data structures. 549-563 - Pierre Ganty, Radu Iosif, Filip Konecný:
Underapproximation of procedure summaries for integer programs. 565-584
- Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski:
Efficient family-based model checking via variability abstractions. 585-603 - Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey:
metaSMT: focus on your application and not on solver integration. 605-621 - Tatsuya Abe, Toshiyuki Maeda:
A general model checking framework for various memory consistency models. 623-647
Volume 19, Number 6, November 2017
- Christel Baier, Cesare Tinelli:
Some advances in tools and algorithms for the construction and analysis of systems. 649-652 - Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Variations on parallel explicit emptiness checks for generalized Büchi automata. 653-673 - Tom van Dijk, Jaco van de Pol:
Sylvan: multi-core framework for decision diagrams. 675-696 - Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen:
AutoProof: auto-active functional verification of object-oriented programs. 697-716 - Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer:
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. 717-741
- Reza Meimandi Parizi, Abdul Azim Abdul Ghani, Sai Peck Lee, Saif Ur Rehman Khan:
RAMBUTANS: automatic AOP-specific test generation tool. 743-761 - Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig:
VerifyThis 2015 - A program verification competition. 763-771
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-09 23:41 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:
