, LTL to B??chi Automata Translation: Fast and More Deterministic, Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12, pp.95-109, 2012.
DOI : 10.1007/978-3-642-28756-5_8
, Efficient Symbolic State-Space Construction for Asynchronous Systems, Proceedings of the 21st International Conference on Application and Theory of Petri Nets, pp.103-122
DOI : 10.1007/3-540-44988-4_8
, Minimal Büchi automata for certain classes of LTL formulas, Proceedings of the Fourth International Conference on Dependability of Computer Systems (DEPCOS'09, pp.17-24, 2009.
, On-the-fly Verification of Linear Temporal Logic, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM'99, pp.253-271, 1999.
DOI : 10.1007/3-540-48119-2_16
, On-the-fly emptiness checks for generalized Büchi automata, Proceedings of the 12th International SPIN Workshop on Model Checking of Software (SPIN'05, pp.143-158, 2005.
, LTL translation improvements in Spot Verification and Evaluation of Computer and Communication Systems (VECoS'11) Electronic Workshops in Computing, Proceedings of the 5th International Workshop on, 2011.
, SPOT: an extensible model checking library using transition-based generalized buchi automata, The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings., pp.76-83, 2004.
DOI : 10.1109/MASCOT.2004.1348184
URL : https://hal.archives-ouvertes.fr/hal-01496158
, ??-Automata, Lecture Notes in Computer Science, vol.2500, pp.3-21, 2002.
DOI : 10.1007/3-540-36387-4_1
, Fast LTL to B??chi Automata Translation, Proceedings of the 13th International Conference on Computer Aided Verification (CAV'01, pp.53-65, 2001.
DOI : 10.1007/3-540-44585-4_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.4074
, Larger Automata and Less Work for LTL Model Checking, Proceedings of the 13th International SPIN Workshop (SPIN'06, pp.53-70, 2006.
DOI : 10.1007/3-540-56922-7_33
, Tarjan???s Algorithm Makes On-the-Fly LTL Verification More Efficient, Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.205-219, 2004.
DOI : 10.1007/978-3-540-24730-2_18
, Simple On-the-fly Automatic Verification of Linear Temporal Logic, Proceedings of the 15th Workshop on Protocol Specification Testing and Verification (PSTV'95, pp.3-18
DOI : 10.1007/978-0-387-34892-6_1
, From states to transitions: Improving translation of LTL formulae to Büchi automata, Proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.308-326, 1996.
, Stuttering-insensitive automata for on-thefly detection of livelock properties, Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems (FMICS'02). Electronic Notes in Theoretical Computer Science, 2002.
, Petri Nets for Systems and Synthetic Biology, Lecture Notes in Computer Science, vol.5016, pp.215-264, 2008.
DOI : 10.1007/978-3-540-68894-5_7
, On the Formal Verification of Middleware Behavioral Properties, Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems, pp.139-157, 2004.
DOI : 10.1016/j.entcs.2004.08.062
, The Spot home page: http://spot, 2012.
, Properties of state spaces and their applications, International Journal on Software Tools for Technology Transfer, vol.298, issue.5594, pp.443-454, 2008.
DOI : 10.1007/s10009-008-0070-5
, Stutter-invariant temporal properties are expressible without the next-time operator, Information Processing Letters, vol.63, issue.5, pp.243-246, 1995.
DOI : 10.1016/S0020-0190(97)00133-6
, Myths about the mutual exclusion problem, Information Processing Letters, vol.12, issue.3, pp.115-116, 1981.
DOI : 10.1016/0020-0190(81)90106-X
, Evaluating and optimizing thread pool strategies for RT-CORBA, Proceeding of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems (LCTES'00, pp.214-222, 2000.
, LTL Satisfiability Checking, Proceedings of the 12th International SPIN Workshop on Model Checking of Software (SPIN'07, pp.149-167, 2007.
DOI : 10.1007/978-3-540-73370-6_11
, Generalized Büchi automata versus testing automata for model checking, Procedings of the 2nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency, pp.65-79, 2011.
, A Note on On-the-Fly Verification Algorithms, Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05)
DOI : 10.1007/978-3-540-31980-1_12
, Büchi automata for efficient LTL model checking, Proceedings of the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME'03). Lecture Notes in Computer Science, pp.126-140, 2003.
, Automata and Linear Temporal Logic: Translation with Transition-based Acceptance, 2006.
, Bisimilarity Minimization in O(m logn) Time, Proceedings of the 30th International Conference on the Applications and Theory of Petri Nets (ICATPN'09, pp.123-142
DOI : 10.1137/0216062
, An automata-theoretic approach to linear temporal logic, Lecture Notes in Computer Science, vol.1043, pp.238-266, 1996.
DOI : 10.1007/3-540-60915-6_6