Search results for "AVoCS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Michael Goldsmith, Bill Roscoe (eds.)	Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007	AVoCS	2009	DBLP BibTeX RDF
1	Alice Miller 0001, Muffy Calder (eds.)	Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008	AVoCS	2009	DBLP BibTeX RDF
1	Rahul Kumar 0004, Eric G. Mercer	Verifying Communication Protocols Using Live Sequence Chart Specifications.	AVoCS	2008	DBLP DOI BibTeX RDF
1	Toby C. Murray, Gavin Lowe	On Refinement-Closed Security Properties and Nondeterministic Compositions.	AVoCS	2008	DBLP DOI BibTeX RDF
1	Alice Miller 0001, Muffy Calder	Preface.	AVoCS	2008	DBLP DOI BibTeX RDF
1	Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi	Light-Weight SMT-based Model Checking.	AVoCS	2008	DBLP DOI BibTeX RDF
1	Alastair F. Donaldson	Vector Symmetry Reduction.	AVoCS	2008	DBLP DOI BibTeX RDF
1	Heike Wehrheim, Daniel Wonisch	Compositional CSP Traces Refinement Checking.	AVoCS	2008	DBLP DOI BibTeX RDF
1	Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe	CSP-CASL-Prover: A Generic Tool for Process and Data Refinement.	AVoCS	2008	DBLP DOI BibTeX RDF
1	Karim Kanso, Faron Moller, Anton Setzer	Automated Verification of Signalling Principles in Railway Interlocking Systems.	AVoCS	2008	DBLP DOI BibTeX RDF
1	D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe	The Stable Revivals Model in CSP-Prover.	AVoCS	2008	DBLP DOI BibTeX RDF
1	Shamim Ripon, Michael J. Butler	PVS Embedding of cCSP Semantic Models and Their Relationship.	AVoCS	2008	DBLP DOI BibTeX RDF
1	Mohammad Izadi, Ali Movaghar 0001	Compositional Failure-based Equivalence of Constraint Automata.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Tomasz Mazur, Gavin Lowe	Counter Abstraction in the CSP/FDR setting.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Jeremy E. Dawson	Isabelle Theories for Machine Words.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Harald Fecher, Michael Huth 0001, Heiko Schmidt, Jens Schönborn	Refinement Sensitive Formal Semantics of State Machines With Persistent Choice.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Paolo Ballarini, András Horváth	Compositional Model Checking of product-form CTMCs.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Douglas Graham, Muffy Calder, Alice Miller 0001	An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Adam Antonik, Michael Huth 0001	On the Complexity of Semantic Self-minimization.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Michael Goldsmith, Bill Roscoe	Preface.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Lyes Benalycherif, Anthony McIsaac	A Semantic Condition for Data Independence and Applications in Hardware Verification.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Jan Jürjens	Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Rahul Kumar 0004, Eric G. Mercer, Annette Bunker	Improving Translation of Live Sequence Charts to Temporal Logic.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Gavin Lowe	On CSP Refinement Tests That Run Multiple Copies of a Process.	AVoCS	2007	DBLP DOI BibTeX RDF
1	Stephan Merz, Tobias Nipkow (eds.)	Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006	AVoCS	2007	DBLP BibTeX RDF
1	Stephan Merz, Tobias Nipkow	Preface.	AVoCS	2006	DBLP DOI BibTeX RDF
1	Hasan Amjad	Compressing Propositional Refutations.	AVoCS	2006	DBLP DOI BibTeX RDF
1	Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil	Evaluating Complex MAC Protocols for Sensor Networks with APMC.	AVoCS	2006	DBLP DOI BibTeX RDF
1	Dominique Cansell, Dominique Méry	Incremental Parametric Development of Greedy Algorithms.	AVoCS	2006	DBLP DOI BibTeX RDF
1	E. Kleiner, T. Newcomb	On the Decidability of the Safety Problem for Access Control Policies.	AVoCS	2006	DBLP DOI BibTeX RDF
1	Sara Gradara, Antonella Santone, Maria Luisa Villani	Formal Verification of Concurrent Systems via Directed Model Checking.	AVoCS	2006	DBLP DOI BibTeX RDF
1	Nick Moffat, Michael Goldsmith	Assumption-Commitment Support for CSP Model Checking.	AVoCS	2006	DBLP DOI BibTeX RDF
1	Lars-Henrik Eriksson	The GTO Toolset and Method.	AVoCS	2006	DBLP DOI BibTeX RDF
1	Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller	Automatic Verification of Bossa Scheduler Properties.	AVoCS	2006	DBLP DOI BibTeX RDF
1	Alastair F. Donaldson, Alice Miller 0001	Extending Symmetry Reduction Techniques to a Realistic Model of Computation.	AVoCS	2006	DBLP DOI BibTeX RDF
1	Frank Ortmeier, Gerhard Schellhorn	Formal Fault Tree Analysis - Practical Experiences.	AVoCS	2006	DBLP DOI BibTeX RDF
1	Ranko Lazic 0001, Rajagopal Nagarajan (eds.)	Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005	AVoCS	2006	DBLP BibTeX RDF
1	Milan Ceska 0001, Pavel Erlebach, Tomás Vojnar	Pattern-Based Verification of Programs with Extended Linear Linked Data Structures.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind	Automatic Formal Synthesis of Hardware from Higher Order Logic.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Neil Evans, Helen Treharne	Linking Semantic Models to Support CSP \|\| B Consistency Checking.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Ranko Lazic 0001, Rajagopal Nagarajan	Preface.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens	Synthesising Features by Games.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Eun-Young Kang 0001, Stephan Merz	Predicate Diagrams for the Verification of Real-Time Systems.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Nathaniel Charlton	Verification of Java Programs with Interacting Analysis Plugins.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Hosung Song, Kevin J. Compton, William C. Rounds	SPHIN: A model checker for reconfigurable hybrid systems based on SPIN.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Joy N. Reed, A. W. Roscoe 0001, Jane E. Sinclair	Machine-Verifiable Responsiveness.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Tobe Toben, Bernd Westphal	Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Cliff B. Jones	Reasoning About Partial Functions in the Formal Development of Programs.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Hasan Amjad	Verification of AMBA Using a Combination of Model Checking and Theorem Proving.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu	Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools.	AVoCS	2005	DBLP DOI BibTeX RDF
1	Michael Huth 0001 (eds.)	Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004	AVoCS	2005	DBLP BibTeX RDF
1	Cécile Braunstein, Emmanuelle Encrenaz	CTL-Property Transformations Along an Incremental Design Process.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Nils Klarlund, Richard J. Trefler	Regularity Results for FIFO Channels.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Paritosh K. Pandya	Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Marco Gribaudo, András Horváth	Model Checking Functional and Performability Properties of Stochastic Fluid Models.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Wan J. Fokkink, Jun Pang 0001	Simplifying Itai-Rodeh Leader Election for Anonymous Rings.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Michael Huth 0001	Preface.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Franck Cassez, Olivier H. Roux	Structural Translation from Time Petri Nets to Timed Automata.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Jean-François Raskin, Mathias Samuelides, Laurent Van Begin	Games for Counting Abstractions.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Philippa J. Hopcroft, Guy H. Broadfoot	Combining the Box Structure Development Method and CSP for Software Development.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Harald Fecher	Truly Concurrent Logic via In-Between Specification.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Aleksandar S. Dimovski, Ranko Lazic 0001	Software Model Checking Based on Game Semantics and CSP.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny	Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Alastair F. Donaldson, Alice Miller 0001, Muffy Calder	Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham	Efficient Model Checking of Hardware Using Conditioned Slicing.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens	Model-checking the Preservation of Temporal Properties upon Feature Integration.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Xu Wang 0001, Marta Z. Kwiatkowska, Georgios Theodoropoulos 0001, Qianyi Zhang	Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Radu Siminiceanu, Gianfranco Ciardo	Formal Verification of the NASA Runway Safety Monitor.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Christophe Darlot, Alain Finkel, Laurent Van Begin	About Fast and TReX Accelerations.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Armelle Merlin, Gaétan Hains	A Generic Cost Model for Concurrent and Data-parallel Meta-computing.	AVoCS	2004	DBLP DOI BibTeX RDF
1	Lee Momtahan	Towards a Small Model Theorem for Data Independent Systems in Alloy.	AVoCS	2004	DBLP DOI BibTeX RDF

Publications at "AVoCS"( http://dblp.L3S.de/Venues/AVoCS )