The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Int. J. Softw. Tools Technol. Transf."( http://dblp.L3S.de/Venues/Int._J._Softw._Tools_Technol._Transf. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/sttt

Publication years (Num. hits)
1997-1998 (28) 1999-2000 (25) 2001 (27) 2002-2003 (46) 2004 (43) 2005 (31) 2006 (47) 2007 (35) 2008 (41) 2009 (38) 2010 (32) 2011 (37) 2012 (37) 2013 (36) 2014 (46) 2015 (46) 2016 (41) 2017 (42) 2018 (40) 2019 (34) 2020 (47) 2021 (58) 2022 (43)
Publication types (Num. hits)
article(900)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 968 occurrences of 485 keywords

Results
Found 900 publication records. Showing 900 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sébastien Salva, Elliott Blot Learning of behavioural models and dependency graphs for communicating systems with CkTailv2. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Tomás Vojnar, Lijun Zhang 0001 Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Gavin Lowe Parameterized verification of systems with component identities, using view abstraction. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Junaid Babar, Gianfranco Ciardo, Andrew S. Miner CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ilina Stoilkovska, Igor Konnov 0001, Josef Widder, Florian Zuleger Verifying safety of synchronous fault-tolerant algorithms by bounded model checking. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Petr Rockai, Jiri Barnat DivSIM , an interactive simulator for LLVM bitcode. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz 0001 Extending a brainiac prover to lambda-free higher-order logic. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw Verifying OpenJDK's LinkedList using KeY (extended paper). Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1H. M. W. Verbeek The Log Skeleton Visualizer in ProM 6.9. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Per Erik Strandberg, Wasif Afzal, Daniel Sundmark Software test results exploration and visualization with continuous integration and nightly testing. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yanni 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. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti, Mariëlle Stoelinga Analysis of non-Markovian repairable fault trees through rare event simulation. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Thom S. Badings, Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu Scenario-based verification of uncertain parametric MDPs. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001 Approximate verification of concurrent systems using token structures and invariants. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Florian Frohn, Carsten Fuhs A calculus for modular loop acceleration and non-termination proofs. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar SaBRe: load-time selective binary rewriting. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Armin Biere, David Parker 0001 Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald Assume, guarantee or repair: a regular framework for non regular properties. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Elahe Habibi, Seyed-Hassan Mirian-Hosseinabadi Generating test as a web service (TaaWS) through a method-based attribute grammar. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse Formal verification of OIL component specifications using mCRL2. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse Formal methods and tools for industrial critical systems. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Marlon 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. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Benedikt 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. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Antoine El-Hokayem, Yliès Falcone Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ruben Hamers, Erik Horlings, Sung-Shik Jongmans The Discourje project: run-time verification of communication protocols in Clojure. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Axel Legay, Tiziana Margaria Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001 The probabilistic model checker Storm. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Ashutosh Gupta 0001, Divyesh Unadkat Full-program induction: verifying array programs sans loop invariants. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Lukás Charvát, Ales Smrcka, Tomás Vojnar Utilizing parametric systems for detection of pipeline hazards. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari Partial-order reduction for parity games and parameterised Boolean equation systems. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina Using linear algebra in decomposition of Farkas interpolants. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Samuel Huang 0001, Rance Cleaveland Temporal-logic query checking over finite data streams. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Rong Gu, Peter Gjøl Jensen, Danny Bøgsted Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist Verifiable strategy synthesis for multiple autonomous agents: a scalable approach. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba Extended abstract dependency graphs. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt, Morten Marquard DisCoveR: accurate and efficient discovery of declarative process models. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Benjamin Binder 0001, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Hassna Louadah, Yvan Labiche Interface control document modeling with Citrus (avionics systems interfaces). Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Lorenzo Bettini, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio Supporting safe metamodel evolution with edelta. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Stefan Löwe, Philipp Wendler Correction to: Reliable benchmarking: requirements and solutions. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Davide Basile 0001, Maurice H. ter Beek, Alessio Ferrari 0001, Axel Legay Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Norman Weik, Matthias Volk 0001, Joost-Pieter Katoen, Nils Nießen DFT modeling approach for operational risk assessment of railway infrastructure. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alexandre Vernotte, Aymeric Cretin, Bruno Legeard, Fabien Peureux A domain-specific language to design false data injection tests for air traffic control systems. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller 0001 VerifyThis 2019: a program verification competition. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Reiner Hähnle, Wil M. P. van der Aalst Automated model analysis tools and techniques presented at FASE 2019. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Marie-Christine Jakobs CoVeriTest: interleaving value and predicate analysis for test-case generation. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis Programming dynamic reconfigurable systems. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey Diagnosing timed automata using timed markings. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nathalie Bertrand 0001, Igor Konnov 0001, Marijana Lazic, Josef Widder Verification of randomized consensus algorithms under round-rigid adversaries. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yue Yuan, Yi Li, Wenchang Shi Detecting multiphase linear ranking functions for single-path linear-constraint loops. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Cristian Cadar, Martin Nowack KLEE symbolic execution engine in 2019. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Falk Howar, Marc Jasper, Malte Mues, David Schmidt 0001, Bernhard Steffen The RERS challenge: towards controllable and scalable benchmark synthesis. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Marieke Huisman, Fabrice Kordon, Bernhard Steffen TOOLympics II: competitions on formal methods. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Raphaël Khoury, Sylvain Hallé, Yannick Lebrun Automata-based monitoring for LTL-FO+. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Vladimir V. Shakhov, Insoo Koo Graph-based technique for survivability assessment and optimization of IoT applications. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Chris Alvin, Brian Peterson, Supratik Mukhopadhyay Static generation of UML sequence diagrams. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Lars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre PolyGraph: a data flow model with frequency arithmetic. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis Learning Moore machines from input-output traces. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh Specifying and detecting temporal patterns with shape expressions. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Thomas Lemberger 0002 Plain random test generation with PRTest. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre Correction to: PolyGraph: a data flow model with frequency arithmetic. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Joshua Schneider 0001, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel Scalable online first-order monitoring. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Giles Reger, David E. Rydeheard From parametric trace slicing to rule systems. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jan-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. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Caroline Lemieux, Koushik Sen FairFuzz-TC: a fuzzer targeting rare branches. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson 0001, Ahmed Rezine Correction to: An integrated specification and verification technique for highly concurrent data structures. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Felipe Gorostiaga, César Sánchez Stream runtime verification of real-time event streams with the Striver language. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Bernhard Steffen Towards language-to-language transformation. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman Model-based optimization of ARINC-653 partition scheduling. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Sven Schneider 0001, Leen Lambers, Fernando Orejas A logic-based incremental approach to graph repair featuring delta preservation. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan 0001, Ashutosh Trivedi 0001 Quantitative estimation of side-channel leaks with neural networks. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mihaela Sighireanu SL-COMP: competition of solvers for separation logic. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Florian Kammüller, Axel Legay, Stefano Schivo Masterminding change by combining secure system design with security risk assessment. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Sebastian Ruland, Malte Lochau, Oliver Fehse, Andy Schürr CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Sven Schneider 0001, Maria Maximova, Lucas Sakizloglou, Holger Giese Formal testing of timed graph transformation systems using metric temporal graph logic. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari Correct program parallelisations. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic CPSDebug: Automatic failure explanation in CPS models. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Marek Chalupa, Martina Vitovská, Tomás Jasek, Michael Simácek, Jan Strejcek Symbiotic 6: generating test cases by slicing and symbolic execution. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Marieke Huisman TOOLympics I: Competition on software testing. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alexios Lekidis, Panagiotis Katsaros Energy characterization of IoT systems through design aspect monitoring. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Aart Middeldorp, Julian Nagele, Kiraku Shintani CoCo 2019: report on the eighth confluence competition. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Pietro Ferrara 0001, Amit Kr Mandal 0001, Agostino Cortesi, Fausto Spoto Static analysis for discovering IoT vulnerabilities. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen ADTLang: a programming language approach to attack defense trees. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Sean Kauffman, Klaus Havelund, Sebastian Fischmeister What can we monitor over unreliable channels? Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001 First international competition on software testing. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir Comparing controlled system synthesis and suppression enforcement. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled An extension of first-order LTL with rules with application to runtime verification. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Fabrice 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. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Marie-Christine Jakobs Cooperative verifier-based testing with CoVeriTest. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Leonardo Mariani Introduction to the special issue of the 19th International Conference on Runtime Verification. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel A taxonomy for classifying runtime verification tools. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Artur Boronat Incremental execution of rule-based model transformation. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mikhail R. Gadelha, Rafael S. Menezes, Lucas C. Cordeiro ESBMC 6.1: automated test case generation using bounded model checking. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Martin Leucker, Christian Colombo 0001 Preface. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho Verification and refutation of C programs based on k-induction and invariant inference. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nathalie Bertrand 0001, Igor Konnov 0001, Marijana Lazic, Josef Widder Correction to: Verification of randomized consensus algorithms under round-rigid adversaries. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Christos Grompanopoulos, Antonios Gouglidis, Anastasia Mavridou Specifying and verifying usage control models and policies in TLA+. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing On methods and tools for rigorous system design. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 900 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license