Search results for "WS1S"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
124	Felix Klaedtke	Decision Procedure for an Extension of WS1S.	CSL	2001	DBLP DOI BibTeX RDF	word languages, weak monadic second-order logic of one successor, WS1S, tree automata
91	Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl	Abstracting WS1S Systems to Verify Parameterized Networks.	TACAS	2000	DBLP DOI BibTeX RDF
91	Jacob Elgaard, Nils Klarlund, Anders Møller	MONA 1.x: New Techniques for WS1S and WS2S.	CAV	1998	DBLP DOI BibTeX RDF
59	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Combining Logic Programs and Monadic Second Order Logics by Program Transformation.	LOPSTR	2002	DBLP DOI BibTeX RDF
59	Kai Baukus, Yassine Lakhnech, Karsten Stahl	Verifying Universal Properties of Parameterized Networks.	FTRTFT	2000	DBLP DOI BibTeX RDF
59	David A. Basin, Stefan Friedrich 0001, Sebastian Mödersheim	B2M: A Semantic Based Tool for BLIF Hardware Descriptions.	FMCAD	2000	DBLP DOI BibTeX RDF
59	Nils Klarlund	A Theory of Restrictions for Logics and Automata.	CAV	1999	DBLP DOI BibTeX RDF
52	Larry J. Stockmeyer, Albert R. Meyer	Cosmological lower bound on the circuit complexity of a small problem in logic.	J. ACM	2002	DBLP DOI BibTeX RDF	WS1S, practical undecidability, computational complexity, lower bound, logic, Circuit complexity, decision problem
40	Arul Ganesh, K. Gopinath	SPKI/SDSI certificate chain discovery with generic constraints.	Bangalore Compute Conf.	2008	DBLP DOI BibTeX RDF	WPDS, certificate chain, validity specification, security, policy, SPKI/SDSI
40	Gulay Ünel, David Toman 0001	Logic Programming Approach to Automata-Based Decision Procedures.	ICLP	2007	DBLP DOI BibTeX RDF
40	Jan-David Quesel, Andreas Schäfer 0001	Spatio-temporal Model Checking for Mobile Real-Time Systems.	ICTAC	2006	DBLP DOI BibTeX RDF	real-time systems, model checking, temporal logic, mobile systems, Duration Calculus, spatial logic
40	Kai Baukus, Yassine Lakhnech, Karsten Stahl	Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.	VMCAI	2002	DBLP DOI BibTeX RDF
32	Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar	Nested antichains for WS1S.	Acta Informatica	2019	DBLP DOI BibTeX RDF
32	Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar	Lazy Automata Techniques for WS1S.	CoRR	2017	DBLP BibTeX RDF
32	Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar	Lazy Automata Techniques for WS1S.	TACAS (1)	2017	DBLP DOI BibTeX RDF
32	Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar	Nested Antichains for WS1S.	CoRR	2015	DBLP BibTeX RDF
32	Loris D'Antoni, Margus Veanes	Symbolic WS1S.	LPAR (short papers)	2015	DBLP DOI BibTeX RDF
32	Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar	Nested Antichains for WS1S.	TACAS	2015	DBLP DOI BibTeX RDF
32	Dmitriy Traytel	A Coalgebraic Decision Procedure for WS1S.	CSL	2015	DBLP DOI BibTeX RDF
32	Sam Owre, Harald Rueß	Integrating WS1S with PVS.	CAV	2000	DBLP DOI BibTeX RDF
32	David A. Basin, Stefan Friedrich 0001	Combining WS1S and HOL.	FroCoS	1998	DBLP BibTeX RDF
32	James Glenn, William I. Gasarch	Implementing WS1S via Finite Automata: Performance Issues.	Workshop on Implementing Automata	1997	DBLP DOI BibTeX RDF
32	James Glenn, William I. Gasarch	Implementing WS1S via Finite Automata.	Workshop on Implementing Automata	1996	DBLP DOI BibTeX RDF
20	Nils Klarlund	Relativizations for the Logic-Automata Connection.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF
20	Felix Klaedtke, Harald Rueß	Monadic Second-Order Logics with Cardinalities.	ICALP	2003	DBLP DOI BibTeX RDF
20	Rodolfo Gómez 0001, Howard Bowman	Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.	FORTE	2003	DBLP DOI BibTeX RDF
20	Klaus Reinhardt	The Complexity of Translating Logic to Finite Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
20	Amir Pnueli	Sticks and stones: a coding scheme for parameterized verification.	PODC	2001	DBLP DOI BibTeX RDF
20	Jacob Elgaard, Anders Møller, Michael I. Schwartzbach	Compile-Time Debugging of C Programs Working on Trees.	ESOP	2000	DBLP DOI BibTeX RDF
20	Nils Klarlund, Anders Møller, Michael I. Schwartzbach	MONA Implementation Secrets.	CIAA	2000	DBLP DOI BibTeX RDF
20	Nils Klarlund	Mona & Fido: The Logic-Automaton Connection in Practice.	CSL	1997	DBLP DOI BibTeX RDF