Stop the war!Остановите войну!
for scientists:
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
a service of 
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-07-17 21:21 CEST 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:
