| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
Int. J. Softw. Tools Technol. Transf.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira 0001 |
Monitoring of spatio-temporal properties with nonlinear SAT solvers. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Vu, Christopher Happe, Michael Leuschel |
Generating interactive documents for domain-specific validation of formal models. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanna Kosinska, Grzegorz Broton, Maciej Tobiasz |
Knowledge representation of the state of a cloud-native application. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoya Yamaguchi 0001, Bardh Hoxha, Dejan Nickovic |
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Marieke Huisman |
Formal Methods for Industrial Critical Systems. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Hendriks, Jacques Verriet, Twan Basten |
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles |
Deductive verification of smart contracts with Dafny. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Julius Adelt, Julian Gebker, Paula Herber |
Reusable formal models for concurrency and communication in custom real-time operating systems. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Gerard J. Holzmann |
Programming event monitors. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Hampus, Mattias Nyberg |
Formally verifying decompositions of stochastic specifications. |
Int. J. Softw. Tools Technol. Transf. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Vimuth Fernando, Keyur Joshi 0001, Jacob Laurel, Sasa Misailovic |
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia |
A toolchain for strategy synthesis with spatial properties. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Jansen 0001, Gerrit Nolte, Bernhard Steffen |
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Usman 0024, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu |
An overview of structural coverage metrics for testing neural networks. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang |
A compositional framework for algebraic quantitative online monitoring over continuous-time signals. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotirmoy Deshmukh, Dejan Nickovic |
Introduction to the Special Issue on Runtime Verification. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Feng 0001, Dana Fisman |
Introduction to the Special Issue on Runtime Verification. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Joseph Sifakis |
Correct by design coordination of autonomous driving systems. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik Gossen, Bernhard Steffen |
Algebraic aggregation of random forests: towards explainability and rapid evaluation. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen |
Forest GUMP: a tool for verification and explanation. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Luca Di Stefano 0001, Omar Inverso, Serenella Valiani |
Modelling flocks of birds and colonies of ants from the bottom up. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Lehmann, Sibylle Schupp |
Bounded DBM-based clock state construction for timed automata in Uppaal. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
Leveraging polyhedral reductions for solving Petri net reachability problems. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo P. Gros, Holger Hermanns, Jörg Hoffmann 0001, Michaela Klauck, Marcel Steinmetz |
Analyzing neural network behavior through deep statistical model checking. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Kaufmann, Armin Biere |
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis |
Machine-learning abstractions for component-based self-optimizing systems. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi 0001 |
Coordinating and programming multiple ROS-based robots with X-KLAIM. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen |
Towards rigorous understanding of neural networks via semantics-preserving transformations. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Stefan Jähnichen, Rocco De Nicola |
Rigorous engineering of collective adaptive systems - 2nd special section. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano 0001, Nir Piterman |
Language support for verifying reconfigurable interacting systems. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Kueffner, Anna Lukina, Christian Schilling 0001, Thomas A. Henzinger |
Into the unknown: active monitoring of neural networks (extended version). |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Fettke, Wolfgang Reisig |
A causal, time-independent synchronization pattern for collective adaptive systems. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Monica, Federico Bergenti, Franco Zambonelli |
A kinetic approach to investigate the collective dynamics of multi-agent systems. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen |
The power of typed affine decision structures: a case study. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer |
Monitoring with verified guarantees. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Murgia 0001, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto |
Comparing perfomance abstractions for collective adaptive systems. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault |
Go2Pins: a framework for the LTL verification of Go programs (extended version). |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh |
Algorithm selection for SMT. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt |
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Jüngermann, Jan Kretínský, Maximilian Weininger |
Algebraically explainable controllers: decision trees and support vector machines join forces. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson |
Program analysis using empirical abstraction. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh |
Publisher Correction: Algorithm selection for SMT. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Laarman, Ana Sokolova |
Introduction to the special issue for SPIN 2021. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martina De Sanctis, Amleto Di Salle, Ludovico Iovino, Maria Teresa Rossi |
A technology transfer journey to a model-driven access control system. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Sotoudeh, Zhe Tao, Aditya V. Thakur |
SyReNN: A tool for analyzing deep neural networks. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen 0001 |
Decision-making under uncertainty: beyond probabilities. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti |
MoonLight: a lightweight tool for monitoring spatio-temporal properties. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz |
Concurrent runtime verification of data rich events. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Berti, Wil M. P. van der Aalst |
OC-PM: analyzing object-centric event logs and process models. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Madoda Nxumalo, Nils Timm, Stefan Gruner |
An evaluation of approaches to model checking real-time task schedulability analysis. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Khmelnitsky, Daniel Neider, Rajarshi Roy 0002, 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. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chukri Soueidi, Marius Monnier, Yliès Falcone |
Efficient and expressive bytecode-level instrumentation for Java programs. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger |
On the road with RTLola. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen |
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifeng Chen, Jeff W. Sanders |
A modal approach to conscious social agents. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour |
Predicate monitoring in distributed cyber-physical systems. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Thrane Hansen, Casper Thule, Cláudio Gomes 0001, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Palludan Madsen, Jesus Alfonso, José Ángel Castellanos 0001, José Manuel Rodriguez-Fortun |
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Salva, Elliott Blot |
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Vojnar, Lijun Zhang 0001 |
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin Lowe |
Parameterized verification of systems with component identities, using view abstraction. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Junaid Babar, Gianfranco Ciardo, Andrew S. Miner |
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilina Stoilkovska, Igor Konnov 0001, Josef Widder, Florian Zuleger |
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Rockai, Jiri Barnat |
DivSIM , an interactive simulator for LLVM bitcode. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz 0001 |
Extending a brainiac prover to lambda-free higher-order logic. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw |
Verifying OpenJDK's LinkedList using KeY (extended paper). |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | H. M. W. Verbeek |
The Log Skeleton Visualizer in ProM 6.9. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Per Erik Strandberg, Wasif Afzal, Daniel Sundmark |
Software test results exploration and visualization with continuous integration and nightly testing. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé |
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti, Mariëlle Stoelinga |
Analysis of non-Markovian repairable fault trees through rare event simulation. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thom S. Badings, Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu |
Scenario-based verification of uncertain parametric MDPs. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001 |
Approximate verification of concurrent systems using token structures and invariants. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Frohn, Carsten Fuhs |
A calculus for modular loop acceleration and non-termination proofs. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar |
SaBRe: load-time selective binary rewriting. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Schmidt, Michael Leuschel |
SMT solving for the validation of B and Event-B models. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, David Parker 0001 |
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald |
Assume, guarantee or repair: a regular framework for non regular properties. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Elahe Habibi, Seyed-Hassan Mirian-Hosseinabadi |
Generating test as a web service (TaaWS) through a method-based attribute grammar. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
Formal verification of OIL component specifications using mCRL2. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse |
Formal methods and tools for industrial critical systems. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marlon Dumas, Luciano García-Bañuelos, Joosep Jääger, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen-Raudvere, Aivo Toots, Reedik Tuuling, Maksym Yerokhin |
Multi-level privacy analysis of business processes: the Pleak toolset. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen |
The CoLiS platform for the analysis of maintainer scripts in Debian software packages. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine El-Hokayem, Yliès Falcone |
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang |
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
Randomized reachability analysis in UPPAAL: fast error detection in timed systems. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Hamers, Erik Horlings, Sung-Shik Jongmans |
The Discourje project: run-time verification of communication protocols in Clojure. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mawal A. Mohammed, Jameleddine Hassine, Mohammad R. Alshayeb |
GSDetector: a tool for automatic detection of bad smells in GRL goal models. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Legay, Tiziana Margaria |
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001 |
The probabilistic model checker Storm. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Supratik Chakraborty, Ashutosh Gupta 0001, Divyesh Unadkat |
Full-program induction: verifying array programs sans loop invariants. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukás Charvát, Ales Smrcka, Tomás Vojnar |
Utilizing parametric systems for detection of pipeline hazards. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari |
Partial-order reduction for parity games and parameterised Boolean equation systems. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina |
Using linear algebra in decomposition of Farkas interpolants. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramsay G. Taylor, Michael Foster 0001, Siobhán North |
An automated framework for verifying or refuting trace properties of extended finite state machines. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Huang 0001, Rance Cleaveland |
Temporal-logic query checking over finite data streams. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license