default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer, Volume 26
Volume 26, Number 1, February 2024
- Guisella Angulo, Daniel San Martín, Fabiano Ferrari, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo, Valter Vieira de Camargo:
A process for creating KDM2PSM transformation engines. 1-20 - Joanna Kosinska
, Grzegorz Broton, Maciej Tobiasz:
Knowledge representation of the state of a cloud-native application. 21-32 - Klaus Havelund, Gerard J. Holzmann:
Programming event monitors. 33-47 - Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu:
On the applicability of hybrid systems safety verification tools from the automotive perspective. 49-78 - Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic:
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. 79-99 - Martijn Hendriks, Jacques Verriet, Twan Basten:
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool. 101-126
Volume 26, Number 2, April 2024
- Jan Friso Groote, Marieke Huisman:
Formal Methods for Industrial Critical Systems. 127-129 - Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles:
Deductive verification of smart contracts with Dafny. 131-145 - Fabian Vu, Christopher Happe, Michael Leuschel:
Generating interactive documents for domain-specific validation of formal models. 147-168 - André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira:
Monitoring of spatio-temporal properties with nonlinear SAT solvers. 169-188 - Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Guillaume Vidot:
Certification of avionic software based on machine learning: the case for formal monotony analysis. 189-205 - Anton Hampus, Mattias Nyberg:
Formally verifying decompositions of stochastic specifications. 207-228 - Julius Adelt, Julian Gebker, Paula Herber:
Reusable formal models for concurrency and communication in custom real-time operating systems. 229-245
Volume 26, Number 3, June 2024
- Bernhard Steffen:
Rance Cleaveland: a life for formal methods. 247-248 - Zixin Huang, Saikat Dutta, Sasa Misailovic:
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense. 249-268 - Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen:
Strong Simple Policies for POMDPs. 269-299 - Manuel Leithner, Andrea Bombarda, Michael Wagner, Angelo Gargantini, Dimitris E. Simos:
State of the CArt: evaluating covering array generators at scale. 301-326 - Alexander Raschke, Dominique Méry:
An automotive case study. 327-330 - Amel Mammar, Marc Frappier, Régine Laleau:
An Event-B model of an automotive adaptive exterior light system. 331-346 - Amel Mammar, Marc Frappier:
Modeling of a speed control system using Event-B. 347-363 - Alcino Cunha, Nuno Macedo, Chong Liu:
Validating multiple variants of an automotive light system with Alloy 6. 365-377 - Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. 379-401 - Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk:
A verified low-level implementation and visualization of the adaptive exterior light and speed control system. 403-419
Volume 26, Number 4, August 2024
- Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi:
Challenges of software verification: the past, the present, the future. 421-430 - Luca Olivieri, Fausto Spoto:
Software verification challenges in the blockchain ecosystem. 431-444 - Andrzej Filinski, Ken Friis Larsen, Thomas P. Jensen:
Axiomatising an information flow logic based on partial equivalence relations. 445-461 - David Monniaux:
Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers. 463-477 - Helmut Seidl, Julian Erhard, Sarah Tilscher, Michael Schwarz:
Non-numerical weakly relational domains. 479-494 - Chiara Bodei, Marco De Vincenzi, Ilaria Matteucci:
Formal analysis of an AUTOSAR-based basic software module. 495-508 - Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo, Valeria Montagna, Pasquale Pulieri:
Causal analysis of positive Reaction Systems. 509-526
Volume 26, Number 5, October 2024
- Ahmad Alamoush, Holger Eichelberger:
Open source container orchestration for Industry 4.0 - requirements and systematic feature analysis. 527-550 - Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker:
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. 551-567 - Pietro Ferrara, Liana Hadarean:
State of the art in program analysis. 569-571 - Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella:
Speeding up static analysis with the split operator. 573-588 - Julian Erhard, Michael Schwarz, Vesal Vojdani, Simmo Saan, Helmut Seidl:
When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C. 589-605 - Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang:
User-assisted code query customization and optimization. 607-619 - S. Tucker Taft:
Sound and precise static analysis using a generalization of static single assignment and value numbering. 621-632
Volume 26, Number 6, December 2024
- Dirk Beyer, Thomas Lemberger:
Six years later: testing vs. model checking. 633-646 - Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl:
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap. 647-667 - Vincenzo Arceri, Luca Negrini, Luca Olivieri, Pietro Ferrara:
Challenges of software verification. 669-672 - Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné:
Easing maintenance of academic static analyzers. 673-686 - Idriss Riouak, Niklas Fors, Görel Hedin, Christoph Reichenbach:
IntraJ: an on-demand framework for intraprocedural Java code analysis. 687-705 - Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte:
ccReact: a rewriting framework for the formal analysis of reaction systems. 707-725 - Michael Schwarz, Julian Erhard:
The digest framework: concurrency-sensitivity for abstract interpretation. 727-746 - Isabella Mastroeni:
Abstract domain adequacy. 747-765 - Antonio Trovato, Manuel De Stefano, Fabiano Pecorelli, Dario Di Nucci, Andrea De Lucia:
Reformulating regression test suite optimization using quantum annealing - an empirical study. 767-780 - Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Leveraging static analysis for cost-aware serverless scheduling policies. 781-796 - Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini:
Inference of access policies through static analysis. 797-821
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-08 10:03 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:
