Search results for "Finite-state verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jianbin Tan, George S. Avrunin, Lori A. Clarke	Managing space for finite-state verification.	ICSE	2006	DBLP DOI BibTeX RDF	FLAVERS, ZDD, BDD, finite-state verification, LTSA
2	Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman	Analyzing medical processes.	ICSE	2008	DBLP DOI BibTeX RDF	medical processes, model checking, finite-state verification, property specifications
2	Stephen F. Siegel, George S. Avrunin	Modeling wildcard-free MPI programs for verification.	PPOPP	2005	DBLP DOI BibTeX RDF	model checking, formal methods, parallel computation, MPI, message passing interface, analysis, deadlock, SPIN, concurrent systems, finite-state verification
2	Stephen F. Siegel, George S. Avrunin	Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	INCA, integer programming, cycles, finite-state verification
2	Lori A. Clarke	Finite state verification: An emerging technology for validating software systems (abstract only).	ISSTA	2000	DBLP DOI BibTeX RDF
2	Radu Iosif	Formal verification applied to Java concurrent software.	ICSE	2000	DBLP DOI BibTeX RDF	Java, concurrency, temporal logic, finite state verification
2	Stephen F. Siegel, George S. Avrunin	Improving the precision of INCA by preventing spurious cycles.	ISSTA	2000	DBLP DOI BibTeX RDF	INCA, integer programming, cycles, finite-state verification
2	James C. Corbett	Using shape analysis to reduce finite-state models of concurrent Java programs.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	Java, modeling, shape analysis, concurrent systems, state-space reductions, finite-state verification, model extraction
2	George S. Avrunin, James C. Corbett, Matthew B. Dwyer	Benchmarking Finite-State Verifiers.	STTT	2000	DBLP DOI BibTeX RDF	Model checking, Benchmarking, Empirical evaluation, Finite-state verification
2	Ugo Montanari, Marco Pistore	Finite State Verification for the Asynchronous pi-Calculus.	TACAS	1999	DBLP DOI BibTeX RDF
2	Matthew B. Dwyer, George S. Avrunin, James C. Corbett	Patterns in Property Specifications for Finite-State Verification.	ICSE	1999	DBLP BibTeX RDF	formal specification, patterns, concurrent systems, finite-state verification
2	Matthew B. Dwyer, George S. Avrunin, James C. Corbett	Property specification patterns for finite-state verification.	FMSP	1998	DBLP DOI BibTeX RDF	formal specification, patterns, concurrent systems, finite-state verification
2	James C. Corbett	Constructing Compact Models of Concurrent Java Programs.	ISSTA	1998	DBLP DOI BibTeX RDF	Java, static analysis, finite-state verification, model extraction
1	Antti Siirtola	Bounds: From Parameterised to Finite-State Verification.	ACSD	2011	DBLP DOI BibTeX RDF
1	Pooja Adhikari, Edward A. Luke, Edward B. Allen	Verification of a Loop Scheduling Protocol using Finite State Verification.	ISCA PDCCS	2009	DBLP BibTeX RDF
1	Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke	Combining symbolic execution with model checking to verify parallel numerical programs.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program
1	Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke	Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Assume-guarantee reasoning
1	John C. Mitchell, Arnab Roy 0001, Paul Rowe, Andre Scedrov	Analysis of EAP-GPSK Authentication Protocol.	ACNS	2008	DBLP DOI BibTeX RDF
1	Stefan Rieger, Thomas Noll	Abstracting Complex Data Structures by Hyperedge Replacement.	ICGT	2008	DBLP DOI BibTeX RDF
1	Lori A. Clarke	Getting the Details Right.	Monterey Workshop	2007	DBLP DOI BibTeX RDF	Requirements engineering, Finite-state verification, Property specifications, Medical Safety
1	Sigrid Gürgens, Carsten Rudolph, Dirk Scheuermann, Marion Atts, Rainer Plaga	Security Evaluation of Scenarios Based on the TCG's TPM Specification.	ESORICS	2007	DBLP DOI BibTeX RDF
1	Shangzhu Wang, George S. Avrunin, Lori A. Clarke	Plug-and-Play Architectural Design and Verification.	WADS	2007	DBLP DOI BibTeX RDF
1	Marco Autili, Paola Inverardi, Patrizio Pelliccione	Graphical scenarios for specifying temporal properties: an automated approach.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Scenario based notation, System requirements specification, Temporal properties specification
1	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
1	Marina Mongiello	Finite-state verification of the ebXML protocol.	Electronic Commerce Research and Applications	2006	DBLP DOI BibTeX RDF
1	Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke	Using model checking with symbolic execution to verify parallel numerical programs.	ISSTA	2006	DBLP DOI BibTeX RDF	model checking, parallel programming, concurrency, MPI, message passing interface, high performance computing, symbolic execution, floating-point, spin, finite state verification, numerical program
1	Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke	Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.	ISSTA	2006	DBLP DOI BibTeX RDF	assume-guarantee reasoning
1	Marco Autili, Paola Inverardi, Patrizio Pelliccione	A scenario based notation for specifying temporal properties.	SCESM	2006	DBLP DOI BibTeX RDF	scenario based notation, system requirements specification, temporal properties specification
1	Shangzhu Wang, George S. Avrunin, Lori A. Clarke	Architectural Building Blocks for Plug-and-Play System Design.	CBSE	2006	DBLP DOI BibTeX RDF
1	Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil	Definition and Analysis of Election Processes.	SPW/ProSim	2006	DBLP DOI BibTeX RDF
1	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
1	Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel L. Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil	Process Programming to Support Medical Safety: A Case Study on Blood Transfusion.	ISPW	2005	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich	Flow analysis for verifying properties of concurrent software systems.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	model checking, Dataflow analysis, finite-state verification
1	Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue	Heuristic-guided counterexample search in FLAVERS.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	FLAVERS, heuristic search, counterexamples
1	Changhua He, John C. Mitchell	Analysis of the 802.11i 4-way handshake.	Workshop on Wireless Security	2004	DBLP DOI BibTeX RDF	4-way handshake, authentication, WLAN, key management, denial-of-service, 802.11i
1	Xiang Fu, Tevfik Bultan, Jianwen Su	Analysis of interacting BPEL web services.	WWW	2004	DBLP DOI BibTeX RDF	synchronizability, web service, model checking, xpath, BPEL, conversation, asynchronous communication, spin
1	Jianbin Tan, George S. Avrunin, Lori A. Clarke	Heuristic-Based Model Refinement for FLAVERS.	ICSE	2004	DBLP DOI BibTeX RDF
1	Stephen F. Siegel, George S. Avrunin	Verification of MPI-Based Software for Scientific Computation.	SPIN	2004	DBLP DOI BibTeX RDF
1	Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan	Towards scalable compositional analysis by refactoring design models.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	refactoring, CCS, compositional analysis, promela
1	Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore	A model-checking verification environment for mobile processes.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	Name-passing process calculi, security, modal logics, transition systems, mobile processes
1	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil	FLAVERS: A finite state verification technique for software systems.	IBM Systems Journal	2002	DBLP BibTeX RDF
1	John Tromp, Paul M. B. Vitányi	A Protocol for Randomized Anonymous Two-process Wait-free Test-and-Set with Finite-state Verification.	SIROCCO	2002	DBLP BibTeX RDF
1	John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby	Foundations of the Bandera Abstraction Tools.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
1	Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto	From Co-algebraic Specifications to Implementation: The Mihda Toolkit.	FMCO	2002	DBLP DOI BibTeX RDF
1	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil	The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.	ICSE	2001	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser	Tool-Supported Program Abstraction for Finite-State Verification.	ICSE	2001	DBLP DOI BibTeX RDF
1	Natalia Ioustinova, Natalia Sidorova	A Transformation of SDL Specifications - A Step towards the Verification.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
1	Natalia Sidorova, Martin Steffen	Embedding Chaos.	SAS	2001	DBLP DOI BibTeX RDF	open reactive systems, Model checking, data-flow analysis, SDL
1	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng	Bandera: extracting finite-state models from Java source code.	ICSE	2000	DBLP DOI BibTeX RDF	Java, model checking, abstract interpretation, program verification, slicing, program specialization, model extraction
1	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil	Verifying properties of process definitions.	ISSTA	2000	DBLP DOI BibTeX RDF
1	Vitaly Shmatikov, John C. Mitchell	Analysis of Abuse-Free Contract Signing.	Financial Cryptography	2000	DBLP DOI BibTeX RDF
1	Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh	Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification.	PASTE	1999	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Bengt Jonsson	On the Existence of Network Invariants for Verifying Parameterized Systems.	Correct System Design	1999	DBLP DOI BibTeX RDF
1	Marsha Chechik, Dimitrie O. Paun	Events in Property Patterns.	SPIN	1999	DBLP DOI BibTeX RDF
1	Antti Valmari, Ilkka Kokkarinen	Unbounded Verification Results by Finite-State Compositional Techniques: 10any States and Beyond.	ACSD	1998	DBLP DOI BibTeX RDF
1	Mauro Pezzè, Richard N. Taylor, Michal Young	Graph Models for Reachability of Concurrent Programs.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	static analysis, process algebra, Ada tasking
1	David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero	An Improved Algorithm for the Evaluation of Fixpoint Expressions.	CAV	1994	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thomas A. Henzinger	Logics and Models of Real Time: A Survey.	REX Workshop	1991	DBLP DOI BibTeX RDF	verification, real time, semantics, Temporal logic, finite-state machines, transition systems
1	Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper	Adding Liveness Properties to Coupled Finite-State Machines.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF