Search results for "infinite-state"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar	Symbolic Algorithms for Infinite-State Games.	CONCUR	2001	DBLP DOI BibTeX RDF
56	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm	06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
56	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm	06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
52	Thomas Mailund	Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.	ICATPN	2002	DBLP DOI BibTeX RDF	Timed Coloured Petri Nets, Infinite-State Systems, State Space Analysis, Reduction Techniques
49	Lee Pike, Steven D. Johnson	The formal verification of a reintegration protocol.	EMSOFT	2005	DBLP DOI BibTeX RDF	infinite-state bounded model-checking, reintegration protocol, real-time, formal verification, infinite-state systems
48	Hsu-Chun Yen	Analysis of Self-Stabilization for Infinite-State Systems.	ICECCS	2001	DBLP DOI BibTeX RDF	Petri net, self-stabilization, Decidability, infinite-state system
47	Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin	Covering sharing trees: a compact data structure for parameterized verification.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Efficient data structures, Heuristics, Static analysis, Constraints, Symbolic model checking, Infinite-state systems
44	Parosh Aziz Abdulla, Aletta Nylén	Better is Better than Well: On Efficient Verification of Infinite-State Systems.	LICS	2000	DBLP DOI BibTeX RDF	lossy channel systems, integral relational automata, model checking, Verification, timed Petri nets, infinite-state systems, broadcast protocols
44	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (eds.)	Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
44	Jérôme Leroux, Grégoire Sutre	Flat counter automata almost everywhere!.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
44	Jörg Bauer 0001, Reinhard Wilhelm	Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
44	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
44	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Lazy Shape Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
42	Tobias Schüle, Klaus Schneider 0001	Bounded model checking of infinite state systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
40	Anne Remke, Boudewijn R. Haverkort, Lucia Cloth	Model Checking Infinite-State Markov Chains.	TACAS	2005	DBLP DOI BibTeX RDF
39	Tatiana Rybina, Andrei Voronkov	A Logical Reconstruction of Reachability.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	reachability analysis, infinite-state systems, model theory, theoretical foundations
39	Jan Friso Groote, Tim A. C. Willemse	A Checker for Modal Formulae for Processes with Data.	FMCO	2003	DBLP DOI BibTeX RDF	First Order Modal -Calculus, First Order Boolean Equation Systems, Data-Dependent Systems, Model Checking, Infinite State Systems, CRL
38	Michael Fisher 0001, Boris Konev, Alexei Lisitsa 0001	Practical Infinite-State Verification with Temporal Reasoning.	VISSAS	2005	DBLP BibTeX RDF
38	Bernard Boigelot	Number-Set Representations for Infinite-State Verification.	VISSAS	2005	DBLP BibTeX RDF
38	Mouad Ben Mamoun, Nihal Pekergin	Model Checking of Infinite State Space Markov Chains by Stochastic Bounds.	ASMTA	2008	DBLP DOI BibTeX RDF
34	Werner Damm, Bengt Jonsson 0001	Eliminating Queues from RT UML Model Representations.	FTRTFT	2002	DBLP DOI BibTeX RDF	RT UML, verification of infinite state systems, protocol verification, Real-time distributed systems
34	Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin	A classification of symbolic transition systems.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms
34	Parosh Aziz Abdulla	Infinite-State Verification: From Transition Systems to Markov Chains.	QEST	2009	DBLP DOI BibTeX RDF	Model Checking, Markov Chains, Program Verification, Infinite-State Systems
33	Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo	Compositional Verification of Infinite State Systems.	ICLP	2003	DBLP DOI BibTeX RDF
33	Sébastien Bardin, Alain Finkel, Jérôme Leroux, Philippe Schnoebelen	Flat Acceleration in Symbolic Model Checking.	ATVA	2005	DBLP DOI BibTeX RDF	verification of infinite-state systems, acceleration, symbolic model checking
33	Abhay Vardhan, Mahesh Viswanathan 0001	Learning to verify branching time properties.	ASE	2005	DBLP DOI BibTeX RDF	CTL, computational learning theory, infinite state systems
33	Pierluigi San Pietro, Zhe Dang	Automatic Verification of Multi-queue Discrete Timed Automata.	COCOON	2003	DBLP DOI BibTeX RDF	infinite-state model-checking, real-time systems, Timed Automata
33	Shuvendu K. Lahiri, Randal E. Bryant	Predicate abstraction with indexed predicates.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction
31	Jochen Eisinger, Felix Klaedtke	Don't care words with an application to the automata-based approach for real addition.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Mixed linear arithmetic over the integers and reals, Verification of infinite-state systems, Decision procedure, Automata theory
31	Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén	SAT-Solving the Coverability Problem for Petri Nets.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Petri nets, unfoldings, coverability, infinite state systems, partial-order methods
31	QingE Wu 0001, Tuo Wang, YongXuan Huang, JiSheng Li	Theory Research on a New Type Fuzzy Automaton.	FSKD	2006	DBLP DOI BibTeX RDF
31	Dennis Dams, Yassine Lakhnech, Martin Steffen	Iterating Transducers.	CAV	2001	DBLP DOI BibTeX RDF
30	Anne Remke, Boudewijn R. Haverkort, Lucia Cloth	A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks.	QEST	2006	DBLP DOI BibTeX RDF
30	Lin Liu 0003, Jonathan Billington	Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification.	ICATPN	2002	DBLP DOI BibTeX RDF	Multimedia Networks and Protocols, Incremental State Space Algorithms, Parameterization, Coloured Petri Nets, Service Definitions
30	Carron Shankland, Jeremy W. Bryans, Lionel Morel	Expressing Iterative Properties Logically in a Symbolic Setting.	AMAST	2004	DBLP DOI BibTeX RDF	formal verification, temporal logics, LOTOS, infinite state systems, symbolic representation
29	Nikola Bogunovic, Edgar Pek	Model Checking Procedures for Infinite State Systems.	ECBS	2006	DBLP DOI BibTeX RDF
28	Tuba Yavuz-Kahveci, Tevfik Bultan	Specification, verification, and synthesis of concurrency control components.	ISSTA	2002	DBLP DOI BibTeX RDF	infinite-state model checking, monitors, specification languages, concurrent programming
28	Saad AlKasabi, Salim Hariri	Performance analysis of a high-speed dynamically reconfigurable LAN.	LCN	1995	DBLP DOI BibTeX RDF	dynamically reconfigurable LAN, reconfigurable switch, highspeed multi-link ring local area network, switch reconfigurability, multi-link ring network, M/M/n, M/D/n, virtual channel occupancy probabilities, infinite state Markov model, finite state Markov model, OPNET tool, packet transfer time, virtual channel flow, performance evaluation, field programmable gate arrays, performance analysis, local area networks, reconfigurable architectures, wormhole routing, network performance, queuing systems, interconnection topologies, system throughput
28	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston	Symbolic Computation of Maximal Probabilistic Reachability.	CONCUR	2001	DBLP DOI BibTeX RDF
27	Alain Finkel, Jérôme Leroux	How to Compose Presburger-Accelerations: Applications to Broadcast Protocols.	FSTTCS	2002	DBLP DOI BibTeX RDF	Presburger model checking, verification, acceleration, infinite-state systems, reachability set
27	Javier Esparza	An Automata-Theoretic Approach to Software Verification.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
27	Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu	Analyzing Fair Parametric Extended Automata.	SAS	2001	DBLP DOI BibTeX RDF
26	Therese Berg, Bengt Jonsson 0001, Harald Raffelt	Regular Inference for State Machines Using Domains with Equality Tests.	FASE	2008	DBLP DOI BibTeX RDF
26	Tobias Schüle, Klaus Schneider 0001	Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems.	SEFM	2004	DBLP DOI BibTeX RDF
26	Bengt Jonsson 0001, Marcus Nilsson	Transitive Closures of Regular Relations for Verifying Infinite-State Systems.	TACAS	2000	DBLP DOI BibTeX RDF
25	Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea (eds.)	Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop "Verification of Infinite State Systems with Applications to Security VISSAS 2005", Timisoara, Romania, March 17-22, 2005	VISSAS	2006	DBLP BibTeX RDF
25	Viktor Schuppan, Armin Biere	Liveness Checking as Safety Checking for Infinite State Spaces.	INFINITY	2005	DBLP DOI BibTeX RDF
25	Anatol Slissenko	Probability and Time in Measuring Security.	VISSAS	2005	DBLP BibTeX RDF
25	Jeannette M. Wing	Scenario Graphs Applied to Security (Extended Abstract).	VISSAS	2005	DBLP BibTeX RDF
25	Marko Samer, Helmut Veith	From Temporal Logic Queries to Vacuity Detection.	VISSAS	2005	DBLP BibTeX RDF
25	Ahmed Bouajjani	Regular Model Checking for Programs with Dynamic Memory.	VISSAS	2005	DBLP BibTeX RDF
25	Doron A. Peled	Automatic Test Generation and Monitoring of Infinite States Systems.	VISSAS	2005	DBLP BibTeX RDF
25	Dan C. Marinescu, Gabriela M. Marinescu	Quantum States and Quantum Measurements.	VISSAS	2005	DBLP BibTeX RDF
25	Tayssir Touili	Dealing with Communication for Dynamic Multithreaded Recursive Programs.	VISSAS	2005	DBLP BibTeX RDF
25	Catalin Dima	A Class of Automata for Computing Reachability Relations in Timed Systems.	VISSAS	2005	DBLP BibTeX RDF
25	Edmund M. Clarke, Himanshu Jain, Nishant Sinha 0001	Grand Challenge: Model Check Software.	VISSAS	2005	DBLP BibTeX RDF
25	Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu	Decidability and Complexity Results for Security Protocols.	VISSAS	2005	DBLP BibTeX RDF
25	René Peralta 0001	Cryptographic Primitives Can Be Fragile.	VISSAS	2005	DBLP BibTeX RDF
25	Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn	Automatic Verification of Security Properties Based on Abstractions.	VISSAS	2005	DBLP BibTeX RDF
25	Philippe Schnoebelen	Preface: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003.	INFINITY	2003	DBLP DOI BibTeX RDF
25	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
24	Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001	INFAMY: An Infinite-State Markov Model Checker.	CAV	2009	DBLP DOI BibTeX RDF
24	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.	CADE	2007	DBLP DOI BibTeX RDF
24	Nir Piterman, Moshe Y. Vardi	Global Model-Checking of Infinite-State Systems.	CAV	2004	DBLP DOI BibTeX RDF
24	Peter J. Robinson 0001, Carron Shankland	Combating Infinite State Using Ergo.	FORTE	2003	DBLP DOI BibTeX RDF
24	Tatiana Rybina, Andrei Voronkov	Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture).	CSL	2003	DBLP DOI BibTeX RDF
24	Alexander Ost, Boudewijn R. Haverkort	Analysis of windowing mechanisms with infinite-state stochastic Petri nets.	SIGMETRICS Perform. Evaluation Rev.	1998	DBLP DOI BibTeX RDF	window flow control, congestion control, stochastic Petri nets, matrix-geometric methods
24	Tevfik Bultan, Richard Gerber 0001, William W. Pugh	Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.	CAV	1997	DBLP DOI BibTeX RDF
24	Søren Christensen	Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems.	CONCUR	1992	DBLP DOI BibTeX RDF
24	Antonín Kucera 0001, Philippe Schnoebelen	A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications.	CONCUR	2004	DBLP DOI BibTeX RDF
24	Alin Deutsch, Richard Hull 0001, Fabio Patrizi, Victor Vianu	Automatic verification of data-centric business processes.	ICDT	2009	DBLP DOI BibTeX RDF
24	Frédéric Herbreteau, Grégoire Sutre, The Quang Tran	Unfolding Concurrent Well-Structured Transition Systems.	TACAS	2007	DBLP DOI BibTeX RDF
24	Takayuki Osogami, Adam Wierman, Mor Harchol-Balter, Alan Scheller-Wolf	A recursive analysis technique for multi-dimensionally infinite Markov chains.	SIGMETRICS Perform. Evaluation Rev.	2004	DBLP DOI BibTeX RDF
23	Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu	A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.	TACAS	2007	DBLP DOI BibTeX RDF
21	Parosh Aziz Abdulla, Mats Kindahl	Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract).	CONCUR	1995	DBLP DOI BibTeX RDF
21	Antonín Kucera 0001, Richard Mayr	Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time.	CONCUR	1999	DBLP DOI BibTeX RDF
21	Saddek Bensalem, Yassine Lakhnech, Sam Owre	Computing Abstractions of Infinite State Systems Compositionally and Automatically.	CAV	1998	DBLP DOI BibTeX RDF
21	Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi	On the verification problem for weak memory models.	POPL	2010	DBLP DOI BibTeX RDF	lossy channel systems, program verification, infinite state systems, relaxed memory models
21	Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen	Time-Bounded Reachability in Tree-Structured QBDs by Abstraction.	QEST	2009	DBLP DOI BibTeX RDF	Applications, Abstraction, Probabilistic model checking, Infinite-state systems
21	Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar	Verification of parametric concurrent systems with prioritised FIFO resource management.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Parameterised verification, Infinite-state system verification, Cut off, Parameterised networks of processes, Model checking, Formal verification, Resource sharing
21	Martin Fränzle, Christian Herde	HySAT: An efficient proof engine for bounded model checking of hybrid systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Verification, Hybrid systems, Satisfiability, Decision procedures, Bounded model checking, Infinite-state systems
21	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	A fixpoint calculus for local and global program flows.	POPL	2006	DBLP DOI BibTeX RDF	infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
21	Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson 0001	Using Forward Reachability Analysis for Verification of Lossy Channel Systems.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	model checking, automata, protocol verification, infinite-state systems
21	Suman Roy 0001	Symbolic Verification of Infinite Systems using a Finite Union of DFAs.	SEFM	2004	DBLP DOI BibTeX RDF	Symbolic Verification, Accelerations, DFA, Infinite State Systems, FIFO queues
21	Mathieu Hilaire	Parity games and reachability in infinite-state systems with parameters. (Jeux de parité et problème d'accessibilité dans des systèmes à infinité d'états avec paramètres).		2022	RDF
21	Salvatore La Torre, P. Madhusudan, Gennaro Parlato	An Infinite Automaton Characterization of Double Exponential Time.	CSL	2008	DBLP DOI BibTeX RDF
21	Laura Bozzelli	Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties.	VMCAI	2005	DBLP DOI BibTeX RDF
21	Luca de Alfaro, Thomas A. Henzinger	Concurrent Omega-Regular Games.	LICS	2000	DBLP DOI BibTeX RDF
21	Adrian J. Isles, Ramin Hojati, Robert K. Brayton	Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory.	CAV	1998	DBLP DOI BibTeX RDF
20	Robert J. Hall 0001	Rteq: modeling and validating infinite-state hard-real-time systems.	ASE	2007	DBLP DOI BibTeX RDF	GSTView, ISAT, OMML, openmodel, validation, reactive system, hard real time
20	Tevfik Bultan, Constance L. Heitmeyer	Analyzing tabular requirements specifications using infinite state model checking.	MEMOCODE	2006	DBLP DOI BibTeX RDF
20	Matteo Slanina, Henny B. Sipma, Zohar Manna	Proving ATL* Properties of Infinite-State Systems.	ICTAC	2006	DBLP DOI BibTeX RDF
20	Randal E. Bryant	Formal Verification of Infinite State Systems Using Boolean Methods.	LICS	2006	DBLP DOI BibTeX RDF
20	Bertrand Jeannet, Thierry Jéron, Vlad Rusu	Model-Based Test Selection for Infinite-State Reactive Systems.	FMCO	2006	DBLP DOI BibTeX RDF
20	Thierry Jéron	Model-Based Test Selection for Infinite State Reactive Systems.	DIPES	2006	DBLP DOI BibTeX RDF
20	Jesse D. Bingham, Alan J. Hu	Empirically Efficient Verification for a Class of Infinite-State Systems.	TACAS	2005	DBLP DOI BibTeX RDF
20	Ahmed Bouajjani	Verification of Infinite State Systems (Tutorial).	CSL	2003	DBLP DOI BibTeX RDF
20	Marsha Chechik, Benet Devereux, Arie Gurfinkel	Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
20	Ahmed Bouajjani, Rachid Echahed, Peter Habermehl	Verifying Infinite State Processes with Sequential and Parallel Composition.	POPL	1995	DBLP DOI BibTeX RDF
20	Mads Dam	Compositional Proof Systems for Model Checking Infinite State Processes.	CONCUR	1995	DBLP DOI BibTeX RDF