| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bernard Boigelot |
Domain-specific regular acceleration.  |
STTT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden, Laurie J. Hendren |
The Clara framework for hybrid typestate analysis. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Ahmed Rezine |
A lightweight regular model checking approach for parameterized systems. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar |
Abstract regular (tree) model checking. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier |
What can you verify and enforce at runtime? |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok |
Software monitoring with controllable overhead. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich |
An abstraction refinement approach combining precise and approximated techniques. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova |
Modelling and analysis using GROOVE. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Tayssir Touili |
Widening techniques for regular tree model checking. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla |
Regular model checking. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Legay |
Extrapolating (omega-)regular model checking. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaz Qadeer, Serdar Tasiran |
Runtime verification of concurrency-specific correctness criteria. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay |
Statistical abstraction and model-checking of large heterogeneous systems. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes |
Selection of formal verification heuristics for parallel execution. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Klaus Havelund, Insup Lee |
Introduction to the special section on runtime verification. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet |
Coverage-biased random exploration of large models and application to testing. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena |
Regular model checking for LTL(MSO). |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu |
An overview of the MOP runtime verification framework. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz, David Faitelson |
The common aspect proof environment. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tjark Weber |
SMT solvers: new oracles for the HOL theorem prover. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Christophe Filliâtre |
Deductive software verification. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Rutkowski, Ranko Lazic, Marcin Jurdzinski |
Average-price-per-reward games on hybrid automata with strong resets. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Laviron, Francesco Logozzo |
SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider |
A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Nir Piterman |
LTL generalized model checking revisited. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liana Barachisio Lisboa, Vinicius Cardoso Garcia, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira |
ToolDAy: a tool for domain analysis. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Marchetto, Roberto Tiella, Paolo Tonella, Nadia Alshahwan, Mark Harman |
Crawlability metrics for automated web testing. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil D. Jones, Markus Müller-Olm |
Preface to a special section on verification, model checking, and abstract interpretation. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman |
Reducing the size of resolution proofs in linear time. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri |
Finding concurrency-related bugs using random isolation. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying Zou, Ji Wu, Kenny Wong |
Guest editors' introduction to the special section from the international symposium on web systems evolution. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto |
Functional dependencies of C functions via weakest pre-conditions. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe |
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Brukman, Shlomi Dolev |
Recovery oriented programming: runtime monitoring of safety and liveness. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs |
Parallel probabilistic model checking on general purpose graphics processors. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankur Taly, Sumit Gulwani, Ashish Tiwari |
Synthesizing switching logic using constraint solving. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur |
Evaluating workloads using comparative functional coverage. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo, John Derrick |
Formally based tool support for model checking Erlang applications. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Freitas, John P. McDermott |
Formal methods for security in the Xenon hypervisor. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Torchiano, Filippo Ricca, Alessandro Marchetto |
Are web applications more defect-prone than desktop applications? |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adina D. Mosincat, Walter Binder |
Automated maintenance of service compositions with SLA violation detection and dynamic binding. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps |
A decision procedure for detecting atomicity violations for communicating processes with locks. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Schmerl, Michael Vogel, Hartmut König |
Using model checking to identify errors in intrusion detection signatures. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hana Chockler, Alan J. Hu |
Preface. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junghee Lim, Akash Lal, Thomas W. Reps |
Symbolic analysis via semantic reinterpretation. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina S. Pasareanu |
New results in software model checking and analysis. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Fecher, Sharon Shoham |
Local abstraction-refinement for the μ-calculus. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Patrice Godefroid |
An abort-aware model of transactional programming. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kinga Dobolyi, Elizabeth Soechting, Westley Weimer |
Automating regression testing using web-based application similarities. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco D'Ambros, Michele Lanza, Mircea Lungu, Romain Robbes |
On porting software visualization tools to the web. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
Probabilistic reachability for parametric Markov models. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi |
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand |
Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorit Baras, Shai Fine, Laurent Fournier, Dan Geiger, Avi Ziv |
Automatic boosting of cross-product coverage using Bayesian networks. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Bu, Xuandong Li |
Path-oriented bounded reachability analysis of composed linear hybrid systems. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho |
Iterative delta debugging. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Plagge, Michael Leuschel |
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leif Geiger, Albert Zündorf |
Fujaba case studies for GraBaTs 2008: lessons learned. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ákos Horváth, Gábor Bergmann, István Ráth, Dániel Varró |
Experimental assessment of combining pattern matching strategies with VIATRA2. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin |
Rodin: an open toolset for modelling and reasoning in Event-B. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels |
Toward a wider use of formal methods for aerospace systems design and verification. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Pieter Van Gorp |
Graph transformation tool contest 2008. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shlomi Dolev, Ori Gersten |
A framework for robust active super tier systems. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Sagar Chaki |
Combining predicate and numeric abstraction for software model checking. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joris Rehm |
Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
Oris: a tool for modeling, verification and evaluation of real-time systems. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Beaudenon, Emmanuelle Encrenaz, Sami Taktak |
Data decision diagrams for Promela systems analysis. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik |
Exploiting resolution proofs to speed up LTL vacuity detection for BMC. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David R. Cok |
Improved usability and performance of SMT solvers for debugging specifications. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos |
Towards an industrial grade IVE for Java and next generation research platform for JML. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristin Y. Rozier, Moshe Y. Vardi |
LTL satisfiability checking. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Muliawan, Dirk Janssens |
Model refactoring using MoTMoT. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Javier Pérez, Yania Crespo, Berthold Hoffmann, Tom Mens |
A case study to evaluate the suitability of graph transformation tools for program refactoring. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kroening, Tiziana Margaria |
Verified software: theories, tools and experiments. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar Jakumeit, Sebastian Buchwald, Moritz Kroll |
GrGen.NET - The expressive, convenient and fast graph rewrite system. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart, Michael Tautschnig |
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns |
Synthesis and stochastic assessment of cost-optimal schedules. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Stefan Edelkamp |
Model checking software: on some new waves and some evergreens. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby |
Distributed dynamic partial order reduction. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer |
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic |
Data-abstraction refinement: a game semantic approach. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Petr Rockai |
Scalable shared memory LTL model checking. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sami Evangelista, Christophe Pajault |
Solving the ignoring problem for partial order reduction. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky, Márk Asztalos |
Manual and automated performance optimization of model transformation systems. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Naouel Moha, Sagar Sen, Cyril Faucher, Olivier Barais, Jean-Marc Jézéquel |
Evaluation of Kermeta for solving graph-based problems. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard H. Carver, Yu Lei |
A class library for implementing, testing, and debugging concurrent programs. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Weber |
An embeddable virtual machine for state space generation. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Krahn, Bernhard Rumpe, Steven Völkel |
MontiCore: a framework for compositional development of domain specific languages. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs, Jaco van de Pol, Elena M. Bortnik |
Solving scheduling problems by untimed model checking. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria |
LearnLib: a framework for extrapolating behavioral models. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Saswat Anand, Corina S. Pasareanu, Willem Visser |
Symbolic execution with abstraction. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
Software model checking is a rich research field. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
Distributed model checking, Directed model checking, Satisfiability, Symbolic execution, Bounded model checking, State space, Partial-order methods |
| 1 | Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria |
Dynamic testing via automata learning. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai |
GenUTest: a unit test and mock aspect generation tool. |
STTT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber |
Automated implementation of complex distributed algorithms specified in the IOA language. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
Input/Output automata, Verifiable distributed code, IOA Toolkit, Formal methods, Automated code generator |
| 1 | Alessandro Armando, Jacopo Mantovani, Lorenzo Platania |
Bounded model checking of software using SMT solvers instead of SAT solvers. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Déharbe, Silvio Ranise |
Satisfiability solving for software verification. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
Equational theorem proving, Boolean solving, Theory reasoning, Software verification |
| 1 | Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota |
Encoding a process algebra using the Event B method. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra |
| 1 | Karen Yorav |
Haifa verification conference 2007. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán |
Checking the reliability of socket based communication software. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")