| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Space-efficient scheduling of stochastically generated tasks.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
Proving Termination of Probabilistic Programs Using Patterns |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jan Kretínský, Javier Esparza |
Deterministic Automata for the (F,G)-fragment of LTL |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Pierre Ganty, Rupak Majumdar |
A Perfect Model for Bounded Verification |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger |
Parikhʼs theorem: A simple and direct automaton construction. |
Inf. Process. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Derivation tree analysis for accelerated fixed-point computation. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Martin Leucker, Maximilian Schlund |
Learning Workflow Petri Nets. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Gaiser |
Probabilistic Abstractions with Arbitrary Domains |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Pierre Ganty |
Complexity of pattern-based verification for multithreaded programs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Gaiser |
Probabilistic Abstractions with Arbitrary Domains. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Michael Luttenberger |
Solving Fixed-Point Equations by Derivation Tree Analysis. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Newtonian program analysis. |
J. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Space-efficient scheduling of stochastically generated tasks |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Computing the Least Fixed Point of Positive Polynomial Systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger |
Parikh's Theorem: A simple and direct construction |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Computing the Least Fixed Point of Positive Polynomial Systems. |
SIAM J. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Michael Luttenberger |
Newtonian Program Analysis - An Introduction. |
Logics and Languages for Reliability and Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Bernd Spanfelner, Orna Grumberg (eds.) |
Logics and Languages for Reliability and Security |
|
2010 |
DBLP BibTeX RDF |
|
| 1 | Barbara König, Javier Esparza |
Verification of Graph Transformation Systems with Context-Free Specifications. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza |
A False History of True Concurrency: From Petri to Tools. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Martin Leucker, Maximilian Schlund |
Learning Workflow Petri Nets. |
Petri Nets |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Rupak Majumdar (eds.) |
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 |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Space-Efficient Scheduling of Stochastically Generated Tasks. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kern, Javier Esparza |
Automatic Error Correction of Java Programs. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
Computing Least Fixed Points of Probabilistic Systems of Polynomials. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza |
A False History of True Concurrency: From Petri to Tools. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza |
Analysis of Systems with Stochastic Process Creation. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll |
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
Computing Least Fixed Points of Probabilistic Systems of Polynomials |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll |
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Chih-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 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza |
Stochastic Process Creation. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer |
On the Memory Consumption of Probabilistic Pushdown Automata. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll |
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness. |
DS-RT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Stefan Schwoon |
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. |
JSAT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Petr Jancar, Alexander Miller |
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Pradeep Kanade, Stefan Schwoon |
A negative result on depth-first net unfoldings. |
STTT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth |
SDSIrep: A Reputation System Based on SDSI. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Newton's Method for omega-Continuous Semirings. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Thomas Gawlitza, Stefan Kiefer, Helmut Seidl |
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon |
Symbolic Context-Bounded Analysis of Multithreaded Java Programs. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Derivation Tree Analysis for Accelerated Fixed-Point Computation. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Solving Monotone Polynomial Equations. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
On Fixed Point Equations over Commutative Semirings. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
An Extension of Newton's Method to omega -Continuous Semirings. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza |
jMoped: A Test Environment for Java Programs. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Michael Luttenberger, Javier Esparza |
On the convergence of Newton's method for monotone systems of polynomial equations. |
STOC |
2007 |
DBLP DOI BibTeX RDF |
fixed-point equations, formal verification of software, probabilistic pushdown systems, Newton's method |
| 1 | Antonín Kucera, Javier Esparza, Richard Mayr |
Model Checking Probabilistic Pushdown Automata. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf |
Separability in Conflict-Free Petri Nets. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Stefan Schwoon |
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Petr Jancar, Alexander Miller |
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed 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 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Javier Esparza, Jirí Srba |
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza |
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Javier Esparza |
Rewriting Models of Boolean Programs. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Javier Esparza, Tayssir Touili |
Reachability Analysis of Synchronized PA Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Antonín Kucera, Richard Mayr |
Model Checking Probabilistic Pushdown Automata |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stefan Schwoon, Javier Esparza |
A Note on On-the-Fly Verification Algorithms. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza |
jMoped: A Java Bytecode Checker Based on Moped. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Antonín Kucera, Richard Mayr |
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Pierre Ganty, Stefan Schwoon |
Locality-Based Abstractions. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomá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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek |
Reachability Analysis of Multithreaded Software with Asynchronous Communication. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza |
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Antonín Kucera, Richard Mayr |
Model Checking Probabilistic Pushdown Automata. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Kousha Etessami |
Verifying Probabilistic Procedural Programs. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Javier Esparza, Tayssir Touili |
A Generic Approach to the Static Analysis of Concurrent Programs with Procedures. |
Int. J. Found. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Antonín Kucera, Stefan Schwoon |
Model checking LTL with regular valuations for pushdown systems. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Javier Esparza |
A Logical Viewpoint on Process-algebraic Quotients. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alin Stefanescu, Javier Esparza, Anca Muscholl |
Synthesis of Distributed Algorithms Using Asynchronous Automata. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Schröter, Stefan Schwoon, Javier Esparza |
The Model-Checking Kit. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Monika Maidl |
Simple Representative Instantiations for Multicast Protocols. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza |
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Javier Esparza, Tayssir Touili |
A generic approach to the static analysis of concurrent programs with procedures. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems |
| 1 | Javier Esparza |
An Automata-Theoretic Approach to Software Verification. |
Developments in Language Theory |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Römer, Walter Vogler |
An Improvement of McMillan's Unfolding Algorithm. |
Formal Methods in System Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Charles Lakos (eds.) |
Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings |
ICATPN |
2002 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza |
Grammars as Processes. |
Formal and Natural Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza |
An Algebraic Approach to the Static Analysis of Concurrent Software. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Claus Schröter |
Unfolding Based Algorithms for the Reachability Problem. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Olaf Burkart, Javier Esparza |
More Infinite Results. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Antonín Kucera, Stefan Schwoon |
Model-Checking LTL with Regular Valuations for Pushdown Systems. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Claus Schröter |
Net Reductions for LTL Model-Checking. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Keijo Heljanko |
Implementing LTL Model Checking with Net Unfoldings. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza |
Model Checking (with) Declarative Programs. |
PPDP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Schwoon |
A BDD-Based Model Checker for Recursive Programs. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Peter Rossmanith, Stefan Schwoon |
A Uniform Framework for Problems on Context-Free Grammars. |
Bulletin of the EATCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Stephan Melzer |
Verification of Safety Properties Using Integer Programming: Beyond the State Equation. |
Formal Methods in System Design |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Keijo Heljanko |
A New Unfolding Approach to LTL Model Checking. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonor Prensa Nieto, Javier Esparza |
Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Podelski |
Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza |
Verification of Systems with an Infinite State Space. |
MOVEP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon |
Efficient Algorithms for Model Checking Pushdown Systems. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Jancar, Javier Esparza, Faron Moller |
Petri Nets and Regular Processes. |
J. Comput. Syst. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Röckl, Javier Esparza |
Proof-Checking Protocols Using Bisimulations. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Römer |
An Unfolding Algorithm for Synchronous Products of Transition Systems. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Alain Finkel, Richard Mayr |
On the Verification of Broadcast Protocols. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")