| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Susanne Graf, Doron Peled, Sophie Quinton |
Achieving distributed control through model checking.  |
Formal Methods in System Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
Efficient emptiness check for timed Büchi automata. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel |
Transparent partial order reduction. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Rupak Majumdar, Benjamin Monmege |
Bounded underapproximations. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler, Thomas R. Shiple, Gérard Berry |
Constructive Boolean circuits and the exactness of timed ternary simulation. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers |
Symbolic bounded synthesis. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Crafa, Francesco Ranzato |
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bérard, Serge Haddad, Mathieu Sassolas |
Interrupt Timed Automata: verification and expressiveness. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayssir Touili |
Preface. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Satrajit Chatterjee, Michael Kishinevsky |
Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandie Balaguer, Thomas Chatain, Stefan Haar |
A concurrency-preserving translation from time Petri nets to networks of timed automata. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Jérémy Dubreil, Hervé Marchand |
Synthesis of opaque systems with static and dynamic masks. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur |
2010 CAV award announcement. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler |
Explaining counterexamples using causality. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
Fences in weak memory models (extended version). |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Benchmarking a model checker for algorithmic improvements and tuning for performance. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier |
Runtime enforcement monitors: composition, synthesis, and enforcement abilities. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer |
Automatic analysis of DMA races using model checking and k-induction. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Verification of STM on relaxed memory models. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye, Benoît Caillaud, Axel Legay |
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin |
Faster algorithms for mean-payoff games. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng |
Exploring structural symmetry automatically in symbolic trajectory evaluation. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie |
On the refinement of liveness properties of distributed systems. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter M. Maurer |
Conjugate symmetry. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Olaf Blech, Benjamin Grégoire |
Certifying compilers using higher-order theorem provers as certificate checkers. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis |
Priority scheduling of distributed systems based on model checking. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia M. B. Braman, Richard M. Murray |
Bisimulation conversion and verification procedure for goal-based control systems. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Karen Yorav |
Preface. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar |
Programs with lists are counter automata. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès |
Feasibility analysis for robustness quantification by symbolic model checking. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
A WSDL-based type system for asynchronous WS-BPEL processes. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Antichains and compositional algorithms for LTL synthesis. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kupferschmid, Matthew D. T. Lewis, Tobias Schubert, Bernd Becker |
Incremental preprocessing methods for use in BMC. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoffer Sloth, Rafael Wisniewski |
Verification of continuous dynamical systems by timed automata. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karin Quaas |
MSO logics for weighted timed automata. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Divjyot Sethi, Yogesh S. Mahajan, Sharad Malik |
Specification and encoding of transaction interaction properties. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Gast |
Reasoning about memory layouts. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Goldman, Emilia Katz, Shmuel Katz |
MAVEN: modular aspect verification and interference analysis. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Dennis Dams |
Special issue: 2nd World Congress on Formal Methods. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Alexandre Donzé, Axel Legay |
On simulation-based probabilistic model checking of mixed-analog circuits. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier |
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim H. Hesselink, Muhammad Ikram Lali |
Simple concurrent garbage collection almost without synchronization. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening |
Context-aware counter abstraction. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bliudze, Joseph Sifakis |
Causal semantics for the algebra of connectors. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin D. Jones, Victor Konrad, Dejan Nickovic |
Analog property checkers: a DDR2 case study. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond T. Boute |
Pointfree expression and calculation: from quantification to temporal logic. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi |
2009 CAV award announcement. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Performability assessment by model checking of Markov reward models. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou |
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Steinhorst, Lars Hedrich |
Advanced methods for equivalence checking of analog circuits with strong nonlinearities. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies |
Doomed program points. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Aniello Murano, Adriano Peron |
Pushdown module checking. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
A game-based abstraction-refinement framework for Markov decision processes. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun 0002, Lindsay Groves |
Theorem prover approach to semistructured data design. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas |
Scenario-based verification of real-time systems using Uppaal. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard |
Model-based construction and verification of critical systems using composition and partial refinement. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Martel |
Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Girault, Éric Rutten |
Automating the addition of fault tolerance with discrete controller synthesis. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, Thomas W. Reps |
Reducing concurrent analysis under a context bound to sequential analysis. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival |
Why does Astrée scale up? |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Conrad |
Testing-based translation validation of generated code in the context of IEC 61508. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi |
Hybrid systems: from verification to falsification by combining motion planning and discrete search. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Discrete search, Sampling-based planning, Hybrid system, Decomposition, Safety properties, Nonlinear dynamics, Robot motion planning |
| 1 | Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang |
Foreword: Special issue on numerical software verification. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hana Chockler, Ofer Strichman |
Before and after vacuity. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Vacuity, Model-checking, Complexity |
| 1 | Per Bjesse |
Word level bitwidth reduction for unbounded hardware model checking. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Salvatore La Torre |
Decision problems for lower/upper bound parametric timed automata. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz |
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | |
The CAV award. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi |
The 2008 CAV Award citation. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Himanshu Jain, Edmund M. Clarke, Orna Grumberg |
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Stéphanie Delaune |
Safely composing security protocols. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Verification, Composition, Security protocols |
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moez Krichen, Stavros Tripakis |
Conformance testing for real-time systems. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability |
| 1 | André Platzer, Edmund M. Clarke |
Computing differential invariants of hybrid systems as fixedpoints. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aarti Gupta, Sharad Malik |
Preface. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Summarization for termination: no return! |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu |
Timed verification of the generic architecture of a memory circuit using parametric timed automata. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Memory circuit, Model checking, Timed automata |
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Approximated parameterized verification of infinite-state processes with global conditions. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Unbounded processes, Over-approximation, Parameterized systems |
| 1 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Action Language verifier: an infinite-state model checker for reactive software specifications. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Tarik Nahhal |
Coverage-guided test generation for continuous and hybrid systems. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Test generation, Hybrid systems, Model-based testing, Conformance testing, Test coverage |
| 1 | Cindy Eisner, Amir Nahir, Karen Yorav |
Functional verification of power gated designs by compositional reasoning. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gastin, Nathalie Sznajder, Marc Zeitoun |
Distributed synthesis for well-connected architectures. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Synthesis problem, Synchronous architectures, Distributed systems |
| 1 | Ariel Cohen 0002, Kedar S. Namjoshi |
Local proofs for global safety properties. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Local proofs, Model checking, Compositionality, Local reasoning |
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
From liveness to promptness. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Verification, Temporal logic, Liveness |
| 1 | Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig |
A congruence relation for sPBC. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Petri box calculus, Operational semantics, Stochastic Petri nets, Stochastic process algebras |
| 1 | Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin |
Robust safety of timed automata. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Robustness, Implementability, Perturbation, Timed automaton, Drift |
| 1 | Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer |
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Model checking, Learning, Labeled transition systems, Compositional verification, Safety properties, Assume-guarantee reasoning, Proof rules |
| 1 | Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar |
Verification of parametric concurrent systems with prioritised FIFO resource management. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Parameterised verification, Infinite-state system verification, Cut off, Parameterised networks of processes, Model checking, Formal verification, Resource sharing |
| 1 | Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha |
Verification of evolving software via component substitutability analysis. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Automata learning, Software engineering, Model checking, Predicate abstraction, Compositional verification, Assume-guarantee reasoning |
| 1 | Jochen Eisinger, Felix Klaedtke |
Don't care words with an application to the automata-based approach for real addition. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Mixed linear arithmetic over the integers and reals, Verification of infinite-state systems, Decision procedure, Automata theory |
| 1 | Rajeev Alur, George J. Pappas |
Introduction. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Abstractions for hybrid systems. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Hybrid systems, Predicate abstraction, Qualitative simulation |
| 1 | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna |
Constructing invariants for hybrid systems. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Grobner bases, Verification, Analysis, Hybrid systems, Invariants, Polynomials, Algebraic geometry, Groebner bases |
| 1 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Special issue on learning techniques for compositional reasoning. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Gershman, Maya Koifman, Ofer Strichman |
An approach for extracting a small unsatisfiable core. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Unsatisfiable core, SAT, Resolution |
| 1 | Wonhong Nam, P. Madhusudan, Rajeev Alur |
Automatic symbolic compositional verification by learning assumptions. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning |
| 1 | Tianlong Gu, Huadong Liu |
The symbolic OBDD scheme for generating mechanical assembly sequences. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Assemble sequence planning, Assembly liaison graph, Assembly sequences generation, Ordered binary decision diagram |
| 1 | Sagar Chaki, Ofer Strichman |
Three optimizations for Assume-Guarantee reasoning with L*. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Learning, Software verification, Compositionality, Assume-Guarantee |
| 1 | Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen |
Optimal infinite scheduling for multi-priced timed automata. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Priced timed automata, Optimal mean-payoff |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")