Javier Esparza Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Pierre Ganty, Rupak Majumdar: A Perfect Model for Bounded Verification CoRR abs/1201.3194: (2012)
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Andreas Gaiser, Stefan Kiefer: Proving Termination of Probabilistic Programs Using Patterns CoRR abs/1204.2932: (2012)
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Kretínský, Javier Esparza: Deterministic Automata for the (F,G)-fragment of LTL CoRR abs/1204.5057: (2012)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger: Space-efficient scheduling of stochastically generated tasks. Inf. Comput. 210: 87-110 (2012)
2011
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Michael Luttenberger: Solving Fixed-Point Equations by Derivation Tree Analysis. CALCO 2011: 19-35
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Pierre Ganty: Complexity of pattern-based verification for multithreaded programs. POPL 2011: 499-510
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Andreas Gaiser: Probabilistic Abstractions with Arbitrary Domains. SAS 2011: 334-350
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Andreas Gaiser: Probabilistic Abstractions with Arbitrary Domains CoRR abs/1106.1364: (2011)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Martin Leucker, Maximilian Schlund: Learning Workflow Petri Nets. Fundam. Inform. 113(3-4): 205-228 (2011)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger: Parikhʼs theorem: A simple and direct automaton construction. Inf. Process. Lett. 111(12): 614-619 (2011)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Michael Luttenberger: Derivation tree analysis for accelerated fixed-point computation. Theor. Comput. Sci. 412(28): 3226-3241 (2011)
2010
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Bernd Spanfelner, Orna Grumberg: Logics and Languages for Reliability and Security IOS Press 2010
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Rupak Majumdar: Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings Springer 2010
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kern, Javier Esparza: Automatic Error Correction of Java Programs. FMICS 2010: 67-81
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger: Space-Efficient Scheduling of Stochastically Generated Tasks. ICALP (2) 2010: 539-550
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: A False History of True Concurrency: From Petri to Tools. ICGT 2010: 1-2
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara König, Javier Esparza: Verification of Graph Transformation Systems with Context-Free Specifications. ICGT 2010: 107-122
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Martin Leucker, Maximilian Schlund: Learning Workflow Petri Nets. Petri Nets 2010: 206-225
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: A False History of True Concurrency: From Petri to Tools. SPIN 2010: 180-186
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Andreas Gaiser, Stefan Kiefer: Computing Least Fixed Points of Probabilistic Systems of Polynomials. STACS 2010: 359-370
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Analysis of Systems with Stochastic Process Creation. VMCAI 2010: 1
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Michael Luttenberger: Newtonian Program Analysis - An Introduction. Logics and Languages for Reliability and Security 2010: 31-72
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Michael Luttenberger: Computing the Least Fixed Point of Positive Polynomial Systems CoRR abs/1001.0340: (2010)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger: Space-efficient scheduling of stochastically generated tasks CoRR abs/1004.4286: (2010)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger: Parikh's Theorem: A simple and direct construction CoRR abs/1006.3825: (2010)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Michael Luttenberger: Newtonian program analysis. J. ACM 57(6): 33 (2010)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Michael Luttenberger: Computing the Least Fixed Point of Positive Polynomial Systems. SIAM J. Comput. 39(6): 2282-2335 (2010)
2009
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChih-Hong Cheng, Alois Knoll, Christian Buckl, Javier Esparza, Yang Chen: Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. CIRA 2009: 72-77
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll: Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness. DS-RT 2009: 208-215
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Javier Esparza, Stefan Kiefer: On the Memory Consumption of Probabilistic Pushdown Automata. FSTTCS 2009: 49-60
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Stochastic Process Creation. MFCS 2009: 24-33
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll: FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems CoRR abs/0905.3946: (2009)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll: Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness CoRR abs/0905.3951: (2009)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Andreas Gaiser, Stefan Kiefer: Computing Least Fixed Points of Probabilistic Systems of Polynomials CoRR abs/0912.4226: (2009)
2008
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Michael Luttenberger: Derivation Tree Analysis for Accelerated Fixed-Point Computation. Developments in Language Theory 2008: 301-313
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Thomas Gawlitza, Stefan Kiefer, Helmut Seidl: Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. ICALP (1) 2008: 698-710
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Michael Luttenberger: Newton's Method for omega-Continuous Semirings. ICALP (2) 2008: 14-26
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Michael Luttenberger: Solving Monotone Polynomial Equations. IFIP TCS 2008: 285-298
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon: Symbolic Context-Bounded Analysis of Multithreaded Java Programs. SPIN 2008: 270-287
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Michael Luttenberger: Convergence Thresholds of Newton's Method for Monotone Polynomial Equations. STACS 2008: 289-300
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth: SDSIrep: A Reputation System Based on SDSI. TACAS 2008: 501-516
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Michael Luttenberger: Convergence Thresholds of Newton's Method for Monotone Polynomial Equations CoRR abs/0802.2856: (2008)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Petr Jancar, Alexander Miller: On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. Fundam. Inform. 86(3): 227-253 (2008)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Stefan Schwoon: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. JSAT 5(1-4): 27-56 (2008)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Pradeep Kanade, Stefan Schwoon: A negative result on depth-first net unfoldings. STTT 10(2): 161-166 (2008)
2007
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza: jMoped: A Test Environment for Java Programs. CAV 2007: 164-167
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Michael Luttenberger: An Extension of Newton's Method to omega -Continuous Semirings. Developments in Language Theory 2007: 157-168
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Michael Luttenberger: On Fixed Point Equations over Commutative Semirings. STACS 2007: 296-307
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Kiefer, Michael Luttenberger, Javier Esparza: On the convergence of Newton's method for monotone systems of polynomial equations. STOC 2007: 217-226
2006
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Petr Jancar, Alexander Miller: On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. ACSD 2006: 47-56
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza: Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. ATVA 2006: 141-153
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Javier Esparza, Jirí Srba: Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. ATVA 2006: 415-429
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEike Best, Javier Esparza, Harro Wimmel, Karsten Wolf: Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Javier Esparza: Rewriting Models of Boolean Programs. RTA 2006: 136-150
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek: Reachability analysis of multithreaded software with asynchronous communication. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Kiefer, Stefan Schwoon: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. TACAS 2006: 489-503
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonín Kucera, Javier Esparza, Richard Mayr: Model Checking Probabilistic Pushdown Automata. Logical Methods in Computer Science 2(1): (2006)
2005
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Javier Esparza, Antonín Kucera: Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract). FOCS 2005: 521-530
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek: Reachability Analysis of Multithreaded Software with Asynchronous Communication. FSTTCS 2005: 348-359
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Antonín Kucera, Richard Mayr: Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances. LICS 2005: 117-126
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Pierre Ganty, Stefan Schwoon: Locality-Based Abstractions. SAS 2005: 118-134
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Schwoon, Javier Esparza: A Note on On-the-Fly Verification Algorithms. TACAS 2005: 174-190
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza: jMoped: A Java Bytecode Checker Based on Moped. TACAS 2005: 541-545
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Antonín Kucera, Richard Mayr: Model Checking Probabilistic Pushdown Automata CoRR abs/cs/0508003: (2005)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Javier Esparza, Tayssir Touili: Reachability Analysis of Synchronized PA Systems. Electr. Notes Theor. Comput. Sci. 138(3): 153-178 (2005)
2004
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Kousha Etessami: Verifying Probabilistic Procedural Programs. FSTTCS 2004: 16-31
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Antonín Kucera, Richard Mayr: Model Checking Probabilistic Pushdown Automata. LICS 2004: 12-21
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs. Fundam. Inform. 62(2): 197-220 (2004)
2003
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs. ACSD 2003: 61-70
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlin Stefanescu, Javier Esparza, Anca Muscholl: Synthesis of Distributed Algorithms Using Asynchronous Automata. CONCUR 2003: 27-41
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: An Automata-Theoretic Approach to Software Verification. Developments in Language Theory 2003: 21
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaus Schröter, Stefan Schwoon, Javier Esparza: The Model-Checking Kit. ICATPN 2003: 463-472
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Javier Esparza, Tayssir Touili: A generic approach to the static analysis of concurrent programs with procedures. POPL 2003: 62-73
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Monika Maidl: Simple Representative Instantiations for Multicast Protocols. TACAS 2003: 128-143
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Antonín Kucera, Stefan Schwoon: Model checking LTL with regular valuations for pushdown systems. Inf. Comput. 186(2): 355-376 (2003)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Javier Esparza, Tayssir Touili: A Generic Approach to the Static Analysis of Concurrent Programs with Procedures. Int. J. Found. Comput. Sci. 14(4): 551- (2003)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonín Kucera, Javier Esparza: A Logical Viewpoint on Process-algebraic Quotients. J. Log. Comput. 13(6): 863-880 (2003)
2002
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Charles Lakos: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings Springer 2002
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Grammars as Processes. Formal and Natural Computing 2002: 277-297
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: An Algebraic Approach to the Static Analysis of Concurrent Software. SAS 2002: 3
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. Formal Methods in System Design 20(3): 285-310 (2002)
2001
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Schwoon: A BDD-Based Model Checker for Recursive Programs. CAV 2001: 324-336
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Claus Schröter: Net Reductions for LTL Model-Checking. CHARME 2001: 310-324
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Model Checking (with) Declarative Programs. PPDP 2001: 37
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Keijo Heljanko: Implementing LTL Model Checking with Net Unfoldings. SPIN 2001: 37-56
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Antonín Kucera, Stefan Schwoon: Model-Checking LTL with Regular Valuations for Pushdown Systems. TACS 2001: 316-339
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Burkart, Javier Esparza: More Infinite Results. Current Trends in Theoretical Computer Science 2001: 480-503
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Claus Schröter: Unfolding Based Algorithms for the Reachability Problem. Fundam. Inform. 47(3-4): 231-245 (2001)
2000
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon: Efficient Algorithms for Model Checking Pushdown Systems. CAV 2000: 232-247
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Keijo Heljanko: A New Unfolding Approach to LTL Model Checking. ICALP 2000: 475-486
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonor Prensa Nieto, Javier Esparza: Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL. MFCS 2000: 619-628
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Verification of Systems with an Infinite State Space. MOVEP 2000: 183-186
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Andreas Podelski: Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs. POPL 2000: 1-11
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Peter Rossmanith, Stefan Schwoon: A Uniform Framework for Problems on Context-Free Grammars. Bulletin of the EATCS 72: 169-177 (2000)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stephan Melzer: Verification of Safety Properties Using Integer Programming: Beyond the State Equation. Formal Methods in System Design 16(2): 159-189 (2000)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper: An efficient automata approach to some problems on context-free grammars. Inf. Process. Lett. 74(5-6): 221-227 (2000)
1999
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Römer: An Unfolding Algorithm for Synchronous Products of Transition Systems. CONCUR 1999: 2-20
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristine Röckl, Javier Esparza: Proof-Checking Protocols Using Bisimulations. CONCUR 1999: 525-540
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonín Kucera, Javier Esparza: A Logical Viewpoint on Process-Algebraic Quotients. CSL 1999: 499-514
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Javier Esparza, Andreas Podelski: Constraint-Based Analysis of Broadcast Protocols. CSL 1999: 50-66
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Jens Knoop: An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis. FoSSaCS 1999: 14-30
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Alain Finkel, Richard Mayr: On the Verification of Broadcast Protocols. LICS 1999: 352-359
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetr Jancar, Javier Esparza, Faron Moller: Petri Nets and Regular Processes. J. Comput. Syst. Sci. 59(3): 476-503 (1999)
1998
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Reachability in Live and Safe Free-Choice Petri Nets is NP-Complete. Theor. Comput. Sci. 198(1-2): 211-224 (1998)
1997
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Javier Esparza, Oded Maler: Reachability Analysis of Pushdown Automata: Application to Model-Checking. CONCUR 1997: 135-150
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Peter Rossmanith: An Automata Approach to Some Problems on Context-Free Grammars. Foundations of Computer Science: Potential - Theory - Cognition 1997: 143-152
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stephan Melzer: Model Checking LTL Using Constraint Programming. ICATPN 1997: 1-20
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Decidability of Model Checking for Infinite-State Concurrent Systems. Acta Inf. 34(2): 85-107 (1997)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Burkart, Javier Esparza: More Infinite Results. Bulletin of the EATCS 62: (1997)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes. Fundam. Inform. 31(1): 13-25 (1997)
1996
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Melzer, Stefan Römer, Javier Esparza: Verification Using PEP. AMAST 1996: 591-594
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Melzer, Javier Esparza: Checking System Properties via Integer Programming. ESOP 1996: 250-264
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetr Jancar, Javier Esparza: Deciding Finiteness of Petri Nets Up To Bisimulation. ICALP 1996: 478-489
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian C. Bradfield, Javier Esparza, Angelika Mader: An Effective Tableau System for the Linear Time µ-Calculus. ICALP 1996: 98-109
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Decidability and Complexity of Petri Net Problems - An Introduction. Petri Nets 1996: 374-428
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. TACAS 1996: 87-106
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Burkart, Javier Esparza: More infinite results. Electr. Notes Theor. Comput. Sci. 5: 29 (1996)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Glenn Bruns: Trapping Mutual Exclusion in the Box Calculus. Theor. Comput. Sci. 153(1&2): 95-128 (1996)
1995
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Astrid Kiehn: On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes. CAV 1995: 353-366
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes. FCT 1995: 221-232
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllan Cheng, Javier Esparza, Jens Palsberg: Complexity Results for 1-Safe Nets. Theor. Comput. Sci. 147(1&2): 117-136 (1995)
1994
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: On the Decidability of Model Checking for Several µ-calculi and Petri Nets. CAAP 1994: 115-129
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej Koutny, Javier Esparza, Eike Best: Operational Semantics for the Petri Box Calculus. CONCUR 1994: 210-225
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Mogens Nielsen: Decidability Issues for Petri Nets - a survey. Bulletin of the EATCS 52: 244-262 (1994)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Mogens Nielsen: Decidability Issues for Petri Nets - a survey. Elektronische Informationsverarbeitung und Kybernetik 30(3): 143-160 (1994)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Reduction and Synthesis of Live and Bounded Free Choice Petri Nets Inf. Comput. 114(1): 50-87 (1994)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Model Checking Using Net Unfoldings. Sci. Comput. Program. 23(2-3): 151-195 (1994)
1993
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Desel, Javier Esparza: Shortest Paths in Reachability Graphs. Application and Theory of Petri Nets 1993: 224-241
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllan Cheng, Javier Esparza, Jens Palsberg: Complexity Results for 1-safe Nets. FSTTCS 1993: 326-337
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEike Best, Raymond R. Devillers, Javier Esparza: General Refinement and Recursion Operators for the Petri Box Calculus. STACS 1993: 130-140
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Model Checking Using Net Unfoldings. TAPSOFT 1993: 613-628
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Bernhard von Stengel: The Asynchronous Committee Meeting Problem. WG 1993: 276-287
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Desel, Javier Esparza: Reachability in Cyclic Extended Free-Choice Systems. Theor. Comput. Sci. 114(1): 93-118 (1993)
1992
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: A Solution to the Covering Problem for 1-Bounded Conflict-Free Petri Nets Using Linear Programming. Inf. Process. Lett. 41(6): 313-319 (1992)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEike Best, Jörg Desel, Javier Esparza: Traps Characterize Home States in Free Choice Systems. Theor. Comput. Sci. 101(2): 161-176 (1992)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Manuel Silva: A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets. Theor. Comput. Sci. 102(1): 185-205 (1992)
1991
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Manuel Silva: Compositional Synthesis of Live and Bounded Free Choice Petri Nets. CONCUR 1991: 172-187
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEike Best, Javier Esparza: Model Checking of Persistent Petri Nets. CSL 1991: 35-52
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Desel, Javier Esparza: Reachability in Reversible Free Choice Systems. STACS 1991: 384-397
1990
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Manuel Silva: Top-down synthesis of live and bounded free choice nets. Applications and Theory of Petri Nets 1990: 118-139
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza: Synthesis Rules for Petri Nets, and How they Lead to New Results. CONCUR 1990: 182-198
1989
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Manuel Silva: Circuits, handles, bridges and nets. Applications and Theory of Petri Nets 1989: 210-242
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Manuel Silva: On the analysis and synthesis of free choice systems. Applications and Theory of Petri Nets 1989: 243-286

Coauthor Index

1Felix Berger [98]
2Eike Best [6] [9] [14] [21] [91]
3Ahmed Bouajjani [39] [48] [68] [71] [79] [85] [89] [90] [103]
4Julian C. Bradfield [30]
5Tomás Brázdil [86] [114] [120] [129] [140]
6Glenn Bruns [26]
7Christian Buckl [111] [112] [115] [116]
8Olaf Burkart [27] [35] [57]
9Yang Chen [116]
10Allan Cheng [15] [23]
11Chih-Hong Cheng [111] [112] [115] [116]
12Giorgio Delzanno [44] [92]
13Jörg Desel [5] [9] [11] [16]
14Raymond R. Devillers [14]
15Kousha Etessami [78]
16Alain Finkel [42] [48]
17Andreas Gaiser [110] [124] [136] [137] [142]
18Pierre Ganty [83] [119] [134] [138] [143]
19Thomas Gawlitza (Thomas Martin Gawlitza) [108]
20Orna Grumberg [132]
21David Hansel [55]
22Keijo Heljanko [54] [59]
23Petr Jancar [31] [41] [94] [101]
24Pradeep Kanade [99]
25Christian Kern [130]
26Stefan Kiefer [88] [95] [96] [97] [100] [102] [104] [106] [107] [108] [109] [110] [114] [117] [118] [119] [120] [121] [124] [129] [133] [134] [140] [142]
27Astrid Kiehn [25]
28Alois Knoll [111] [112] [115] [116]
29Jens Knoop [43]
30Barbara König [127]
31Maciej Koutny [21]
32Jan Kretínský [141]
33Antonín Kucera [45] [58] [67] [69] [77] [80] [84] [86] [87]
34Charles Lakos [66]
35Martin Leucker [126] [135]
36Michael Luttenberger [95] [96] [97] [102] [104] [106] [107] [109] [117] [118] [119] [120] [121] [122] [129] [133] [134] [139] [140]
37Angelika Mader [30]
38Monika Maidl [70]
39Rupak Majumdar [131] [143]
40Oded Maler [39] [48]
41Richard Mayr [42] [77] [80] [84] [87]
42Stephan Melzer [32] [33] [37] [49]
43Alexander Miller [94] [101]
44Faron Moller [41]
45Anca Muscholl [74]
46Mogens Nielsen [19] [20]
47Leonor Prensa Nieto [53]
48Jens Palsberg [15] [23]
49Andreas Podelski [44] [51]
50Christine Röckl [46]
51Stefan Römer [28] [33] [47] [63]
52Peter Rossmanith [38] [48] [50] [55]
53Maximilian Schlund [126] [135]
54Claus Schröter [56] [61] [72]
55Stefan Schwoon [50] [55] [58] [62] [69] [72] [81] [82] [83] [85] [88] [89] [93] [98] [99] [100] [103] [105]
56Helmut Seidl [108]
57Manuel Silva [1] [2] [4] [7] [8]
58Bernd Spanfelner [132]
59Jirí Srba [92]
60Alin Stefanescu [74]
61Bernhard von Stengel [12]
62Jan Strejcek [85] [89]
63Dejvuth Suwimonteerabuth [81] [93] [98] [103] [105]
64Tayssir Touili [68] [71] [79]
65Walter Vogler [28] [63]
66Bernard Willems [48]
67Harro Wimmel [91]
68Karsten Wolf (Karsten Schmidt) [91]
69Pierre Wolper [48]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page