default search action
International Journal on Software Tools for Technology Transfer, Volume 23
Volume 23, Number 1, February 2021
- Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis
:
Learning Moore machines from input-output traces. 1-29 - Chris Alvin
Static generation of UML sequence diagrams. 31-53 - Yue Yuan, Yi Li, Wenchang Shi:
Detecting multiphase linear ranking functions for single-path linear-constraint loops. 55-67 - Florian Kammüller, Axel Legay, Stefano Schivo:
Masterminding change by combining secure system design with security risk assessment. 69-70 - Pietro Ferrara
Static analysis for discovering IoT vulnerabilities. 71-88 - René Rydhof Hansen
ADTLang: a programming language approach to attack defense trees. 89-104 - Vladimir V. Shakhov, Insoo Koo:
Graph-based technique for survivability assessment and optimization of IoT applications. 105-114
Volume 23, Number 2, April 2021
- Omar M. Alhawi, Herbert Rocha
Verification and refutation of C programs based on k-induction and invariant inference. 115-135 - Raphaël Khoury, Sylvain Hallé, Yannick Lebrun:
Automata-based monitoring for LTL-FO+. 137-154 - Martin Leucker
Preface. 155-156 - Felipe Gorostiaga
Stream runtime verification of real-time event streams with the Striver language. 157-183 - Joshua Schneider
Scalable online first-order monitoring. 185-208 - Giles Reger, David E. Rydeheard:
From parametric trace slicing to rule systems. 209-228 - Patricia Bouyer, Léo Henry
Diagnosing timed automata using timed markings. 229-253 - Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
A taxonomy for classifying runtime verification tools. 255-284
Volume 23, Number 3, June 2021
- Reiner Hähnle
Automated model analysis tools and techniques presented at FASE 2019. 285-287 - Artur Boronat:
Incremental execution of rule-based model transformation. 289-311 - Dirk Beyer
Cooperative verifier-based testing with CoVeriTest. 313-333 - Lars Fritsche
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars. 335-368 - Sven Schneider
A logic-based incremental approach to graph repair featuring delta preservation. 369-410 - Sven Schneider
Formal testing of timed graph transformation systems using metric temporal graph logic. 411-488 - Paul Dubrulle
PolyGraph: a data flow model with frequency arithmetic. 489-517 - Paul Dubrulle
Correction to: PolyGraph: a data flow model with frequency arithmetic. 519
Volume 23, Number 4, August 2021
- Markus Frohme, Bernhard Steffen:
Compositional learning of mutually recursive procedural systems. 521-543 - Bernd Finkbeiner, Leonardo Mariani:
Introduction to the special issue of the 19th International Conference on Runtime Verification. 545-546 - Klaus Havelund, Doron Peled:
An extension of first-order LTL with rules with application to runtime verification. 547-563 - Dejan Nickovic
Specifying and detecting temporal patterns with shape expressions. 565-577 - Sean Kauffman, Klaus Havelund, Sebastian Fischmeister:
What can we monitor over unreliable channels? 579-600 - Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
Comparing controlled system synthesis and suppression enforcement. 601-614 - Luca Bortolussi, Francesca Cairoli, Nicola Paoletti
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. 615-640 - Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Quantitative estimation of side-channel leaks with neural networks. 641-654
Volume 23, Number 5, October 2021
- Dawid Kopetzki, Michael Lybecait, Stefan Naujokat
Towards language-to-language transformation. 655-677 - Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing:
On methods and tools for rigorous system design. 679-684 - Christos Grompanopoulos, Antonios Gouglidis, Anastasia Mavridou:
Specifying and verifying usage control models and policies in TLA+. 685-700 - Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming dynamic reconfigurable systems. 701-719 - Pujie Han, Zhengjun Zhai, Brian Nielsen
Model-based optimization of ARINC-653 partition scheduling. 721-740 - Stefan Blom, Saeed Darabi, Marieke Huisman
Correct program parallelisations. 741-763 - Alexios Lekidis
Energy characterization of IoT systems through design aspect monitoring. 765-781 - Ezio Bartocci
CPSDebug: Automatic failure explanation in CPS models. 783-796 - Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder:
Verification of randomized consensus algorithms under round-rigid adversaries. 797-821 - Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder:
Correction to: Verification of randomized consensus algorithms under round-rigid adversaries. 823 - Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine:
Correction to: An integrated specification and verification technique for highly concurrent data structures. 825 - Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer:
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety. 827
Volume 23, Number 6, December 2021
- Dirk Beyer
TOOLympics I: Competition on software testing. 829-832 - Dirk Beyer
First international competition on software testing. 833-846 - Marie-Christine Jakobs:
CoVeriTest: interleaving value and predicate analysis for test-case generation. 847-851 - Sebastian Ruland, Malte Lochau, Oliver Fehse, Andy Schürr:
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation. 853-856 - Mikhail R. Gadelha, Rafael S. Menezes
ESBMC 6.1: automated test case generation using bounded model checking. 857-861 - Caroline Lemieux, Koushik Sen:
FairFuzz-TC: a fuzzer targeting rare branches. 863-866 - Cristian Cadar
KLEE symbolic execution engine in 2019. 867-870 - Thomas Lemberger:
Plain random test generation with PRTest. 871-873 - Marek Chalupa
Symbiotic 6: generating test cases by slicing and symbolic execution. 875-877 - Dirk Beyer
TOOLympics II: competitions on formal methods. 879-881 - Claire Dross, Carlo A. Furia, Marieke Huisman
VerifyThis 2019: a program verification competition. 883-893 - Mihaela Sighireanu:
SL-COMP: competition of solvers for separation logic. 895-903 - Aart Middeldorp, Julian Nagele
CoCo 2019: report on the eighth confluence competition. 905-916 - Falk Howar
The RERS challenge: towards controllable and scalable benchmark synthesis. 917-930 - Fabrice Kordon, Lom-Messan Hillah, Francis Hulin-Hubard, Loïg Jezequel, Emmanuel Paviot-Adet:
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. 931-952
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 2024-11-14 20:50 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: