dblp.uni-trier.dewww.uni-trier.de

Javier Esparza Vis

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

*2009
111EEJavier Esparza: Stochastic Process Creation. MFCS 2009: 24-33
110EEChih-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)
109EEChih-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)
2008
108EEJavier Esparza, Stefan Kiefer, Michael Luttenberger: Derivation Tree Analysis for Accelerated Fixed-Point Computation. Developments in Language Theory 2008: 301-313
107EEJavier Esparza, Thomas Gawlitza, Stefan Kiefer, Helmut Seidl: Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. ICALP (1) 2008: 698-710
106EEJavier Esparza, Stefan Kiefer, Michael Luttenberger: Newton's Method for omega-Continuous Semirings. ICALP (2) 2008: 14-26
105EEJavier Esparza, Stefan Kiefer, Michael Luttenberger: Solving Monotone Polynomial Equations. IFIP TCS 2008: 285-298
104EEDejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon: Symbolic Context-Bounded Analysis of Multithreaded Java Programs. SPIN 2008: 270-287
103EEJavier Esparza, Stefan Kiefer, Michael Luttenberger: Convergence Thresholds of Newton's Method for Monotone Polynomial Equations. STACS 2008: 289-300
102EEAhmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth: SDSIrep: A Reputation System Based on SDSI. TACAS 2008: 501-516
101EEJavier Esparza, Stefan Kiefer, Michael Luttenberger: Convergence Thresholds of Newton's Method for Monotone Polynomial Equations CoRR abs/0802.2856: (2008)
100EEJavier 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)
99EEJavier Esparza, Pradeep Kanade, Stefan Schwoon: A negative result on depth-first net unfoldings. STTT 10(2): 161-166 (2008)
2007
98EEDejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza: jMoped: A Test Environment for Java Programs. CAV 2007: 164-167
97EEJavier Esparza, Stefan Kiefer, Michael Luttenberger: An Extension of Newton's Method to omega -Continuous Semirings. Developments in Language Theory 2007: 157-168
96EEJavier Esparza, Stefan Kiefer, Michael Luttenberger: On Fixed Point Equations over Commutative Semirings. STACS 2007: 296-307
95EEStefan Kiefer, Michael Luttenberger, Javier Esparza: On the convergence of Newton's method for monotone systems of polynomial equations. STOC 2007: 217-226
2006
94EEJavier Esparza, Petr Jancar, Alexander Miller: On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. ACSD 2006: 47-56
93EEDejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza: Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. ATVA 2006: 141-153
92EEGiorgio Delzanno, Javier Esparza, Jirí Srba: Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. ATVA 2006: 415-429
91EEEike Best, Javier Esparza, Harro Wimmel, Karsten Wolf: Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18
90EEAhmed Bouajjani, Javier Esparza: Rewriting Models of Boolean Programs. RTA 2006: 136-150
89EEAhmed 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
88EEJavier Esparza, Stefan Kiefer, Stefan Schwoon: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. TACAS 2006: 489-503
87EEAntonín Kucera, Javier Esparza, Richard Mayr: Model Checking Probabilistic Pushdown Automata. Logical Methods in Computer Science 2(1): (2006)
2005
86EETomá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
85EEAhmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek: Reachability Analysis of Multithreaded Software with Asynchronous Communication. FSTTCS 2005: 348-359
84EEJavier Esparza, Antonín Kucera, Richard Mayr: Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances. LICS 2005: 117-126
83EEJavier Esparza, Pierre Ganty, Stefan Schwoon: Locality-Based Abstractions. SAS 2005: 118-134
82EEStefan Schwoon, Javier Esparza: A Note on On-the-Fly Verification Algorithms. TACAS 2005: 174-190
81EEDejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza: jMoped: A Java Bytecode Checker Based on Moped. TACAS 2005: 541-545
80EEJavier Esparza, Antonín Kucera, Richard Mayr: Model Checking Probabilistic Pushdown Automata CoRR abs/cs/0508003: (2005)
79EEAhmed Bouajjani, Javier Esparza, Tayssir Touili: Reachability Analysis of Synchronized PA Systems. Electr. Notes Theor. Comput. Sci. 138(3): 153-178 (2005)
2004
78EEJavier Esparza, Kousha Etessami: Verifying Probabilistic Procedural Programs. FSTTCS 2004: 16-31
77EEJavier Esparza, Antonín Kucera, Richard Mayr: Model Checking Probabilistic Pushdown Automata. LICS 2004: 12-21
76EEJavier Esparza: A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs. Fundam. Inform. 62(2): 197-220 (2004)
2003
75EEJavier Esparza: A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs. ACSD 2003: 61-70
74EEAlin Stefanescu, Javier Esparza, Anca Muscholl: Synthesis of Distributed Algorithms Using Asynchronous Automata. CONCUR 2003: 27-41
73EEJavier Esparza: An Automata-Theoretic Approach to Software Verification. Developments in Language Theory 2003: 21
72EEClaus Schröter, Stefan Schwoon, Javier Esparza: The Model-Checking Kit. ICATPN 2003: 463-472
71EEAhmed Bouajjani, Javier Esparza, Tayssir Touili: A generic approach to the static analysis of concurrent programs with procedures. POPL 2003: 62-73
70EEJavier Esparza, Monika Maidl: Simple Representative Instantiations for Multicast Protocols. TACAS 2003: 128-143
69EEJavier Esparza, Antonín Kucera, Stefan Schwoon: Model checking LTL with regular valuations for pushdown systems. Inf. Comput. 186(2): 355-376 (2003)
68EEAhmed 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)
67EEAntonín Kucera, Javier Esparza: A Logical Viewpoint on Process-algebraic Quotients. J. Log. Comput. 13(6): 863-880 (2003)
2002
66 Javier Esparza, Charles Lakos: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings Springer 2002
65EEJavier Esparza: Grammars as Processes. Formal and Natural Computing 2002: 277-297
64EEJavier Esparza: An Algebraic Approach to the Static Analysis of Concurrent Software. SAS 2002: 3
63 Javier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. Formal Methods in System Design 20(3): 285-310 (2002)
2001
62EEJavier Esparza, Stefan Schwoon: A BDD-Based Model Checker for Recursive Programs. CAV 2001: 324-336
61EEJavier Esparza, Claus Schröter: Net Reductions for LTL Model-Checking. CHARME 2001: 310-324
60 Javier Esparza: Model Checking (with) Declarative Programs. PPDP 2001: 37
59EEJavier Esparza, Keijo Heljanko: Implementing LTL Model Checking with Net Unfoldings. SPIN 2001: 37-56
58EEJavier Esparza, Antonín Kucera, Stefan Schwoon: Model-Checking LTL with Regular Valuations for Pushdown Systems. TACS 2001: 316-339
57 Olaf Burkart, Javier Esparza: More Infinite Results. Current Trends in Theoretical Computer Science 2001: 480-503
56 Javier Esparza, Claus Schröter: Unfolding Based Algorithms for the Reachability Problem. Fundam. Inform. 47(3-4): 231-245 (2001)
2000
55 Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon: Efficient Algorithms for Model Checking Pushdown Systems. CAV 2000: 232-247
54EEJavier Esparza, Keijo Heljanko: A New Unfolding Approach to LTL Model Checking. ICALP 2000: 475-486
53EELeonor Prensa Nieto, Javier Esparza: Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL. MFCS 2000: 619-628
52EEJavier Esparza: Verification of Systems with an Infinite State Space. MOVEP 2000: 183-186
51EEJavier Esparza, Andreas Podelski: Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs. POPL 2000: 1-11
50 Javier Esparza, Peter Rossmanith, Stefan Schwoon: A Uniform Framework for Problems on Context-Free Grammars. Bulletin of the EATCS 72: 169-177 (2000)
49 Javier Esparza, Stephan Melzer: Verification of Safety Properties Using Integer Programming: Beyond the State Equation. Formal Methods in System Design 16(2): 159-189 (2000)
48EEAhmed 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
47EEJavier Esparza, Stefan Römer: An Unfolding Algorithm for Synchronous Products of Transition Systems. CONCUR 1999: 2-20
46EEChristine Röckl, Javier Esparza: Proof-Checking Protocols Using Bisimulations. CONCUR 1999: 525-540
45EEAntonín Kucera, Javier Esparza: A Logical Viewpoint on Process-Algebraic Quotients. CSL 1999: 499-514
44EEGiorgio Delzanno, Javier Esparza, Andreas Podelski: Constraint-Based Analysis of Broadcast Protocols. CSL 1999: 50-66
43 Javier Esparza, Jens Knoop: An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis. FoSSaCS 1999: 14-30
42EEJavier Esparza, Alain Finkel, Richard Mayr: On the Verification of Broadcast Protocols. LICS 1999: 352-359
41 Petr Jancar, Javier Esparza, Faron Moller: Petri Nets and Regular Processes. J. Comput. Syst. Sci. 59(3): 476-503 (1999)
1998
40EEJavier Esparza: Reachability in Live and Safe Free-Choice Petri Nets is NP-Complete. Theor. Comput. Sci. 198(1-2): 211-224 (1998)
1997
39EEAhmed Bouajjani, Javier Esparza, Oded Maler: Reachability Analysis of Pushdown Automata: Application to Model-Checking. CONCUR 1997: 135-150
38EEJavier Esparza, Peter Rossmanith: An Automata Approach to Some Problems on Context-Free Grammars. Foundations of Computer Science: Potential - Theory - Cognition 1997: 143-152
37EEJavier Esparza, Stephan Melzer: Model Checking LTL Using Constraint Programming. ICATPN 1997: 1-20
36 Javier Esparza: Decidability of Model Checking for Infinite-State Concurrent Systems. Acta Inf. 34(2): 85-107 (1997)
35 Olaf Burkart, Javier Esparza: More Infinite Results. Bulletin of the EATCS 62: (1997)
34 Javier Esparza: Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes. Fundam. Inform. 31(1): 13-25 (1997)
1996
33 Stephan Melzer, Stefan Römer, Javier Esparza: Verification Using PEP. AMAST 1996: 591-594
32EEStephan Melzer, Javier Esparza: Checking System Properties via Integer Programming. ESOP 1996: 250-264
31EEPetr Jancar, Javier Esparza: Deciding Finiteness of Petri Nets Up To Bisimulation. ICALP 1996: 478-489
30EEJulian C. Bradfield, Javier Esparza, Angelika Mader: An Effective Tableau System for the Linear Time µ-Calculus. ICALP 1996: 98-109
29 Javier Esparza: Decidability and Complexity of Petri Net Problems - An Introduction. Petri Nets 1996: 374-428
28 Javier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. TACAS 1996: 87-106
27EEOlaf Burkart, Javier Esparza: More infinite results. Electr. Notes Theor. Comput. Sci. 5: (1996)
26EEJavier Esparza, Glenn Bruns: Trapping Mutual Exclusion in the Box Calculus. Theor. Comput. Sci. 153(1&2): 95-128 (1996)
1995
25EEJavier Esparza, Astrid Kiehn: On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes. CAV 1995: 353-366
24 Javier Esparza: Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes. FCT 1995: 221-232
23EEAllan Cheng, Javier Esparza, Jens Palsberg: Complexity Results for 1-Safe Nets. Theor. Comput. Sci. 147(1&2): 117-136 (1995)
1994
22EEJavier Esparza: On the Decidability of Model Checking for Several µ-calculi and Petri Nets. CAAP 1994: 115-129
21EEMaciej Koutny, Javier Esparza, Eike Best: Operational Semantics for the Petri Box Calculus. CONCUR 1994: 210-225
20 Javier Esparza, Mogens Nielsen: Decidability Issues for Petri Nets - a survey. Bulletin of the EATCS 52: 244-262 (1994)
19 Javier Esparza, Mogens Nielsen: Decidability Issues for Petri Nets - a survey. Elektronische Informationsverarbeitung und Kybernetik 30(3): 143-160 (1994)
18 Javier Esparza: Reduction and Synthesis of Live and Bounded Free Choice Petri Nets Inf. Comput. 114(1): 50-87 (1994)
17 Javier Esparza: Model Checking Using Net Unfoldings. Sci. Comput. Program. 23(2-3): 151-195 (1994)
1993
16EEJörg Desel, Javier Esparza: Shortest Paths in Reachability Graphs. Application and Theory of Petri Nets 1993: 224-241
15EEAllan Cheng, Javier Esparza, Jens Palsberg: Complexity Results for 1-safe Nets. FSTTCS 1993: 326-337
14EEEike Best, Raymond R. Devillers, Javier Esparza: General Refinement and Recursion Operators for the Petri Box Calculus. STACS 1993: 130-140
13EEJavier Esparza: Model Checking Using Net Unfoldings. TAPSOFT 1993: 613-628
12EEJavier Esparza, Bernhard von Stengel: The Asynchronous Committee Meeting Problem. WG 1993: 276-287
11 Jörg Desel, Javier Esparza: Reachability in Cyclic Extended Free-Choice Systems. Theor. Comput. Sci. 114(1): 93-118 (1993)
1992
10 Javier 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)
9 Eike Best, Jörg Desel, Javier Esparza: Traps Characterize Home States in Free Choice Systems. Theor. Comput. Sci. 101(2): 161-176 (1992)
8 Javier Esparza, Manuel Silva: A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets. Theor. Comput. Sci. 102(1): 185-205 (1992)
1991
7EEJavier Esparza, Manuel Silva: Compositional Synthesis of Live and Bounded Free Choice Petri Nets. CONCUR 1991: 172-187
6EEEike Best, Javier Esparza: Model Checking of Persistent Petri Nets. CSL 1991: 35-52
5EEJörg Desel, Javier Esparza: Reachability in Reversible Free Choice Systems. STACS 1991: 384-397
1990
4EEJavier Esparza, Manuel Silva: Top-down synthesis of live and bounded free choice nets. Applications and Theory of Petri Nets 1990: 118-139
3EEJavier Esparza: Synthesis Rules for Petri Nets, and How they Lead to New Results. CONCUR 1990: 182-198
1989
2EEJavier Esparza, Manuel Silva: Circuits, handles, bridges and nets. Applications and Theory of Petri Nets 1989: 210-242
1EEJavier 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] [102]
4Julian C. Bradfield [30]
5Tomás Brázdil [86]
6Glenn Bruns [26]
7Christian Buckl [109] [110]
8Olaf Burkart [27] [35] [57]
9Allan Cheng [15] [23]
10Chih-Hong Cheng [109] [110]
11Giorgio Delzanno [44] [92]
12Jörg Desel [5] [9] [11] [16]
13Raymond R. Devillers [14]
14Kousha Etessami [78]
15Alain Finkel [42] [48]
16Pierre Ganty [83]
17Thomas Gawlitza [107]
18David Hansel [55]
19Keijo Heljanko [54] [59]
20Petr Jancar [31] [41] [94] [100]
21Pradeep Kanade [99]
22Stefan Kiefer [88] [95] [96] [97] [101] [103] [105] [106] [107] [108]
23Astrid Kiehn [25]
24Alois Knoll [109] [110]
25Jens Knoop [43]
26Maciej Koutny [21]
27Antonín Kucera [45] [58] [67] [69] [77] [80] [84] [86] [87]
28Charles Lakos [66]
29Michael Luttenberger [95] [96] [97] [101] [103] [105] [106] [108]
30Angelika Mader [30]
31Monika Maidl [70]
32Oded Maler [39] [48]
33Richard Mayr [42] [77] [80] [84] [87]
34Stephan Melzer [32] [33] [37] [49]
35Alexander Miller [94] [100]
36Faron Moller [41]
37Anca Muscholl [74]
38Mogens Nielsen [19] [20]
39Leonor Prensa Nieto [53]
40Jens Palsberg [15] [23]
41Andreas Podelski [44] [51]
42Christine Röckl [46]
43Stefan Römer [28] [33] [47] [63]
44Peter Rossmanith [38] [48] [50] [55]
45Claus Schröter [56] [61] [72]
46Stefan Schwoon [50] [55] [58] [62] [69] [72] [81] [82] [83] [85] [88] [89] [93] [98] [99] [102] [104]
47Helmut Seidl [107]
48Manuel Silva [1] [2] [4] [7] [8]
49Jirí Srba [92]
50Alin Stefanescu [74]
51Bernhard von Stengel [12]
52Jan Strejcek [85] [89]
53Dejvuth Suwimonteerabuth [81] [93] [98] [102] [104]
54Tayssir Touili [68] [71] [79]
55Walter Vogler [28] [63]
56Bernard Willems [48]
57Harro Wimmel [91]
58Karsten Wolf (Karsten Schmidt) [91]
59Pierre Wolper [48]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)