default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer, Volume 25
Volume 25, Number 1, February 2023
- Alessandro Berti, Wil M. P. van der Aalst
:
OC-PM: analyzing object-centric event logs and process models. 1-17 - Sascha Lehmann, Sibylle Schupp:
Bounded DBM-based clock state construction for timed automata in Uppaal. 19-47 - Martina De Sanctis, Amleto Di Salle, Ludovico Iovino, Maria Teresa Rossi:
A technology transfer journey to a model-driven access control system. 49-74 - Alfons Laarman, Ana Sokolova:
Introduction to the special issue for SPIN 2021. 75-76 - Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault:
Go2Pins: a framework for the LTL verification of Go programs (extended version). 77-94 - Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
Leveraging polyhedral reductions for solving Petri net reachability problems. 95-114 - Madoda Nxumalo, Nils Timm, Stefan Gruner:
An evaluation of approaches to model checking real-time task schedulability analysis. 115-128
Volume 25, Number 2, April 2023
- Peter Gjøl Jensen, Thomas Neele:
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021. 129-131 - Daniela Kaufmann, Armin Biere:
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra. 133-144 - Matthew Sotoudeh, Zhe Tao, Aditya V. Thakur:
SyReNN: A tool for analyzing deep neural networks. 145-165 - Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen:
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML. 167-184 - Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt:
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. 185-204 - Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
On the road with RTLola. 205-218 - Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh:
Algorithm selection for SMT. 219-239
Volume 25, Number 3, June 2023
- Nils Jansen, Gerrit Nolte, Bernhard Steffen:
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). 241-247 - Florian Jüngermann, Jan Kretínský, Maximilian Weininger:
Algebraically explainable controllers: decision trees and support vector machines join forces. 249-266 - Frederik Gossen, Bernhard Steffen:
Algebraic aggregation of random forests: towards explainability and rapid evaluation. 267-285 - Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen:
Forest GUMP: a tool for verification and explanation. 287-299 - Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen:
Towards rigorous understanding of neural networks via semantics-preserving transformations. 301-327 - Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu:
First three years of the international verification of neural networks competition (VNN-COMP). 329-339 - Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye:
Analysis of recurrent neural networks via property-directed verification of surrogate models. 341-354 - Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen:
The power of typed affine decision structures: a case study. 355-374 - Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen:
Decision-making under uncertainty: beyond probabilities. 375-391 - Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu:
An overview of structural coverage metrics for testing neural networks. 393-405 - Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
Analyzing neural network behavior through deep statistical model checking. 407-426
Volume 25, Number 4, August 2023
- Jyotirmoy Deshmukh, Dejan Nickovic:
Introduction to the Special Issue on Runtime Verification. 427-429 - Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson:
Program analysis using empirical abstraction. 431-452 - Chukri Soueidi, Marius Monnier, Yliès Falcone:
Efficient and expressive bytecode-level instrumentation for Java programs. 453-479 - Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz:
Concurrent runtime verification of data rich events. 481-501 - Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti:
MoonLight: a lightweight tool for monitoring spatio-temporal properties. 503-517 - Lu Feng, Dana Fisman:
Introduction to the Special Issue on Runtime Verification. 519-520 - Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic:
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs. 521-539 - Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour:
Predicate monitoring in distributed cyber-physical systems. 541-556 - Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang:
A compositional framework for algebraic quantitative online monitoring over continuous-time signals. 557-573 - Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger:
Into the unknown: active monitoring of neural networks (extended version). 575-592 - Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer:
Monitoring with verified guarantees. 593-616
Volume 25, Number 5, December 2023
- Martin Wirsing, Stefan Jähnichen, Rocco De Nicola:
Rigorous engineering of collective adaptive systems - 2nd special section. 617-624 - Marius Bozga, Joseph Sifakis:
Correct by design coordination of autonomous driving systems. 625-639 - Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia:
A toolchain for strategy synthesis with spatial properties. 641-658 - Peter Fettke, Wolfgang Reisig:
A causal, time-independent synchronization pattern for collective adaptive systems. 659-673 - Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Modelling flocks of birds and colonies of ants from the bottom up. 675-691 - Stefania Monica, Federico Bergenti, Franco Zambonelli:
A kinetic approach to investigate the collective dynamics of multi-agent systems. 693-705 - Yifeng Chen, Jeff W. Sanders:
A modal approach to conscious social agents. 707-716 - Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis:
Machine-learning abstractions for component-based self-optimizing systems. 717-731 - Tomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich:
Generating adaptation rule-specific neural networks. 733-746 - Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi:
Coordinating and programming multiple ROS-based robots with X-KLAIM. 747-764 - Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman:
Language support for verifying reconfigurable interacting systems. 765-784 - Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto:
Comparing perfomance abstractions for collective adaptive systems. 785-798 - Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh:
Publisher Correction: Algorithm selection for SMT. 799-800
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:26 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:
