The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Formal Methods in System Design"( http://dblp.L3S.de/Venues/Formal_Methods_in_System_Design )

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

Publication years (Num. hits)
1992-1993 (31) 1994 (21) 1995 (20) 1996 (18) 1997 (24) 1998 (18) 1999 (23) 2000 (21) 2001 (27) 2002 (26) 2003 (25) 2004 (20) 2005 (25) 2006 (25) 2007 (25) 2008 (16) 2009 (28) 2010 (20) 2011 (22) 2012 (31) 2013 (32) 2014 (23) 2015 (23) 2016 (18) 2017 (33) 2018 (28)
Publication types (Num. hits)
article(623)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 447 occurrences of 268 keywords

Results
Found 623 publication records. Showing 623 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen Wireless protocol validation under uncertainty. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister Inferring event stream abstractions. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl Realizability of concurrent recursive programs. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chaoqiang Deng, Kedar S. Namjoshi Securing a compiler transformation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manfred Broy Theory and methodology of assumption/commitment based system interface specification and architectural contracts. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xavier Rival Foreword. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan Validating numerical semidefinite programming solvers for polynomial invariants. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta Tightening the contract refinements of a system architecture. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, César Sánchez Introduction to the special issue on runtime verification. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lakhdar Akroun, Gwen Salaün Automated verification of automata communicating via FIFO and bag buffers. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bjørnar Luteberget, Christian Johansen Efficient verification of railway infrastructure designs against standard regulations. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonas Westman, Mattias Nyberg Conditions of contracts for separating responsibilities in heterogeneous systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich Automating regression verification of pointer programs by predicate abstraction. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jean Goubault-Larrecq, Jean-Philippe Lachance On the complexity of monitoring Orchids signatures, and recurrence equations. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg An improved algorithm for the control synthesis of nonlinear sampled switched systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Gal Vardi On relative and probabilistic finite counterability. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grigore Rosu Finite-trace linear temporal logic: coinductive completeness. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthieu Journault, Antoine Miné Inferring functional properties of matrix manipulating programs by abstract interpretation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ofer Strichman Special issue: program equivalence. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato Abstracting Nash equilibria of supermodular games. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hernán Ponce de León, Andrey Mokhov Compact and efficiently verifiable models for concurrent systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic Quantitative monitoring of STL with edit distance. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlos Moreno 0002, Sebastian Fischmeister Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero Solving parity games via priority promotion. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler Enforcing termination of interprocedural analysis. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrzej S. Murawski, Nikos Tzevelekos Algorithmic games for full ground references. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rémy Boutonnet, Nicolas Halbwachs Improving the results of program analysis by abstract interpretation beyond the decreasing sequence. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Hongseok Yang Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa raSAT: an SMT solver for polynomial constraints. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Igor Konnov 0001, Marijana Lazic, Helmut Veith, Josef Widder Para2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ali Kassem 0001, Yliès Falcone, Pascal Lafourcade 0001 Formal analysis and offline monitoring of electronic exams. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Philipp Rümmer Preface to special issue on satisfiability modulo theories. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Bromberger, Christoph Weidenbach New techniques for linear arithmetic: cubes and equalities. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar Compositional entailment checking for a fragment of separation logic. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar Model checking parameterized asynchronous shared-memory systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mickael Randour, Jean-François Raskin, Ocan Sankur Percentile queries in multi-dimensional Markov decision processes. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Alberti, Silvio Ghilardi, Elena Pagani Cardinality constraints for arrays (decidability results and applications). Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang 0001 Z3str2: an efficient solver for strings, regular expressions, and length constraints. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry Symbolic trajectory evaluation for word-level verification: theory and implementation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gianpiero Cabodi, Paolo Camurati, Alan Mishchenko, Marco Palena, Paolo Pasini SAT solver management strategies in IC3: an experimental approach. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo NP-completeness of small conflict set generation for congruence closure. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang Shield synthesis. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia Program synthesis for interactive-security systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johann A. Makowsky, Anna Zamansky Keeping logic in the trivium of computer science: a teaching perspective. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia Robust online monitoring of signal temporal logic. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Thomas A. Henzinger, Georg Weissenbacher Preface of the Special Issue in Memoriam Helmut Veith. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir Monitorability for the Hennessy-Milner logic with recursion. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger Empirical software metrics for benchmarking of verification tools. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aina Niemetz, Mathias Preiner, Armin Biere Propagation based local search for bit-precise reasoning. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Frederic Doucet, Robert Kurshan A methodology to take credit for high-level verification during RTL verification. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dung Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Tim King 0001, Viktor Kuncak Solving quantified linear arithmetic by counterexample-guided instantiation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Rupak Majumdar Introduction to the special issue on runtime verification. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand Predictive runtime enforcement. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu Quantifying conformance using the Skorokhod metric. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster An empirical study of adaptive concretization for parallel program synthesis. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach From non-preemptive to preemptive scheduling using synchronization synthesis. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Niklas Büscher, Martin Franz, Andreas Holzer, Helmut Veith, Stefan Katzenbeisser 0001 On compiling Boolean circuits optimized for secure multi-party computation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tommaso Dreossi, Thao Dang, Carla Piazza Reachability computation for polynomial dynamical systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich The spirit of ghost code. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul C. Attie Synthesis of large dynamic concurrent programs from dynamic specifications. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Alex Aiken From invariant checking to invariant inference using randomized search. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mitra Tabaei Befrouei, Chao Wang 0001, Georg Weissenbacher Abstraction and mining of traces to explain concurrency bugs. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ajith K. John, Supratik Chakraborty A layered algorithm for quantifier elimination from linear modular constraints. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Infinite-state invariant checking with IC3 and predicate abstraction. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel Scalable offline monitoring of temporal specifications. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fatemeh Ghassemi, Wan Fokkink Model checking mobile ad hoc networks. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball 2014 CAV award announcement. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Mitsch, André Platzer ModelPlex: verified runtime validation of verified cyber-physical system models. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karine Altisen, Matthieu Moy Causality problem in real-time calculus. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ashish Tiwari, Patrick Lincoln A search-based procedure for nonlinear real arithmetic. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark Barrett, Morgan Deters An efficient SMT solver for string constraints. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki SMT-based model checking for recursive programs. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Colombo, Yliès Falcone Organising LTL monitors over distributed systems with a global clock. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Bauer 0002, Yliès Falcone Decentralised LTL monitoring. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jan Kretínský, Salomon Sickert From LTL to deterministic automata - A safraless compositional approach. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001 Hybrid automata-based CEGAR for rectangular hybrid systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu Monitoring of temporal first-order properties with aggregations. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nathalie Bertrand 0001, Amélie Stainer, Thierry Jéron, Moez Krichen A game approach to determinize timed automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca CEGAR for compositional analysis of qualitative properties in Markov decision processes. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Philipp Rümmer, Hossein Hojjat, Viktor Kuncak On recursion-free Horn clauses and Craig interpolation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pierre Roux, Pierre-Loïc Garoche Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pranav Garg 0001, Christof Löding, P. Madhusudan, Daniel Neider Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yakir Vizel, Alexander Nadel, Vadim Ryvchin Efficient generation of small interpolants in CNF. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christian von Essen, Barbara Jobstmann Program repair without regret. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah Vacuity in practice: temporal antecedent failure. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sagar Chaki, Arie Gurfinkel, Ofer Strichman Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager Generating models of infinite-state communication protocols using regular inference with abstraction. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto Optimization techniques for craig interpolant compaction in unbounded model checking. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll Juggrnaut: using graph grammars for abstracting unbounded heap structures. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister Runtime verification with minimal intrusion through parallelism. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tarek Mhamdi, Osman Hasan, Sofiène Tahar Evaluation of anonymity and confidentiality protocols using theorem proving. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Loris D'Antoni, Margus Veanes Extended symbolic finite automata and transducers. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Matt Lewis, Georg Weissenbacher Under-approximating loops in C programs for fast counterexample detection. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Eric Goubault, Sylvie Putot A zonotopic framework for functional abstractions. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dima Elenbogen, Shmuel Katz, Ofer Strichman Proving mutual termination. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 623 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
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