Search results for "safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Gerwin Klein	Interactive Proof: Applications to Semantics.	Software Safety and Security	2012	DBLP DOI BibTeX RDF
26	Thomas Martin Gawlitza, Helmut Seidl	Precise Program Analysis through Strategy Iteration and Optimization.	Software Safety and Security	2012	DBLP DOI BibTeX RDF
26	Hubert Comon-Lundh, Stéphanie Delaune	Formal Security Proofs.	Software Safety and Security	2012	DBLP DOI BibTeX RDF
26	Orna Grumberg	Model Checking: From BDDs to Interpolation.	Software Safety and Security	2012	DBLP DOI BibTeX RDF
26	Peter W. O'Hearn	A Primer on Separation Logic (and Automatic Program Verification and Analysis).	Software Safety and Security	2012	DBLP DOI BibTeX RDF
26	Oscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull, Rafael Zalman	ISO 26262 - Tool chain analysis reduces tool qualification costs.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Jürgen Braun, Jürgen Mottok, Christian Miedl, Dirk Geyer, Mark Minas	Increasing the reliability of single and multi core systems with software rejuvenation and coded processing.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Stefan Jähnichen	Modelica - Modeling and simulation of technical systems.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Jörn Schneider	Why current Memory Management Units are not suited for Automotive ECUs.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Daniel Kästner, Christian Ferdinand	Static Verification of Non-Functional Software Requirements in the ISO-26262.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Martin Wittiger, Steffen Keul	Extraktion von Interthread-Kommunikation in eingebetteten Systemen.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Cyrille Comar, Johannes Kanig, Yannick Moy	Integration von Formaler Verifikation und Test.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Rasmus Adler, Sören Kemmann, Markus Schurius, Christian Allmann	Modellbasierte Sicherheitsanalysen im BMBF-Förderprojekt e performance.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Dirk Nowotka, Johannes Traub	MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Marko Wolf, Michael Scheibel	A Systematic Approach to a Qualified Security Risk Analysis for Vehicular IT Systems.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	David Haworth, Tobias Jordan, Alexander Mattausch, Alexander Much	Freedom from Interference for AUTOSAR-based ECUs: a partitioned AUTOSAR stack.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Christian Berger 0001, Sebastian Siegl	Constructive Requirements Modeling - More Reliable Implementations in a Shorter Time.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Felix Jakob, Wolfgang Kremer, Andreas Schulze, Jürgen Großmann, Nadja Menz, Martin A. Schneider, Alain-Georges Vouffo Feudjio	Risk-based testing of Bluetooth functionality in an automotive environment.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Stefan Kriso	ISO 26262 - Quo vadis?	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Klaus Becker 0001, Christian Buckl, Alexander Camek, Rainer Falk, Ludger Fiege, Jürgen Geßner, Stephan Sommer	SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern.	Automotive - Safety & Security	2012	DBLP BibTeX RDF
26	Mark Timmer, Ed Brinksma, Mariëlle Stoelinga	Model-Based Testing.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Constance L. Heitmeyer	Requirements Models for Critical Systems.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Doron A. Peled	Model Checking.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Carlo Ghezzi	Engineering Evolving and Self-Adaptive Systems: An Overview.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	John Harrison 0001	Formal Verification.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane	Model-Based Verification and Analysis for Real-Time Systems.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Manfred Broy	Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Holger Hermanns, Lijun Zhang 0001	From Concurrency Models to Numbers - Performance and Dependability.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Tony Hoare, John Wickerson	Unifying Models of Data Flow.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
26	Roy Sterritt, Mike Hinchey	Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent Systems.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Haralambos Mouratidis, Paolo Giorgini	Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Cheryl Martin 0001, Debra Schreckenghost, R. Peter Bonasso	Command and Authorization Services for Multiple Humans Interacting with a Software Control Agent for Advanced Life Support.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Diana F. Spears, Wesley Kerr, William M. Spears	Erratum to: Fluid-Like Swarms with Predictable Macroscopic Behavior.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Paolo Ballarini, Michael Fisher 0001, Michael J. Wooldridge	Uncertain Agent Verification through Probabilistic Model-Checking.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Daniel S. Weld, Oren Etzioni	The First Law of Robotics - (A Call to Arms).	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Janusz Marecki, Nathan Schurr, Milind Tambe, Paul Scerri	Analyzing Dangers in Multiagent Rescue Using DEFACTO.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Emiliano Lorini, Cristiano Castelfranchi	Intentional Agents in Defense.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Anita Raja, Michael V. Klibanov	A Distributed Numerical Approach for Managing Uncertainty in Large-Scale Multi-agent Systems.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Peter C. Lockemann, Jens Nimis	Dependable Multi-agent Systems: Layered Reference Architecture and Representative Mechanisms.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	David J. Musliner, Michael J. S. Pelican, Kurt D. Krebsbach	Building Coordinated Real-Time Control Plans.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Hao Ren, Ali Akhavan Bitaghsir, Mike Barley	Safe Stochastic Planning: Planning to Avoid Fatal States.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Anita Raja, Michael W. Barley, Xiaoqin Shelley Zhang	Towards Safe Coordination in Multi-agent Systems.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Ram Meshulam, Shulamit Reches, Aner Yarden, Sarit Kraus	MLBPR: MAS for Large-Scale Biometric Pattern Recognition.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Daniel Tran, Steve A. Chien, Gregg R. Rabideau, Benjamin Cichy	Safe Agents in Space: Preventing and Responding to Anomalies in the Autonomous Sciencecraft Experiment.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Amy Unruh, James Bailey 0001, Kotagiri Ramamohanarao	A Framework for Goal-Based Semantic Compensation in Agent Systems.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Stefan Poslad	Using Multi-agent Systems to Specify Safe and Secure Services for Virtual Organisations.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Praveen Paruchuri, Milind Tambe, Fernando Ordóñez, Sarit Kraus	Coordinating Randomized Policies for Increasing Security in Multiagent Systems.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Athanasios Karygiannis, Emmanouil Antonakakis	Security and Privacy Issues in Agent-Based Location-Aware Mobile Commerce.	Safety and Security in Multiagent Systems	2009	DBLP DOI BibTeX RDF
26	Brigitte Cambon de Lavalette, Charles Tijus (eds.)	Proceedings of the CONTEXT-05 Workshop on Safety and Context, Paris, France, July 5, 2005	CONTEXT Workshop on Safety and Context	2005	DBLP BibTeX RDF
26	Mary Bazire, Patrick Brézillon, Brigitte Cambon de Lavalette, Charles Tijus	Gaps between rules and uses of the road.	CONTEXT Workshop on Safety and Context	2005	DBLP BibTeX RDF
26	Jacques Bergeron, Jean-Pierre Thouez, Brigitte Cambon de Lavalette	On the importance of context in understanding conflicts between pedestrians and drivers.	CONTEXT Workshop on Safety and Context	2005	DBLP BibTeX RDF
26	Andry Rakotonirainy	Design of context-aware systems for vehicles using complex system paradigms.	CONTEXT Workshop on Safety and Context	2005	DBLP BibTeX RDF
26	Sophie Midenet	Impact of the signal control strategy on red light running.	CONTEXT Workshop on Safety and Context	2005	DBLP BibTeX RDF
26	Ghislaine Doniol-Shaw, Robin Foot	Can a transit route be considered outside of its environmental context? Questions raised by an optical guidance system installed on buses.	CONTEXT Workshop on Safety and Context	2005	DBLP BibTeX RDF
26	Xiangcheng Meng, Alan H. S. Chan	Influence of Improper Workload on Safety Consciousness and Safety Citizenship Behavior of Construction Workers.	AHFE (4)	2020	DBLP DOI BibTeX RDF
26	Cameron Chodan, Pejman Mirza-Babaei, Karthik Sankaranarayanan	Safety Does Not Happen by Accident, Can Gaming Help Improve Occupational Health and Safety in Organizations?	HCI (17)	2017	DBLP DOI BibTeX RDF
26	Atsuo Murata, Makoto Moriwaka	Anomaly in Safety Management: Is It Constantly Possible to Make Safety Compatible with Economy?	AHFE (20)	2017	DBLP DOI BibTeX RDF
26	Alastair Faulkner	Safety arguments for use with data-driven safety systems.	SSS	2006	DBLP DOI BibTeX RDF
26	Kevin J. Anderson	Common Law Safety Case Approaches to Safety Critical Systems Assurance.	SSS	2006	DBLP DOI BibTeX RDF
26	Henk A. P. Blom, Sybert H. Stroeve, Hans H. de Jong	Safety Risk Assessment by Monte Carlo Simulation of Complex Safety Critical Operations.	SSS	2006	DBLP DOI BibTeX RDF
26	Peter K. D. Froome	Independent Safety Assessment of Safety Arguments.	SSS	2005	DBLP DOI BibTeX RDF
26	John Murdoch, Graham Clark, Antony Powell, Paul Caseley	Measuring Safety: Applying PSM to the System Safety Domain.	SCS	2003	DBLP BibTeX RDF
26	R. E. Jennings	Research into the Safety Issues Arising from Using ASIC Devices as a Potential Replacement Technology for Analogue Trip Amplifiers in Existing Reactor Safety Systems.	SSS	1998	DBLP DOI BibTeX RDF
25	Jonathan Benn, Andrew N. Healey, Erik Hollnagel	Improving performance reliability in surgical systems.	Cogn. Technol. Work.	2008	DBLP DOI BibTeX RDF	High-reliability organisations, Continuous quality improvement, Resilience engineering, Reliability, Teams, Surgery, Health care systems, Safety management
25	Waleed A. Youssef, Mohamed F. Younis	A cognitive scheme for gateway protection in wireless sensor network.	Appl. Intell.	2008	DBLP DOI BibTeX RDF	Gateway relocation, Safety improvements, Genetic algorithms, Wireless sensor networks, Artificial neural networks, Evolutionary neural networks
25	Michael R. Clarkson, Fred B. Schneider	Hyperproperties.	CSF	2008	DBLP DOI BibTeX RDF	safety, Security policies, liveness
25	Joan Cahill, Gabriel Losa	Flight crew task performance and the design of cockpit task support tools.	ECCE	2007	DBLP DOI BibTeX RDF	cockpit information management, electronic flight bag, flight crew, flight safety, performance evaluation, context, situation awareness, risk, task support
25	Josh Dehlinger, Robyn R. Lutz	PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	software fault tree analysis, safety analysis tools, product-line engineering, hazard analysis
25	Hamdan Dammag, Nimal Nissanke	A Mathematical Framework for Safecharts.	ICFEM	2003	DBLP DOI BibTeX RDF	Step Semantics, Security, Safety, Statecharts, rbac
25	Jie Xu 0007, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke	Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	coordinated atomic (CA) actions, embedded fault-tolerant systems, model checking, reliability, Concurrency, object orientation, formal verification, safety, exception handling
25	Wolfgang A. Halang, Carlos Eduardo Pereira, Alceu Heinke Frigeri	Safe Object Oriented Programming of Distributed Real Time Systems in PEARL.	ISORC	2001	DBLP DOI BibTeX RDF	Object orientation, safety, distributed real time systems, real time programming, PEARL
25	Stefania 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.	TACAS	2000	DBLP DOI BibTeX RDF	fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic
25	Lyta Penna, Andrew J. Clark, George M. Mohay	A Framework for Improved Adolescent and Child Safety in MMOs.	ASONAM	2010	DBLP DOI BibTeX RDF	Child online safety, Internet safety, Hazardous online relationships, Meeting offline, World of Warcraft, MMO
25	Raul Barbosa, Johan Karlsson	Opportunities from standardization in automotive safety assessment.	EDCC-CARS	2010	DBLP DOI BibTeX RDF
25	Andrzej Wardzinski	Safety Assurance Strategies for Autonomous Vehicles.	SAFECOMP	2008	DBLP DOI BibTeX RDF
25	Andrzej Wardzinski	The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles.	SAFECOMP	2006	DBLP DOI BibTeX RDF
25	Yangyang Yu, Barry W. Johnson	The Quantitative Safety Assessment for Safety-Critical Software.	SEW	2005	DBLP DOI BibTeX RDF
25	Michael Vollmer 0002	Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
25	M. Thomas	Issues in Safety Assurance.	SAFECOMP	2003	DBLP DOI BibTeX RDF
25	Klaus D. Heidtmann	Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation.	SAFECOMP	2002	DBLP DOI BibTeX RDF
25	Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh	Safety Analysis of the Height Control System for the Elbtunnel.	SAFECOMP	2002	DBLP DOI BibTeX RDF
25	John Fox	Designing Safety into Medical Decisions and Clinical Processes.	SAFECOMP	2001	DBLP DOI BibTeX RDF
25	Derek Fowler, Phil Bennett	IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems??	SAFECOMP	2000	DBLP DOI BibTeX RDF
25	Richard Evans, Jonathan D. Moffett	Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems.	SAFECOMP	2000	DBLP DOI BibTeX RDF
25	Heinrich Krebs, Swapan Mitra	Hardware Redundant Vital Computers - Demonstration of Safety on the Basis of Current Standards.	SAFECOMP	1999	DBLP DOI BibTeX RDF
25	P. G. Beerthuizen, W. Kruidhof	System and Software Safety Analysis for the ERA Control Computer.	SAFECOMP	1999	DBLP DOI BibTeX RDF
25	Rogério de Lemos, Amer Saeed	Safety Analysis Techniques for Validating Formal Models During Verification.	SAFECOMP	1999	DBLP DOI BibTeX RDF
24	Jonas Elmqvist, Simin Nadjm-Tehrani	Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems.	DATE	2008	DBLP DOI BibTeX RDF
24	Hiroyuki Echigo, Hiroaki Yuze, Tsuyoshi Hoshikawa, Kazuo Takahata, Nobuhiro Sawano, Yoshitaka Shibata	Robust and Large Scale Distributed Disaster Information System over Internet and Japan Gigabit Network.	AINA	2007	DBLP DOI BibTeX RDF
24	Hiroyuki Echigo, Yoshitaka Shibata, Hiroaki Yuze, Tsuyoshi Hoshikawa, Kazuo Takahata, Nobuhiro Sawano	Large Scale Distributed Disaster Information System Based on Nation-Wide Highspeed Network.	CISIS	2007	DBLP DOI BibTeX RDF
24	Hiroyuki Echigo, Hiroaki Yuze, Tsuyoshi Hoshikawa, Kazuo Takahata, Nobuhiro Sawano, Yoshitaka Shibata	Distributed Disaster Information System over Japan Gigabit Network.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
24	D. Needham, S. Jones	A Software Fault Tree Metric.	ICSM	2006	DBLP DOI BibTeX RDF
24	Amy P. Felty	A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code.	RTA	2005	DBLP DOI BibTeX RDF
24	Zhen Jiang, Jie Wu 0001	A Limited-Global Information Model for Dynamic Fault-Tolerant Routing in Cube-Based Multicomputers.	NCA	2003	DBLP DOI BibTeX RDF
24	Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai	Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces.	PerCom	2003	DBLP DOI BibTeX RDF
24	Sung-Hoon Park	A Probabilistically Correct Election Protocol in Asynchronous Distributed Systems.	APPT	2003	DBLP DOI BibTeX RDF
24	Johann Schumann, Bernd Fischer 0002, Michael W. Whalen, Jon Whittle 0001	Certification Support for Automatically Generated Programs.	HICSS	2003	DBLP DOI BibTeX RDF
24	George C. Necula, Robert R. Schneck	Proof-Carrying Code with Untrusted Proof Rules.	ISSS	2002	DBLP DOI BibTeX RDF
24	Antoine Girard	Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications.	HSCC	2010	DBLP DOI BibTeX RDF	approximate bisimulation, abstraction, synthesis, safety, hybrid systems, switched systems
24	Ales Plsek, Lei Zhao, Veysel Harun Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems