The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Safety properties (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-1991 (19) 1992-1994 (21) 1995-1996 (18) 1997-1998 (34) 1999 (21) 2000 (30) 2001 (34) 2002 (38) 2003 (44) 2004 (58) 2005 (75) 2006 (55) 2007 (63) 2008 (73) 2009 (38) 2010-2011 (22) 2012-2014 (20) 2015-2016 (22) 2017-2020 (23) 2021-2022 (13)
Publication types (Num. hits)
article(119) incollection(1) inproceedings(597) phdthesis(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 771 occurrences of 415 keywords

Results
Found 721 publication records. Showing 721 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
48Laura K. Dillon Verifying General Safety Properties of Ada Tasking Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs
46Eran Yahav, G. Ramalingam Verifying safety properties using separation and heterogeneous abstractions. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF typestate verification, verification, program analysis, abstract interpretation, safety properties
42Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand Safety Property Driven Test Generation from. Search on Bibsonomy FATES/RV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF JavaCard, automated testing, black-box testing, safety properties, Java Modeling Language
41Shing-Chi Cheung, Jeff Kramer Checking Safety Properties Using Compositional Reachability Analysis. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF compositional reachability analysis, distributed systems, model checking, static analysis, safety properties
41Zhichen Xu, Barton P. Miller, Thomas W. Reps Safety checking of machine code. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39J. Boulanger, V. Delebarre, Stéphane Natkin, J. Ozello Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems. Search on Bibsonomy HASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Kyo Chul Kang, Kwang-Il Ko Formalization and Verification of Safety Properties of Statechart Specifications. Search on Bibsonomy APSEC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF real-time system, temporal logic, Statecharts, safety property, specification technique, reachability graph
39Orna Kupferman, Robby Lampert On the Construction of Fine Automata for Safety Properties. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Shlomi Dolev, Frank A. Stomp Safety assurance via on-line monitoring. Search on Bibsonomy Distributed Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Distributed systems, Monitors, Safety properties
37Orna Kupferman, Moshe Y. Vardi Model Checking of Safety Properties. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Brian R. Murphy, Vijay Menon 0002, Florian T. Schneider, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai Fault-safe code motion for type-safe languages. Search on Bibsonomy CGO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF safe code motion, safety dependences, speculative code motion, scheduling, code motion, partial redundancy elimination, intermediate representations
35M. Edwin Johnson Model Checking Safety Properties of Servo-Loop Control Systems. Search on Bibsonomy DSN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34John Håkansson, Bengt Jonsson 0001, Ola Lundqvist Generating online test oracles from temporal logic specifications. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
34Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. Search on Bibsonomy SAFECOMP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso 0001 Application of Safety Analyses in Model Driven Development. Search on Bibsonomy SEUS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila Efficient Model Checking of PSL Safety Properties. Search on Bibsonomy ACSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF model checking, safety properties, PSL, NuSMV
33Shing-Chi Cheung, Jeff Kramer Checking Subsystem Safety Properties in Compositional Reachability Analysis. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
32Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. Search on Bibsonomy FASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Jerry R. Burch Verifying Liveness Properties by Verifying Safety Properties. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
31Malay K. Ganai, Aarti Gupta, Pranav Ashar Beyond safety: customized SAT-based model checking. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL
29Andreas Thums, Gerhard Schellhorn Model Checking FTA. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, safety analysis, fault tree analysis
28Xudong He A method for analyzing properties of hierarchical predicate transition nets. Search on Bibsonomy COMPSAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
28Dachuan Yu, Zhong Shao Verification of safety properties for concurrent assembly code. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF local guarantee, concurrency, assembly
28Jon A. Solworth, Robert H. Sloan A Layered Design of Discretionary Access Controls with Decidable Safety Properties. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Mary Sheeran, Satnam Singh, Gunnar Stålmarck Checking Safety Properties Using Induction and a SAT-Solver. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Hiromi Hiraishi Verification of deadlock free property of high level robot control. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties
27Ariel Cohen 0002, Kedar S. Namjoshi Local proofs for global safety properties. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Local proofs, Model checking, Compositionality, Local reasoning
27Huabing Yang, Xingyuan Zhang, Yuanyuan Wang A Correctness Proof of the DSR Protocol. Search on Bibsonomy MSN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Orna Kupferman, Yoad Lustig, Moshe Y. Vardi On Locally Checkable Properties. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Yasuyuki Tsukada Interactive and Probabilistic Proof of Mobile Code Safety. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software verification, proof-carrying code, interactive proof system
26Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar The BLAST Software Verification System. Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis Safety for Branching Time Semantics. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
26Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Thomas Ball, Sriram K. Rajamani Automatically Validating Temporal Safety Properties of Interfaces. Search on Bibsonomy SPIN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso 0001 Model Based Integration of Safety Analysis and Development. Search on Bibsonomy ISORC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Rafael Ramírez 0001 A logical approach for specification and execution of concurrent real-time systems. Search on Bibsonomy RTCSA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF logical approach, concurrent real time system specification, declarative logic programming based language, concurrent real time programming, procedural interpretation, concurrent programming paradigms, kernel language, concurrent real time object oriented framework, correctness, temporal constraints, safety properties, logic programming languages, time requirements
25Jennifer Widom, David Gries, Fred B. Schneider Trace-Based Network Proof Systems: Expressiveness and Completeness. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF trace logics, temporal logics, safety properties, process networks
25Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. Search on Bibsonomy FSTTCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Rely-guarantee specification, transition systems, compositional verification, safety properties, shared variables
25Ulrich Ultes-Nitsche, Simon St. James Testing Liveness Properties: Approximating Liveness Properties by Safety Properties. Search on Bibsonomy FORTE The full citation details ... 2001 DBLP  BibTeX  RDF
25Bengt Jonsson 0001, Lars Kempe Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
24Panagiotis Manolios, Richard J. Trefler A lattice-theoretic characterization of safety and liveness. Search on Bibsonomy PODC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna Simultaneous SAT-Based Model Checking of Safety Properties. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Todd L. Veldhuizen Tradeoffs in metaprogramming. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program generators, metaprogramming, metalanguages
23Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan 0001 Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. Search on Bibsonomy FMOODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Lucio Flavio Vismari, João Batista Camargo Jr. An Absolute-Relative Risk Assessment Methodology Approach to Current Safety Critical Systems and its Application to the ADS-B based Air Traffic Control System. Search on Bibsonomy SRDS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Weihang Wu, Tim Kelly Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve Secure virtual architecture: a safe execution environment for commodity operating systems. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language
23Joseph Kiniry Program Safety via Programmer Safety. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees
23Amit Bhatia, Emilio Frazzoli Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. Search on Bibsonomy HSCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Ariel Cohen 0002, Kedar S. Namjoshi Local Proofs for Global Safety Properties. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23John Cochran, Deepak Kapur, Darko Stefanovic Model Checking Reconfigurable Processor Configurations for Safety Properties. Search on Bibsonomy FPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Peter Thiemann 0001 Enforcing Safety Properties Using Type Specialization. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Julia Padberg, Magdalena Gajewsky, Claudia Ermel Rule-Based Refinement of High-Level Nets Preserving Safety Properties. Search on Bibsonomy FASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
23Jay Ligatti, Lujo Bauer, David Walker Enforcing Non-safety Security Policies with Program Monitors. Search on Bibsonomy ESORICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta Security validation tool for business processes. Search on Bibsonomy SACMAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
22Taehoon Lee, Gihwon Kwon, Hyuksoo Han CTL Model Checking for Boolean Program. Search on Bibsonomy ICCSA (4) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar The software model checker Blast. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model checking, Software verification, Test-case generation, Software specification, Memory safety
21Jing Liu, Josh Dehlinger, Robyn R. Lutz Safety Analysis of Software Product Lines Using State-Based Modeling. Search on Bibsonomy ISSRE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar Checking Memory Safety with Blast. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp How Explicit Are the Barriers to Failure in Safety Arguments? Search on Bibsonomy SAFECOMP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Elvira Albert, Germán Puebla, Manuel V. Hermenegildo Abstract Interpretation-Based Mobile Code Certification. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Fan Guo, Yiyun Chen, RongGui Hu Machine Code Type Safety. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Shlomi Dolev, Frank A. Stomp Safety Assurance via On-Line Monitoring. Search on Bibsonomy ISADS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21D. Essame, Jean Arlat, David Powell Available fail-safe systems. Search on Bibsonomy FTDCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF available fail-safe systems, life critical systems, railway applications, duplex computers, safety constraints, safety degradation, redundancy management mechanisms, fault tolerant computing, redundancy, distributed real-time system, system availability
20Basil Becker, Dirk Beyer 0001, Holger Giese, Florian Klein 0001, Daniela Schilling Symbolic invariant verification for systems with dynamic structural adaptation. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF gormal verification, hraph transformation systems, structural invariants, transition invariants, embedded systems, mechatronics, symbolic algorithms
20Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic
20Grigore Rosu, Feng Chen 0006, Thomas Ball Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. Search on Bibsonomy RV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen Checking safety properties on-the-fly with the sweep-line method. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Sweep-line method, On-the-fly model checking, Datagram Congestion Control Protocol
20David Cachera, Katell Morin-Allory Verification of safety properties for parameterized regular systems. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF regular systems, embedded systems, codesign, Polyhedral model, parameterized systems
20Eran Yahav Verifying safety properties of concurrent Java programs using 3-valued logic. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Java
20Vlad Rusu, Eli Singerman On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. Search on Bibsonomy TACAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Benedikt Nordhoff Security through safety: an approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour. Search on Bibsonomy 2022   RDF
20Parisa Heidari, Hanifa Boucheneb Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF on-the-fly algorithm, reachability properties, time Petri nets, safety properties, controller synthesis
20Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi Hybrid systems: from verification to falsification by combining motion planning and discrete search. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Discrete search, Sampling-based planning, Hybrid system, Decomposition, Safety properties, Nonlinear dynamics, Robot motion planning
20Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model checking, Learning, Labeled transition systems, Compositional verification, Safety properties, Assume-guarantee reasoning, Proof rules
20Emmanuel Hainry Computing Omega-Limit Sets in Linear Dynamical Systems. Search on Bibsonomy UC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF omega-limit set, verification, hybrid systems, Dynamical Systems, safety properties, reachable set
20Fred B. Schneider Enforceable security policies. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF EM security policies, SASI, security policies, proof carrying code, safety properties, security automata, inlined reference monitors
20Sebastián Uchitel, Daniel Yankelevich Enhancing Architectural Mismatch Detection with Assumptions. Search on Bibsonomy ECBS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Verification, Software architectures, Safety Properties, Assumptions
20Martín Abadi, Leslie Lamport Conjoining Specifications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF temporal logic, composition, decomposition, concurrent programming, safety properties, liveness properties, modular specification
20Martín Abadi, Leslie Lamport An Old-Fashined Recipe for Real-Time. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Zeno, real time, temporal logic, composition, concurrent programming, safety properties, liveness properties
20Leslie Lamport The Temporal Logic of Actions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF concurrent programming, safety properties, liveness properties
20A. Udaya Shankar An Introduction to Assertional Reasoning for Concurrent Systems. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF generation of preconditions, leads-to, progress properties, invariants, Hoare logic, weakest preconditions, safety properties, state transition systems, assertional reasoning
20Martín Abadi, Leslie Lamport Composing Specifications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF concurrent programming, compositionality, safety properties, liveness properties, modular specification
20William R. Bevier, Jørgen F. Søgaard-Andersen Mechanically Checked Proofs of Kernel Specification. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF mechanical proof checking, Boyer-Moore Theorem Prover, Kernel, labeled transition systems, safety properties, stepwise development
20Fred B. Schneider, Bard Bloom, Keith Marzullo Putting Time into Proof Outlines. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF concurrent program verification, real-time actions, proof outlines, safety properties, real-time programming, timing properties
20Ninghui Li, William H. Winsborough, John C. Mitchell Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Beverly A. Sanders Data Refinement of Mixed Specifications. Search on Bibsonomy Acta Informatica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Ulrich Ultes-Nitsche Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties. Search on Bibsonomy SOFSEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Jerry R. Burch Verifying Liveness Properties by Verifying Safety Properties. Search on Bibsonomy CAV (DIMACS/AMS volume) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
19Woo Jin Lee, Ho-Jun Kim, Heung Seok Chae Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS. Search on Bibsonomy SEUS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF safety property analysis, LTS, slice model, embedded system
19Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè Using symbolic execution for verifying safety-critical systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF verification, formal methods, C, symbolic execution, safety-critical system
19R. M. Newman Delivering the Correct Multimedia in a Standards Dominated Environment. Search on Bibsonomy EUROMICRO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19George C. Necula, Peter Lee 0001 Safe, Untrusted Agents Using Proof-Carrying Code. Search on Bibsonomy Mobile Agents and Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Lucia Acciai, Michele Boreale Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF behavioural types, safety, decidability, pi-calculus, spatial logic
19Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi Falsification of LTL Safety Properties in Hybrid Systems. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Shinya Umeno, Nancy A. Lynch Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Vlad Rusu, Hervé Marchand, Thierry Jéron Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF symbolic test generation, verification, conformance testing
19Abhay Vardhan, Koushik Sen, Mahesh Viswanathan 0001, Gul Agha Learning to Verify Safety Properties. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Reiner Hähnle, Wojciech Mostowski Verification of Safety Properties in the Presence of Transactions. Search on Bibsonomy CASSIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 721 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license