Search results for "parametric verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva	Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic.	TACAS	2004	DBLP DOI BibTeX RDF	IEEE 1394a standard, root contention protocol, Gurevich abstract state machines, predicate logic, real-time distributed systems, Parametric verification
2	Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri	Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	small model theorem, SecVisor, security, model checking, hypervisor, reference monitor, parametric verification
2	Lin Liu, Jonathan Billington	Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol.	PDCAT	2007	DBLP DOI BibTeX RDF
2	Guy Edward Gallasch, Jonathan Billington	Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.	ATVA	2005	DBLP DOI BibTeX RDF	Stop and Wait Protocols, Symbolic Automata, Language Equivalence, Coloured Petri Nets, Parametric Verification, Symbolic Reachability Graphs
2	Hans Toetenel, R. F. Lutje Spelberg, G. Bandini	Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.	RTCSA	2000	DBLP DOI BibTeX RDF	IEEE 1394a standard, Root Contention protocol, LPMC, PMC model checker, parameter relations, real-time model checking, parameter timing intervals, real-time systems, protocols, formal verification, randomization, telecommunication standards, linear constraints, IEEE standards, parametric verification
2	R. F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel	Experiments with parametric verification of real-time systems.	ECRTS	1999	DBLP DOI BibTeX RDF
1	Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan	Parametric Verification of Address Space Separation.	POST	2012	DBLP DOI BibTeX RDF
1	Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans	PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata.	Mathematics in Computer Science	2011	DBLP DOI BibTeX RDF
1	Laurent Fribourg, Ulrich Kühne	Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method.	RP	2011	DBLP DOI BibTeX RDF
1	Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola	Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics.	Fundam. Inform.	2010	DBLP DOI BibTeX RDF
1	Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski	Update of Probabilistic Beliefs: Implementation and Parametric Verification.	Fundam. Inform.	2010	DBLP DOI BibTeX RDF
1	Anna Dedova, Irina Virbitskaite	Towards Parametric Verification of Prioritized Time Petri Nets.	PaCT	2009	DBLP DOI BibTeX RDF
1	Lin Liu, Jonathan Billington	Recursive Parametric Automata and epsilon-Removal.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF	Parametric Automata, Automata Reduction, Language Equivalence, Protocol Verification
1	Shinya Umeno	Event order abstraction for parametric real-time system verification.	EMSOFT	2008	DBLP DOI BibTeX RDF	automatic timing synthesis, counter-example guided abstraction refinement (cegar), event-based approach, parametric verification
1	André Platzer, Jan-David Quesel	Logical Verification and Systematic Parametric Analysis in Train Control.	HSCC	2008	DBLP DOI BibTeX RDF	logic for hybrid systems, symbolic decomposition, parametric verification
1	Louis-Marie Traonouez, Didier Lime, Olivier H. Roux	Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.	FORMATS	2008	DBLP DOI BibTeX RDF	state-class graph, model-checking, Time Petri nets, parameters, stopwatches
1	Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar	Verification of parametric concurrent systems with prioritised FIFO resource management.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Parameterised verification, Infinite-state system verification, Cut off, Parameterised networks of processes, Model checking, Formal verification, Resource sharing
1	André Platzer	Differential Logic for Reasoning About Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF	hybrid systems, dynamic logic, parametric verification
1	Ahmed Bouajjani, Agathe Merceron	Parametric Verification of a Group Membership Algorithm.	TPLP	2006	DBLP DOI BibTeX RDF
1	Frits W. Vaandrager, Adriaan de Groot	Analysis of a biphase mark protocol with Uppaaland PVS.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Biphase mark protocol, Model checking, Formal methods, Timed automata, Theorem provers
1	Ahmed Bouajjani, Agathe Merceron	Parametric Verification of a Group Membership Algorithm	CoRR	2005	DBLP BibTeX RDF
1	Petr Matousek	Tools for Parametric Verification. A Comparison on a Case Study.	J. UCS	2004	DBLP BibTeX RDF
1	Ahmed Bouajjani, Agathe Merceron	Parametric Verification of a Group Membership Algorithm.	FTRTFT	2002	DBLP DOI BibTeX RDF	parametric counter automata, Formal verification, abstraction, fault-tolerant protocols
1	Mads Dam, Lars-Åke Fredlund	On the verification of open distributed systems.	SAC	1998	DBLP DOI BibTeX RDF	agents, program verification, Erlang, open distributed systems, parametric verification
1	Mads Dam, Lars-Åke Fredlund, Dilian Gurov	Toward Parametric Verification of Open Distributed Systems.	COMPOS	1997	DBLP DOI BibTeX RDF