Search results for "safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe	An Intelligent Safety Verification Based on a Paraconsistent Logic Program.	KES (2)	2005	DBLP DOI BibTeX RDF	EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), paraconsistent logic program, intelligent control, safety verification
28	Aristotelis B. Alexopoulos, Nikolaos Konstantopoulos	New elements in international maritime standards: Developing a safety case approach for the treatment of tanker incidents.	Oper. Res.	2004	DBLP DOI BibTeX RDF	Tanker incidents, risk-based techniques, new rule-making culture, safety case approach
28	Qing Xu 0007, Tony K. Mak, Jeff Ko, Raja Sengupta 0002	Vehicle-to-vehicle safety messaging in DSRC.	Vehicular Ad Hoc Networks	2004	DBLP DOI BibTeX RDF	communications (DSRC), dedicated short range, vehicle safety systems, medium access control, ad-hoc wireless networks
28	Jürgen Dingel, Hongzhi Liang	Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	TXL, VeriSoft, past-time linear temporal logic, software model checking, safety analysis, source code transformation, run-time monitoring
28	Philippe A. Palanque, Floor Koornneef, Chris W. Johnson 0001, Gerd Szwillus, Peter C. Wright	Safety-critical interaction: usability in incidents and accidents.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	usability, reliability, safety critical systems, human error
28	Eran Yahav, G. Ramalingam	Verifying safety properties using separation and heterogeneous abstractions.	PLDI	2004	DBLP DOI BibTeX RDF	typestate verification, verification, program analysis, abstract interpretation, safety properties
28	Jorge Rady de Almeida Jr., João Batista Camargo Jr., Bruno Abrantes Basseto, Sérgio Miranda Paz	Best Practices in Code Inspection for Safety-Critical Software.	IEEE Softw.	2003	DBLP DOI BibTeX RDF	inspection checklist, safety-critical software, code inspection
28	Koushik Sen, Grigore Rosu, Gul Agha	Runtime safety analysis of multithreaded programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	JMPaX, Java, runtime monitoring, safety analysis, LTL, vector clock, multithreaded program, predictive analysis
28	Giuseppe Mantovani, Luciano Gamberini, Massimiliano Martinelli, Diego Varotto	Exploring the Suitability of Virtual Environments for Safety Training: Signals, Norms and Ambiguity in a Simulated Emergency Escape.	Cogn. Technol. Work.	2001	DBLP DOI BibTeX RDF	Virtual environments, Training, Safety, Signals, Social norms
28	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	An Automatic SPIN Validation of a Safety Critical Railway Control System.	DSN	2000	DBLP DOI BibTeX RDF	dependable protocols, model checking, formal verification, safety-critical systems
28	Masakazu Soshi	Safety Analysis of the Dynamic-Typed Access Matrix Model.	ESORICS	2000	DBLP DOI BibTeX RDF	access matrix model, safety problem, computational complexity, access control, decidability
28	Raghu Singh	A Systematic Approach to Software Safety.	APSEC	1999	DBLP DOI BibTeX RDF	security, reliability, safety, Quality attributes, quality metrics, quality factors, quality criteria
28	Norman E. Fenton, Martin Neil	A Strategy for Improving Safety Related Software Engineering Standards.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	IEC1508, measurement, prediction, Standards, assessment, safety-critical
28	David Abrahams	Exception-Safety in Generic Components.	Generic Programming	1998	DBLP DOI BibTeX RDF	exception-safety, C++, exceptions, STL
28	Gerald Kotonya, Ian Sommerville	Integrating safety analysis and requirements engineering.	APSEC	1997	DBLP DOI BibTeX RDF	viewpoint-based, formal specification, requirements engineering, safety analysis, system requirements, system failures
28	Jean-Luis Dufour	Safety computations in integrated circuits.	VTS	1996	DBLP DOI BibTeX RDF	safety computations, software-based railway control systems, MATRA TRANSPORT, signature checking, coded processor, reliability, fault tolerant computing, logic testing, redundancy, integrated circuit testing, error correction codes, automatic testing, application specific integrated circuits, ASICs, integrated circuits, coprocessors, arithmetic coding, integrated circuit reliability
28	Jonathan Jacky	Specifying a Safety-Critical Control System in Z.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	cyclotron, Formal specification, safety, Z, process control, medical applications, radiation therapy
28	Laura K. Dillon	Verifying General Safety Properties of Ada Tasking Programs.	IEEE Trans. Software Eng.	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
27	Cindy Eisner, Dana Fisman, John Havlicek	A topological characterization of weakness.	PODC	2005	DBLP DOI BibTeX RDF	safety component, semantically weak and strong formulas, syntactically weak and strong formulas, temporal weakness and strength, weak and strong components, safety, liveness
27	Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer	CCured in the real world.	PLDI	2003	DBLP DOI BibTeX RDF	compatibility with library code, run-time type information, C, type safety, memory safety
27	Luke Emmet, George Cleland	Graphical notations, narratives and persuasion: a Pliant Systems approach to Hypertext Tool Design.	Hypertext	2002	DBLP DOI BibTeX RDF	hypertext argumentation, pliant systems, safety related systems, usability, technology adoption, field experience, graphical notation, safety cases
27	Henrik Theiling	Extracting safe and precise control flow from binaries.	RTCSA	2000	DBLP DOI BibTeX RDF	safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach
27	Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor	Formal Methods Pilot Project.	APSEC	1996	DBLP DOI BibTeX RDF	safety-related software development, SVRC Cogito methodology, mathematical consistency checks, formal specification, formal specification, formal methods, validation, hazard analysis, collaborative project, safety requirements, pilot project
27	Radu Negulescu, Janusz A. Brzozowski	Relative liveness: from intuition to automated verification.	ASYNC	1995	DBLP DOI BibTeX RDF	relative liveness, finite trace theory, safety condition, hierarchical verification theorems, program verification, safety, multiprocessing systems, automata, finite automata, liveness, equivalence, multiprocessing programs, automated verification
26	Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta	Runtime Verification of C Memory Safety.	RV	2009	DBLP DOI BibTeX RDF
26	Chang-an Shao, Qiang Wu, Guan Xin	The Research on Safety Monitoring System of Coal Mine Based on Spatial Data Mining.	WKDD	2009	DBLP DOI BibTeX RDF
26	Alexei Sharpanskykh, Sybert H. Stroeve	An Agent-Based Approach to Modeling and Analysis of Safety Culture in Air Traffic.	CSE (4)	2009	DBLP DOI BibTeX RDF
26	Julien Delange, Laurent Pautet, Peter H. Feiler	Validating Safety and Security Requirements for Partitioned Architectures.	Ada-Europe	2009	DBLP DOI BibTeX RDF
26	Dominik Domis, Mario Trapp	Component-Based Abstraction in Fault Tree Analysis.	SAFECOMP	2009	DBLP DOI BibTeX RDF
26	Jennifer Black, Philip Koopman	Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems.	PRDC	2008	DBLP DOI BibTeX RDF
26	Rudolf Ertlmeier, Paul Spannaus	Expanding design process of the Airbag Control Unit ACU - Connection of Active and Passive Safety by using vehicles dynamics for rollover and side crash detection.	WISES	2008	DBLP DOI BibTeX RDF
26	Lucio 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.	SRDS	2008	DBLP DOI BibTeX RDF
26	Alberto Pasquini, Simone Pozzi, Luca Save	The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects.	SAFECOMP	2008	DBLP DOI BibTeX RDF
26	Benjamin M. Brosgol	SA2: languages for safety-critical software: issues and assessment.	SIGAda	2007	DBLP DOI BibTeX RDF
26	David Aspinall 0001, Patrick Maier 0001, Ian Stark	Safety Guarantees from Explicit Resource Management.	FMCO	2007	DBLP DOI BibTeX RDF
26	Wei Li	Research on the Knowledge-based Decision Support System for the Safety of Rockets.	SNPD (2)	2007	DBLP DOI BibTeX RDF
26	Benjamin M. Brosgol	Languages for Safety-Critical Software: Issues and Assessment.	ICSE Companion	2007	DBLP DOI BibTeX RDF
26	Tariq Mahmood, Edmund Kazmierczak	A Knowledge-based Approach for Safety Analysis Using System Interactions.	APSEC	2006	DBLP DOI BibTeX RDF
26	Aniket Murarka, Joseph Modayil, Benjamin Kuipers	Building Local Safety Maps for a Wheelchair Robot using Vision and Lasers.	CRV	2006	DBLP DOI BibTeX RDF
26	Todd A. DeLong, D. Todd Smith, Barry W. Johnson	Dependability metrics to assess safety-critical systems.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
26	Yasuyuki Tsukada	Interactive and Probabilistic Proof of Mobile Code Safety.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	software verification, proof-carrying code, interactive proof system
26	Paul Mason	On Traceability for Safety Critical Systems Engineering.	APSEC	2005	DBLP DOI BibTeX RDF
26	Tony K. Mak, Kenneth P. Laberteaux, Raja Sengupta 0002	A multi-channel VANET providing concurrent safety and commercial services.	Vehicular Ad Hoc Networks	2005	DBLP DOI BibTeX RDF	dedicated short range communication (DSRC), wireless LAN, broadcast, medium access control (MAC), multi-channels, PCF
26	G. Niklas Norén, Roland Orre, Andrew Bate	A hit-miss model for duplicate detection in the WHO drug safety database.	KDD	2005	DBLP DOI BibTeX RDF	hit-miss model, mixture models, duplicate detection
26	Jing Liu, Josh Dehlinger, Robyn R. Lutz	Safety Analysis of Software Product Lines Using State-Based Modeling.	ISSRE	2005	DBLP DOI BibTeX RDF
26	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Beyond safety: customized SAT-based model checking.	DAC	2005	DBLP DOI BibTeX RDF	circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL
26	Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Checking Memory Safety with Blast.	FASE	2005	DBLP DOI BibTeX RDF
26	Samia Nefti, Mourad Oussalah 0002	A neural network approach for railway safety prediction.	SMC (4)	2004	DBLP DOI BibTeX RDF
26	William H. Winsborough, Ninghui Li	Safety in Automated Trust Negotiation.	S&P	2004	DBLP DOI BibTeX RDF
26	Isabelle Bichindaritz, Carol Moinpour, Emin Kansu, Gary Donaldson, Nigel Bush, Keith M. Sullivan	Case Based Reasoning for Medical Decision-Support in a Safety Critical Environment.	AIME	2003	DBLP DOI BibTeX RDF
26	Panagiotis Manolios, Richard J. Trefler	A lattice-theoretic characterization of safety and liveness.	PODC	2003	DBLP DOI BibTeX RDF
26	Wolfgang A. Halang	Automated Control Systems for the Safety Integrity Levels 3 and 4.	WORDS Fall	2003	DBLP DOI BibTeX RDF
26	Alan C. Tribble	Software Safety.	IEEE Softw.	2002	DBLP DOI BibTeX RDF
26	M. Edwin Johnson	Model Checking Safety Properties of Servo-Loop Control Systems.	DSN	2002	DBLP DOI BibTeX RDF
26	Fan Guo, Yiyun Chen, RongGui Hu	Machine Code Type Safety.	ICFEM	2002	DBLP DOI BibTeX RDF
26	Shlomi Dolev, Frank A. Stomp	Safety Assurance via On-Line Monitoring.	ISADS	2001	DBLP DOI BibTeX RDF
26	Kaisa Sere, Elena Troubitsyna	Safety Analysis in Formal Specification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
26	Bert Knegtering, Aarnout Brombacher	Conceptual Comparison of Two Commonly Used Safeguarding Principles.	SAFECOMP	1998	DBLP DOI BibTeX RDF
26	J. Boulanger, V. Delebarre, Stéphane Natkin, J. Ozello	Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems.	HASE	1997	DBLP DOI BibTeX RDF
26	Bernd J. Krämer	A Case Study in Developing Complex Safety Critical Systems.	HICSS (5)	1997	DBLP DOI BibTeX RDF
26	Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis	Safety for Branching Time Semantics.	ICALP	1991	DBLP DOI BibTeX RDF
26	Ravi Krishnamurthy, Raghu Ramakrishnan 0001, Oded Shmueli	A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract).	SIGMOD Conference	1988	DBLP DOI BibTeX RDF	DATALOG
26	Thomas Gruber 0004, Egbert Althammer, Erwin Schoitsch	Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective.	SAFECOMP	2009	DBLP DOI BibTeX RDF	RAMSS, co-operative traffic management, traffic telematics, HMI dependability, human factors, dependability analysis, road safety
26	Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc	Deriving Safety Software Requirements from an AltaRica System Model.	SAFECOMP	2008	DBLP DOI BibTeX RDF	System safety requirements, software functional requirement, failure propagation models, AltaRica languages and tools, system control of helicopter turboshaft engines
26	Peter Dencker, Herbert Klenk, Hubert B. Keller, Erhard Plödereder (eds.)	Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart, Germany, Mai 30-31, 2017	Automotive - Safety & Security	2017	DBLP BibTeX RDF
26	Marko Wolf, Robert Lambert	Hacking Trucks - Cybersecurity Risks and Effective Cybersecurity Protection for Heavy Duty Vehicles.	Automotive - Safety & Security	2017	DBLP BibTeX RDF
26	Christof Ebert	Risk-Oriented Security Engineering.	Automotive - Safety & Security	2017	DBLP BibTeX RDF
26	Asim Abdulkhaleq, Stefan Wagner 0001, Daniel Lammering, Hagen Boehmert, Pierre Blueher	Using STPA in Compliance with ISO 26262 for Developing a Safe Architecture for Fully Automated Vehicles.	Automotive - Safety & Security	2017	DBLP BibTeX RDF
26	Norman A. Rink, Jerónimo Castrillón	Extending a Compiler Backend for Complete Memory Error Detection.	Automotive - Safety & Security	2017	DBLP BibTeX RDF
26	Andreas Schwierz, Georg Seifert, Sebastian Hiergeist	Funktionale Sicherheit in Automotive und Avionik: Ein Staffellauf.	Automotive - Safety & Security	2017	DBLP BibTeX RDF
26	Benjamin Lesage, David Griffin 0002, Iain Bate, Frank Soboczenski	Exploring and Understanding Multicore Interference from Observable Factors.	Automotive - Safety & Security	2017	DBLP BibTeX RDF
26	Konstantin Zichler, Steffen Helke	Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft.	Automotive - Safety & Security	2017	DBLP BibTeX RDF
26	Christopher Corbett, Tobias Basic, Thomas Lukaseder, Frank Kargl	A Testing Framework Architecture for Automotive Intrusion Detection Systems.	Automotive - Safety & Security	2017	DBLP BibTeX RDF
26	Paul Chomicz, Armin Müller-Lerwe, Götz-Philipp Wegner, Rainer Busch, Stefan Kowalewski	Towards the Use of Controlled Natural Languages in Hazard Analysis and Risk Assessment.	Automotive - Safety & Security	2017	DBLP BibTeX RDF
26	Herbert Klenk, Hubert B. Keller, Erhard Plödereder, Peter Dencker (eds.)	Automotive - Safety & Security 2014 (2015), Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Tagung, 21.-22.04.2015, Stuttgart, Germany	Automotive - Safety & Security	2014	DBLP BibTeX RDF
26	Ralf Küsters	E-Voting Systems.	Software Systems Safety	2014	DBLP DOI BibTeX RDF
26	Gerwin Klein, Tobias Nipkow	Applications of Interactive Proof to Data Flow Analysis and Security.	Software Systems Safety	2014	DBLP DOI BibTeX RDF
26	Georg Weissenbacher, Pramod Subramanyan, Sharad Malik	Boolean Satisfiability: Solvers and Extensions.	Software Systems Safety	2014	DBLP DOI BibTeX RDF
26	Helmut Seidl, Kalmer Apinis, Vesal Vojdani	Frameworks for Interprocedural Analysis of Concurrent Programs.	Software Systems Safety	2014	DBLP DOI BibTeX RDF
26	Eran Yahav	Practical Software Synthesis.	Software Systems Safety	2014	DBLP DOI BibTeX RDF
26	Bart van Delft, Niklas Broberg, David Sands 0001	Programming in Paragon.	Software Systems Safety	2014	DBLP DOI BibTeX RDF
26	Orna Grumberg, Sharon Shoham, Yakir Vizel	SAT-based Model Checking: Interpolation, IC3, and Beyond.	Software Systems Safety	2014	DBLP DOI BibTeX RDF
26	Marta Z. Kwiatkowska, Chris Thachuk	Probabilistic Model Checking for Biology.	Software Systems Safety	2014	DBLP DOI BibTeX RDF
26	Sumit Gulwani	Program Synthesis.	Software Systems Safety	2014	DBLP DOI BibTeX RDF
26	Rupak Majumdar	Foundations of Infinite-State Verification.	Software Systems Safety	2014	DBLP DOI BibTeX RDF
26	Patrice Godefroid	May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification.	Software Systems Safety	2014	DBLP DOI BibTeX RDF
26	Marco Weiskopf, Christoph Wohlfahrt, Albrecht Schmidt 0001	Absicherung eines Radarsensors im Systemverbund mit der Hardware-in-the-Loop Testtechnologie.	Automotive - Safety & Security	2014	DBLP BibTeX RDF
26	Antje Gieraths	Umsetzung der Anforderungen aus der ISO 26262 bei der Entwicklung eines Steuergeräts aus dem Fahrerinformationsbereich.	Automotive - Safety & Security	2014	DBLP BibTeX RDF
26	Christian Wenzel-Benner, Daniel Wasserrab	Kryptographische Hashfunktionen: Historie, Angriffe und aktuell sichere Standards.	Automotive - Safety & Security	2014	DBLP BibTeX RDF
26	Stephanie Bayer, Thomas Enderle, Dennis Kengo Oka, Marko Wolf	Security Crash Test - Practical Security Evaluations of Automotive Onboard IT Components.	Automotive - Safety & Security	2014	DBLP BibTeX RDF
26	Stefan Kaufmann 0003	Implementation and adaptation of the Pseudonymous PKI for Ubiquitous Computing for Car-2-Car Communication.	Automotive - Safety & Security	2014	DBLP BibTeX RDF
26	Benjamin Glas, Jens Gramm, Priyamvadha Vembar	Towards an Information Security Framework for the Automotive Domain.	Automotive - Safety & Security	2014	DBLP BibTeX RDF
26	Erhard Plödereder, Peter Dencker, Herbert Klenk, Hubert B. Keller, Silke Spitzer (eds.)	Automotive - Safety & Security 2012, Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 14.-15. November 2012, Karlsruhe, Proceedings	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Rupak Majumdar	Lecture Notes on Software Model Checking.	Software Safety and Security	2012	DBLP DOI BibTeX RDF
26	Bruno Blanchet	Mechanizing Game-Based Proofs of Security Protocols.	Software Safety and Security	2012	DBLP DOI BibTeX RDF
26	Daniel Hedin, Andrei Sabelfeld	A Perspective on Information-Flow Control.	Software Safety and Security	2012	DBLP DOI BibTeX RDF
26	Tobias Nipkow	Interactive Proof: Introduction to Isabelle/HOL.	Software Safety and Security	2012	DBLP DOI BibTeX RDF
26	Jason Koenig, K. Rustan M. Leino	Getting Started with Dafny: A Guide.	Software Safety and Security	2012	DBLP DOI BibTeX RDF
26	Georg Weissenbacher, Sharad Malik	Boolean Satisfiability Solvers: Techniques and Extensions.	Software Safety and Security	2012	DBLP DOI BibTeX RDF
26	Marta Z. Kwiatkowska, David Parker 0001	Advances in Probabilistic Model Checking.	Software Safety and Security	2012	DBLP DOI BibTeX RDF