Search results for "infinite-state"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Dexter Kozen	Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra.	STACS	2001	DBLP DOI BibTeX RDF
19	Axel Legay	T(O)RMC: A Tool for (omega)-Regular Model Checking.	CAV	2008	DBLP DOI BibTeX RDF
19	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Using Language Inference to Verify Omega-Regular Properties.	TACAS	2005	DBLP DOI BibTeX RDF
19	Giorgio Delzanno	Constraint-Based Verification of Parameterized Cache Coherence Protocols.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	constraints, abstractions, symbolic model checking, cache coherence protocols
19	Parosh Aziz Abdulla, Bengt Jonsson 0001, Mats Kindahl, Doron A. Peled	A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract).	CAV	1998	DBLP DOI BibTeX RDF
18	Detlef Kähler, Ralf Küsters, Tomasz Truderung	Infinite State AMC-Model Checking for Cryptographic Protocols.	LICS	2007	DBLP DOI BibTeX RDF
18	Stefan Leue, Alin Stefanescu, Wei Wei 0015	A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.	CONCUR	2006	DBLP DOI BibTeX RDF
18	Stefan Göller, Markus Lohrey	Infinite State Model-Checking of Propositional Dynamic Logics.	CSL	2006	DBLP DOI BibTeX RDF
18	Tobias Schüle, Klaus Schneider 0001	Bounded model checking of infinite state systems: exploiting the automata hierarchy.	MEMOCODE	2004	DBLP DOI BibTeX RDF
18	Oscar H. Ibarra	Automata-Theoretic Techniques for Analyzing Infinite-State Systems.	CIAA	2004	DBLP DOI BibTeX RDF
18	Gaoyan Xie, Zhe Dang, Oscar H. Ibarra	A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems.	ICALP	2003	DBLP DOI BibTeX RDF
18	Tatiana Rybina, Andrei Voronkov	Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
18	Antonín Kucera 0001, Petr Jancar	Equivalence-Checking with Infinite-State Systems: Techniques and Results.	SOFSEM	2002	DBLP DOI BibTeX RDF
18	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Verification of Sets of Infinite State Processes Using Program Transformation.	LOPSTR	2001	DBLP DOI BibTeX RDF
18	Oscar H. Ibarra, Tevfik Bultan, Jianwen Su	Reachability Analysis for Some Models of Infinite-State Transition Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
18	David A. Basin	Lazy Infinite-State Analysis of Security Protocols.	CQRE	1999	DBLP DOI BibTeX RDF
18	Witold Charatonik, Andreas Podelski	Set-Based Analysis of Reactive Infinite-State Systems.	TACAS	1998	DBLP DOI BibTeX RDF
18	Jürgen Dingel, Thomas Filkorn	Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving.	CAV	1995	DBLP DOI BibTeX RDF
18	Thierry Jéron, Hervé Marchand, Vlad Rusu	Symbolic Determinisation of Extended Automata.	IFIP TCS	2006	DBLP DOI BibTeX RDF	symbolic automata, determinisation
18	Constantinos Bartzis, Tevfik Bultan	Widening Arithmetic Automata.	CAV	2004	DBLP DOI BibTeX RDF
18	Abhik Roychoudhury, C. R. Ramakrishnan 0001	Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
18	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	Model Checking Linear Properties of Prefix-Recognizable Systems.	CAV	2002	DBLP DOI BibTeX RDF
18	Supratik Mukhopadhyay, Andreas Podelski	An Algebraic Framework for Abstract Model Checking.	SARA	2002	DBLP DOI BibTeX RDF
17	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald	Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.	TACAS	2003	DBLP DOI BibTeX RDF
17	Antonín Kucera 0001	On Simulation-Checking with Sequential Systems.	ASIAN	2000	DBLP DOI BibTeX RDF
17	Pierre Wolper, Bernard Boigelot	Verifying Systems with Infinite but Regular State Spaces.	CAV	1998	DBLP DOI BibTeX RDF
17	Antonín Kucera 0001, Philippe Schnoebelen	A general approach to comparing infinite-state systems with their finite-state specifications.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
17	Ratnesh Kumar 0001, Vijay K. Garg	On computation of state avoidance control for infinite state systems in assignment program framework.	IEEE Trans Autom. Sci. Eng.	2005	DBLP DOI BibTeX RDF
17	Winfried K. Grassmann, Daniel P. Heyman	Computation of Steady-State Probabilities for Infinite-State Markov Chains with Repeating Rows.	INFORMS J. Comput.	1993	DBLP DOI BibTeX RDF
16	Marcelo P. Fiore, Martín Abadi	Computing Symbolic Models for Verifying Cryptographic Protocols.	CSFW	2001	DBLP DOI BibTeX RDF
16	Parosh Aziz Abdulla, Bengt Jonsson 0001	Verifying Networks of Timed Processes (Extended Abstract).	TACAS	1998	DBLP DOI BibTeX RDF
16	Amir Pnueli	Abstraction for Liveness.	VMCAI	2005	DBLP DOI BibTeX RDF
16	Samik Basu 0001, Madhavan Mukund, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Rakesh M. Verma	Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.	ICLP	2001	DBLP DOI BibTeX RDF
16	André Arnold	Synchronized Products of Transition Systems and Their Analysis.	ICATPN	1998	DBLP DOI BibTeX RDF
15	Abhay Vardhan, Mahesh Viswanathan 0001	LEVER: A Tool for Learning Based Verification.	CAV	2006	DBLP DOI BibTeX RDF
15	Yoshinao Isobe, Markus Roggenbach	A Generic Theorem Prover of CSP Refinement.	TACAS	2005	DBLP DOI BibTeX RDF
15	Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia	Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions.	CAV	2002	DBLP DOI BibTeX RDF
15	Wolfgang Thomas	A Short Introduction to Infinite Automata.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
15	Robert Glück, Michael Leuschel	Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
15	Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp	Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming
15	Tetsuya Takine	Mean Buffer Contents in Discrete-Time Single-Server Queues with Heterogeneous Sources.	Queueing Syst. Theory Appl.	2005	DBLP DOI BibTeX RDF	mean buffer contents, Markovian sources, autoregressive sources, greedy sources, M/G/?, input sources, discrete-time queue
15	Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp	Application of design for verification with concurrency controllers to air traffic control software.	ASE	2005	DBLP DOI BibTeX RDF	model checking, synchronization, design patterns, interfaces, concurrent programming
15	Bernard Boigelot, Axel Legay, Pierre Wolper	Omega-Regular Model Checking.	TACAS	2004	DBLP DOI BibTeX RDF
15	Beata Sarna-Starosta, C. R. Ramakrishnan 0001	Constraint-Based Model Checking of Data-Independent Systems.	ICFEM	2003	DBLP DOI BibTeX RDF
15	Giorgio Delzanno, Jean-François Raskin	Symbolic Representation of Upward-Closed Sets.	TACAS	2000	DBLP DOI BibTeX RDF
15	Nimrod Bayer, Yaakov Kogan	Branching/queueing networks: Their introduction and near-decomposability asymptotics.	Queueing Syst. Theory Appl.	1997	DBLP DOI BibTeX RDF	nearly complete decomposability, closed queueing networks, branching processes
14	Juha Leino 0002, Jorma T. Virtamo	An approximative method for calculating performance measures of Markov processes.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	performance evaluation, approximation, Markov processes
14	Petr Jancar, Antonín Kucera 0001, Richard Mayr	Deciding Bisimulation-Like Equivalences with Finite-State Processes.	ICALP	1998	DBLP DOI BibTeX RDF
13	Raúl Monroy, Alan Bundy, Ian Green	On Process Equivalence = Equation Solving in CCS.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Unique fixpoint induction, Equational verification Calculus of communicating systems
13	Geoffrey M. Brown, Lee Pike	Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols.	MEMOCODE	2007	DBLP DOI BibTeX RDF
13	Sudipta Kundu, Sorin Lerner, Rajesh Gupta 0001	Automated refinement checking of concurrent systems.	ICCAD	2007	DBLP DOI BibTeX RDF
13	Thomas W. Reps, Akash Lal, Nicholas Kidd	Program Analysis Using Weighted Pushdown Systems.	FSTTCS	2007	DBLP DOI BibTeX RDF
13	Kousha Etessami, Mihalis Yannakakis	Recursive Concurrent Stochastic Games.	ICALP (2)	2006	DBLP DOI BibTeX RDF
13	Sagar Chaki	SAT-Based Software Certification.	TACAS	2006	DBLP DOI BibTeX RDF
13	A. Prasad Sistla, Min Zhou	Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.	FORTE	2005	DBLP DOI BibTeX RDF
13	Jeremy Sproston	Model Checking for Probabilistic Timed Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
13	Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson 0001	Reasoning about Probabilistic Lossy Channel Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
13	Tevfik Bultan, Richard Gerber 0001, William W. Pugh	Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	abstract interpretation, symbolic model checking, Presburger arithmetic
13	Hassen Saïdi, Natarajan Shankar	Abstract and Model Check While You Prove.	CAV	1999	DBLP DOI BibTeX RDF
13	Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers	Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation.	CAV	1999	DBLP DOI BibTeX RDF
13	Tevfik Bultan, Richard Gerber 0001, Christopher League	Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.	ISSTA	1998	DBLP DOI BibTeX RDF
13	Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar	Symbolic Model Checking with Rich ssertional Languages.	CAV	1997	DBLP DOI BibTeX RDF
13	Henny Sipma, Tomás E. Uribe, Zohar Manna	Deductive Model Checking.	CAV	1996	DBLP DOI BibTeX RDF
13	Richard Mayr	Weak Bisimulation and Model Checking for Basic Parallel Processes.	FSTTCS	1996	DBLP DOI BibTeX RDF	Basic Parallel Processes, model checking, bisimulation
13	Arnold L. Rosenberg	State.	Essays in Memory of Shimon Even	2006	DBLP DOI BibTeX RDF
13	Philippe Heim, Rayna Dimitrova	Solving Infinite-State Games via Acceleration.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
13	Rance Cleaveland, Jeroen J. A. Keiren	Extensible Proof Systems for Infinite-State Systems.	ACM Trans. Comput. Log.	2024	DBLP DOI BibTeX RDF
13	Isaac Grosof, Siva Theja Maguluri, R. Srikant 0001	Convergence for Natural Policy Gradient on Infinite-State Average-Reward Markov Decision Processes.	CoRR	2024	DBLP DOI BibTeX RDF
13	Liangda Fang, Meihong Yang, Dingliang Cheng, Yunlai Hao, Quanlong Guan, Liping Xiong	Generalized Strategy Synthesis of Infinite-state Impartial Combinatorial Games via Exact Binary Classification.	AAMAS	2024	DBLP BibTeX RDF
13	Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano 0001	LTL Synthesis on Infinite-State Arenas defined by Programs.	CoRR	2023	DBLP DOI BibTeX RDF
13	Philippe Heim, Rayna Dimitrova	Solving Infinite-State Games via Acceleration.	CoRR	2023	DBLP DOI BibTeX RDF
13	Saghar Adler, Vijay G. Subramanian	Bayesian Learning of Optimal Policies in Markov Decision Processes with Countably Infinite State-Space.	CoRR	2023	DBLP DOI BibTeX RDF
13	A. R. Balasubramanian	Parameterized Verification of Coverability in Infinite State Broadcast Networks.	CoRR	2023	DBLP DOI BibTeX RDF
13	Joshua Jeppson, Matthias Volk 0001, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng 0001, Chris Winstead, Zhen Zhang 0006	STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.	QEST	2023	DBLP DOI BibTeX RDF
13	Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo	A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
13	Luca Geatti, Alessandro Gianola, Nicola Gigante	Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract).	TIME	2023	DBLP DOI BibTeX RDF
13	Nezha Maamri, Jean-Claude Trigeassou	Modeling and Characterization of a Fractional Lorenz Chaotic Variant with the Infinite State Representation.	ICSC	2023	DBLP DOI BibTeX RDF
13	Saghar Adler, Vijay G. Subramanian	Bayesian Learning of Optimal Policies in Markov Decision Processes with Countably Infinite State-Space.	NeurIPS	2023	DBLP BibTeX RDF
13	Okan Özkan	Resilience of Graph Transformation Systems: Modeling Adverse Conditions and Infinite-state Verification		2023	RDF
13	Mohammad Ahmadi, Zhen Zhang 0006, Chris J. Myers, Chris Winstead, Hao Zheng 0001	Counterexample Generation for Infinite-State Chemical Reaction Networks.	CoRR	2022	DBLP DOI BibTeX RDF
13	Jeroen J. A. Keiren, Rance Cleaveland	Extensible Proof Systems for Infinite-State Systems.	CoRR	2022	DBLP DOI BibTeX RDF
13	Alessandro Cimatti, Alberto Griggio, Enrico Magnago	LTL falsification in infinite-state systems.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
13	Nezha Maamri, Jean-Claude Trigeassou	Modelling and initialization of fractional order nonlinear systems: the infinite state approach.	ICSC	2022	DBLP DOI BibTeX RDF
13	Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang 0006	STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking.	VMCAI	2022	DBLP DOI BibTeX RDF
13	Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham	Temporal prophecy for proving temporal properties of infinite-state systems.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
13	Stanly Samuel, Deepak D'Souza, Raghavan Komondoor	GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces.	CoRR	2021	DBLP BibTeX RDF
13	Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham	Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems.	CoRR	2021	DBLP BibTeX RDF
13	Okan Özkan	Infinite-state graph transformation systems under adverse conditions.	it Inf. Technol.	2021	DBLP DOI BibTeX RDF
13	A. R. Balasubramanian	Parameterized verification of coverability in infinite state broadcast networks.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
13	Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil	Sound Verification Procedures for Temporal Properties of Infinite-State Systems.	CAV (2)	2021	DBLP DOI BibTeX RDF
13	Alessandro Cimatti, Alberto Griggio, Enrico Magnago	Automatic Discovery of Fair Paths in Infinite-State Transition Systems.	ATVA	2021	DBLP DOI BibTeX RDF
13	Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta	Assumption-Based Runtime Verification of Infinite-State Systems.	RV	2021	DBLP DOI BibTeX RDF
13	Stanly Samuel, Deepak D'Souza, Raghavan Komondoor	GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
13	Michael Blondin, Christoph Haase, Philip Offtermatt	Directed Reachability for Infinite-State Systems.	TACAS (2)	2021	DBLP DOI BibTeX RDF
13	Alessandro Cimatti, Alberto Griggio, Enrico Magnago	Proving the Existence of Fair Paths in Infinite-State Systems.	VMCAI	2021	DBLP DOI BibTeX RDF
13	Antti Pakonen	Model-checking infinite-state nuclear safety I&C systems with nuXmv.	INDIN	2021	DBLP DOI BibTeX RDF
13	Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar	Abstraction refinement and antichains for trace inclusion of infinite state systems.	Formal Methods Syst. Des.	2020	DBLP DOI BibTeX RDF
13	Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen	Synthesis of Infinite-State Systems with Random Behavior.	CoRR	2020	DBLP BibTeX RDF
13	Michael Blondin, Christoph Haase, Philip Offtermatt	Directed Reachability for Infinite-State Systems.	CoRR	2020	DBLP BibTeX RDF
13	Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen	Synthesis of Infinite-State Systems with Random Behavior.	ASE	2020	DBLP DOI BibTeX RDF