Search results for "Safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Kelly Weyrauch, Mary Poppendieck, Ron Morsicato, Nancy Van Schooenderwoert, Bill Pyritz	Agile Methods for Safety-Critical Software Development.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF
22	Yoshimi Furukawa, Hiroshi Takeda, Naohiro Yuhara, Sunao Chikamori, Masato Abe, Toichi Sawada	Development of predicting evaluation platform of advanced driver safety assist systems using integrated virtual traffic environments.	SMC (4)	2004	DBLP DOI BibTeX RDF
22	Koushik Sen, Grigore Rosu, Gul Agha	Online Efficient Predictive Safety Analysis of Multithreaded Programs.	TACAS	2004	DBLP DOI BibTeX RDF
22	Jiazheng Shi, Steve Goddard, Anagh Lal, Shane Farritor	A Real-Time Model for the Robotic Highway Safety Marker System.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
22	Jiong Yan, Ji Wang 0001, Huowang Chen	UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.	ISPA	2004	DBLP DOI BibTeX RDF
22	Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif	Combining Formal Methods and Safety Analysis - The ForMoSA Approach.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
22	Kjeld Høyer Mortensen, Kari R. Schougaard, Ulrik Pagh Schultz	Distance-Based Access Modifiers Applied to Safety in Home Networks.	EUSAI	2004	DBLP DOI BibTeX RDF
22	Thuy Nguyen, Alain Ourghanlian	Dependability Assessment of Safety-Critical System Software by Static Analysis Methods.	DSN	2003	DBLP DOI BibTeX RDF
22	Jan Jürjens	Developing Safety-Critical Systems with UML.	UML	2003	DBLP DOI BibTeX RDF
22	Meng Li, Zhu Xu	Study on the Cost/Benefit/Optimization of Software Safety Test.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
22	David M. Fram, June S. Almenoff, William DuMouchel	Empirical Bayesian data mining for discovering patterns in post-marketing drug safety.	KDD	2003	DBLP DOI BibTeX RDF	empirical Bayes methods, pharmacovigilance, post-marketing surveillance, data mining, association rules
22	Jan A. M. Wiegerinck	Introduction to the risk based design of safety instrumented systems for the process industry.	ICARCV	2002	DBLP DOI BibTeX RDF
22	John C. Knight	Safety critical systems: challenges and directions.	ICSE	2002	DBLP DOI BibTeX RDF
22	Mariana Dumitrescu, Toader Munteanu	Fuzzy Probability and Power System Safety.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
22	Meeko Oishi, Claire J. Tomlin, Vipin Gopal, Datta N. Godbole	Addressing Multiobjective Control: Safety and Performance through Constrained Optimization.	HSCC	2001	DBLP DOI BibTeX RDF
22	Michel Houtermans, George E. Apostolakis, Aarnout Brombacher, Dimitrios Karydas	Programmable Electronic System Design & Verification Utilizing DFM.	SAFECOMP	2000	DBLP DOI BibTeX RDF
22	Orna Kupferman, Moshe Y. Vardi	Model Checking of Safety Properties.	CAV	1999	DBLP DOI BibTeX RDF
22	Hamdan Dammag, Nimal Nissanke	Safecharts for Specifying and Designing Safety Critical Systems.	SRDS	1999	DBLP DOI BibTeX RDF
22	Yiannis Papadopoulos, John A. McDermid	Hierarchically Performed Hazard Origin and Propagation Studies.	SAFECOMP	1999	DBLP DOI BibTeX RDF
22	Ken Wong	Looking at Code With Your Safety Goggles On.	Ada-Europe	1998	DBLP DOI BibTeX RDF
22	Robyn R. Lutz	Targeting Safety-Related Errors During Software Requirements Analysis.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF
22	Brian Butka, Janusz Zalewski, Andrew J. Kornecki	Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Tool Qualification, Formal Methods, Safety-Critical Systems, Hardware Design, HDL, PLD
21	Kostas E. Bekris, Konstantinos I. Tsianos, Lydia E. Kavraki	Safe and Distributed Kinodynamic Replanning for Vehicular Networks.	Mob. Networks Appl.	2009	DBLP DOI BibTeX RDF	message-passing protocol, safety, motion planning, vehicular networks, real-time control, motion coordination
21	Sylvie Delaët, Shlomi Dolev, Olivier Peres	Safe and Eventually Safe: Comparing Self-stabilizing and Non-stabilizing Algorithms on a Common Ground.	OPODIS	2009	DBLP DOI BibTeX RDF	safety, self-stabilization
21	Torsten Gruchmann, Anfried Borgert	The Effect of New Standards on the Global Movement Toward Usable Medical Devices.	USAB	2007	DBLP DOI BibTeX RDF	EN 60601-1-6:2004, Use Error, Medical Product Development, Usability, Human Factors, Safety, ROI
21	Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar 0001, Rasool Jalili	Vulnerability Analysis in VGBPS Using Prolog.	FSEN	2007	DBLP DOI BibTeX RDF	Protection System, Safety Problem, Prolog, Vulnerability Analysis
21	Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa	Compiling C Programs into a Strongly Typed Assembly Language.	ASIAN	2007	DBLP DOI BibTeX RDF	C, memory safety, typed assembly language
21	Alek Radjenovic, Richard F. Paige	Architecture Description Languages for High-Integrity Real-Time Systems.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	software architecture, architecture description languages, safety-critical systems, modeling methodologies, model development
21	Nicholas Riley, Craig B. Zilles	Hardware tansactional memory support for lightweight dynamic language evolution.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	concurrency, safety, transactional memory, Python, locking, dynamic languages
21	Tamer A. ElBatt, Siddhartha K. Goel, Gavin Holland, Hariharan Krishnan, Jayendra S. Parikh	Cooperative collision warning using dedicated short range wireless communications.	Vehicular Ad Hoc Networks	2006	DBLP DOI BibTeX RDF	broadcast rate, transmission range, simulation, metrics, safety, vehicular communications, DSRC, IEEE 802.11p
21	Sukdea Yu, Moonkun Lee, Gihwan Cho	An Emergency Message Propagation Method in Highway Traffic.	UCS	2006	DBLP DOI BibTeX RDF	Stem and Branch, Highway Traffic, Vehicle Safety Communications, Broadcasting, Selective Forwarding
21	Alek Radjenovic, Richard F. Paige	The View Glue.	WADS	2006	DBLP DOI BibTeX RDF	view consistency, modelling, software architectures, safety critical systems, architectural views
21	Adam Welc, Suresh Jagannathan, Antony L. Hosking	Safe futures for Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, concurrency, safety, futures
21	Xinwen Zhang, Yingjiu Li, Divya Nalla	An attribute-based access matrix model.	SAC	2005	DBLP DOI BibTeX RDF	access matrix model, access control, decidability, safety analysis
21	Marc Torrent-Moreno, Paolo Santi, Hannes Hartenstein	Fair sharing of bandwidth in VANETs.	Vehicular Ad Hoc Networks	2005	DBLP DOI BibTeX RDF	vehicular safety, ad hoc networks, fairness, power control
21	Kenji Itoh, Henning Boje Andersen, Masaki Seki	Track maintenance train operators' attitudes to job, organisation and management, and their correlation with accident/incident rate.	Cogn. Technol. Work.	2004	DBLP DOI BibTeX RDF	Attitude factors, Railway safety, FMAQ, TMAQ, Motivation, Morale
21	Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer	A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Novice users of formal-methods-based tools, Software requirements analysis, Software for medical devices, Model checking, Safety-critical systems
21	Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki	EVALPSN Based Railway Interlocking Simulator.	KES	2004	DBLP DOI BibTeX RDF	intelligent safety verification, annotated logic program, railway interlocking, EVALPSN, defeasible deontic reasoning
21	Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini	A Freshness Detection Mechanism for Railway Applications.	PRDC	2004	DBLP DOI BibTeX RDF	railway control systems, real-time, safety
21	Paul Townend, Jie Xu 0007, Malcolm Munro	Building Dependable Software for Critical Applications: Multi-Version Software versus One Good Version.	WORDS	2001	DBLP DOI BibTeX RDF	Critical software and systems, industrial embedded systems, multi-version software, reliability and safety, fault tolerance
21	Mats Per Erik Heimdahl, Jeffrey M. Thompson	Specifying and Analysing System-Level Inter-Component Interfaces.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Inter-component communication, Safety kernel, State-based specification, Formal methods, Static analysis, Requirements specification, RSML
21	William Currie Colket	Code analysis of saftey-critical and real-time software using ASIS.	SIGAda	1999	DBLP DOI BibTeX RDF	real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile
21	Harold W. Thimbleby	Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models.	EICS	2009	DBLP DOI BibTeX RDF	discovery tools, model checking, interaction programming
21	Christof Fetzer, Ute Schiffel, Martin Süßkraut	AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.	SAFECOMP	2009	DBLP DOI BibTeX RDF
21	Derek Mannering, Jon G. Hall, Lucia Rapanotti	Safety Process Improvement with POSE and Alloy.	SAFECOMP	2007	DBLP DOI BibTeX RDF
21	Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn	Towards a Unified Model-Based Safety Assessment.	SAFECOMP	2006	DBLP DOI BibTeX RDF
21	Martin Hall-May, Tim Kelly	Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems.	SAFECOMP	2006	DBLP DOI BibTeX RDF
21	Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber 0004, Christian Sejkora	Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software.	SAFECOMP	2005	DBLP DOI BibTeX RDF
21	Martin Skambraks	A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts.	SAFECOMP	2005	DBLP DOI BibTeX RDF
21	D. Essame	Handling Safety Critical Requirements in System Engineering Using the B Formal Method .	SAFECOMP	2004	DBLP DOI BibTeX RDF
21	Andreas Pfitzmann	Why Safety and Security Should and Will Merge.	SAFECOMP	2004	DBLP DOI BibTeX RDF
21	Bernhard Kaiser, Catharina Gramlich	State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
21	Richard Banach, R. Cross	Safety Requirements and Fault Trees Using Retrenchment.	SAFECOMP	2004	DBLP DOI BibTeX RDF
21	Michael Cebulla	Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF	Analysis and Modeling, Formal Methods, Human Factors
21	Wolfgang Weber, Heidemarie Tondok, Michael Bachmayer	Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW.	SAFECOMP	2003	DBLP DOI BibTeX RDF
21	Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale	Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.	SAFECOMP	2002	DBLP DOI BibTeX RDF
21	Zsigmond Pap, István Majzik, András Pataricza	Checking General Safety Criteria on UML Statecharts.	SAFECOMP	2001	DBLP DOI BibTeX RDF
21	Hans R. Fankhauser	Safety Functions versus Control Functions.	SAFECOMP	2001	DBLP DOI BibTeX RDF
21	James S. Pascoe, Roger J. Loader	A Survey on Safety-Critical Multicast Networking.	SAFECOMP	2000	DBLP DOI BibTeX RDF
21	Andreas Schenk	SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller.	SAFECOMP	2000	DBLP DOI BibTeX RDF
21	Peter A. Lindsay, John A. McDermid, David J. Tombs	Deriving Quantified Safety Requirements in Complex Systems.	SAFECOMP	2000	DBLP DOI BibTeX RDF
21	Fabio Paternò, Carmen Santoro, Sophie Tahmassebi	The Impact of Different Media on Safety and Usability of Interactive ATC Applications.	SAFECOMP	1999	DBLP DOI BibTeX RDF
21	Monika Heiner, Maritta Heisel	Modeling Safety-Critical Systems with Z and Petri Nets.	SAFECOMP	1999	DBLP DOI BibTeX RDF
21	Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita	Formal Specification and Development of a Safety-Critical Train Management System.	SAFECOMP	1999	DBLP DOI BibTeX RDF
21	Chris W. Johnson 0001	Evaluating the Contribution of DesktopVR for Safety-Critical Applications.	SAFECOMP	1999	DBLP DOI BibTeX RDF
21	Chin-Feng Fan, Swu Yih	Safety Markup Language: Concept and Application.	SAFECOMP	1999	DBLP DOI BibTeX RDF
21	Krzysztof Sacha	Safety Verification of Software Using Structured Petri Nets.	SAFECOMP	1998	DBLP DOI BibTeX RDF
21	Arndt Lindner	ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation.	SAFECOMP	1998	DBLP DOI BibTeX RDF
21	Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso	A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.	SAFECOMP	1998	DBLP DOI BibTeX RDF
21	Bartosz Nowicki, Janusz Górski	Object Oriented Safety Analysis of an Extra High Voltage Substation Bay.	SAFECOMP	1998	DBLP DOI BibTeX RDF
20	Mohammad Nekoui, Hossein Pishro-Nik	Reliable inter-vehicle communications for vehicular ad hoc networks.	WICON	2008	DBLP BibTeX RDF	dedicated short range communications (DSRC), inter-vehicle communications (IVC), vehicular ad hoc networks (VANETs)
20	Silke Kuball	How can Previous Component Use Contribute to Assessing the Use of COTS?	HASE	2007	DBLP DOI BibTeX RDF
20	Robin E. Bloomfield, Marcelo Masera, Ann Miller, O. Sami Saydjari, Charles B. Weinstock	Assurance Cases for Security: The Metrics Challenge.	DSN	2007	DBLP DOI BibTeX RDF
20	William Blum, C.-H. Luke Ong	The Safe Lambda Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
20	Franck Le, Geoffrey G. Xie, Hui Zhang 0001	Understanding Route Redistribution.	ICNP	2007	DBLP DOI BibTeX RDF
20	Aad Mathijssen, A. Johannes Pretorius	Verified Design of an Automated Parking Garage.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
20	Amy P. Felty	A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract.	TLCA	2005	DBLP DOI BibTeX RDF
20	Dan M. Frangopol, Min Liu	Multiobjective Optimization for Risk-Based Maintenance and Life-Cycle Cost of Civil Infrastructure Systems.	System Modelling and Optimization	2005	DBLP DOI BibTeX RDF	civil infrastructure, genetic algorithms, optimization, bridges, System reliability
20	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The BLAST Software Verification System.	SPIN	2005	DBLP DOI BibTeX RDF
20	Benjamin Martin, James Francis	Validation of a time-of-supply inventory policy through simulation.	WSC	2005	DBLP BibTeX RDF
20	Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter	An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees.	IFM	2005	DBLP DOI BibTeX RDF	Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees
20	Amit Bhatia 0001, Emilio Frazzoli	Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
20	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstract Interpretation-Based Mobile Code Certification.	ICLP	2004	DBLP DOI BibTeX RDF
20	Carl Sandom, Robert D. Macredie	Analysing situated interaction hazards: an activity-based awareness approach.	Cogn. Technol. Work.	2003	DBLP DOI BibTeX RDF	Situation awareness, Activity theory, Situated action
20	Robert R. Schneck, George C. Necula	A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code.	CADE	2002	DBLP DOI BibTeX RDF
20	Gilberto Matos, James M. Purtilo, Elizabeth L. White	Automated Computation of Decomposable Synchronization Conditions.	HASE	1997	DBLP DOI BibTeX RDF
20	Brian Dobbing, Marc Richard-Foy	T-SMART - Task-Safe, Minimal Ada Realtime Toolset.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Ada83, Software Reliability, Certification, Ada 95
20	Ali-Reza Adl-Tabatabai, Geoff Langdale, Steven Lucco, Robert Wahbe	Efficient and Language-Independent Mobile Programs.	PLDI	1996	DBLP DOI BibTeX RDF
20	Alexei Czeskis, Ivayla Dermendjieva, Hussein Yapit, Alan Borning, Batya Friedman, Brian T. Gill, Tadayoshi Kohno	Parenting from the pocket: value tensions and technical directions for secure and private parent-teen mobile safety.	SOUPS	2010	DBLP DOI BibTeX RDF	direct and indirect stakeholders, parenting technologies, value dams and flows, value tensions, security, privacy, mobile phones, safety, value sensitive design, maturation, teenagers
20	Sonia Gantman Vilvovsky, Jane Fedorowicz	IT outsourcing in interagency collaborations: lessons from public safety networks.	DG.O	2010	DBLP BibTeX RDF	contracting out, interorganizational collaboration, public IT outsourcing, public safety networks
20	Zhe Chen 0011, Gilles Motet	Towards better support for the evolution of safety requirements via the model monitoring approach.	ICSE (2)	2010	DBLP DOI BibTeX RDF	Büchi automata, safety, requirements evolution
20	Marc Born, John M. Favaro, Olaf Kath	Application of ISO DIS 26262 in practice.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	model, safety, process, traceability
20	Rolf Johansson 0002, Stefan Bunzel, Marc Graniou, Henrik Lönn, Håkan Sivencrona, Friedhelm Stappert	A road-map for enabling system analysis of AUTOSAR-based systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	ISO-26262, safety, system analysis, ADL, model-based design, AUTOSAR
20	Lucia Acciai, Michele Boreale	Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.	ICALP (2)	2009	DBLP DOI BibTeX RDF	behavioural types, safety, decidability, pi-calculus, spatial logic
20	Larry L. Constantine, Helmut Windl	Safety, speed, and style: interaction design of an in-vehicle user interface.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	in-vehicle, interaction design, automotive, safety-critical, model-driven design, user performance
20	Jens Braband, Rüdiger vom Hövel, Hendrik Schäbe	Probability of Failure on Demand - The Why and the How.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Probability of failure on demand, rate of dangerous failures, safety integrity level
20	Janusz Sosnowski, Dawid Trawczynski, Janusz Zalewski	Safety Issues in Modern Bus Standards.	Computer	2008	DBLP DOI BibTeX RDF	bus standards, standards, safety-critical applications
20	Daniel Jiang, Qi Chen 0011, Luca Delgrossi	Optimal data rate selection for vehicle safety communications.	Vehicular Ad Hoc Networks	2008	DBLP DOI BibTeX RDF	vehicle safety communications, ieee 802.11, interference, dsrc, data rate
20	Farah Magrabi	Using cognitive models to evaluate safety-critical interfaces in healthcare.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	healthcare, cognitive models, usability evaluation, safety-critical systems, goms
20	Dennis de Jong	Participatory design and road safety and design.	PDC	2008	DBLP BibTeX RDF	driver attitudes, road design, participatory design, road safety, driver behaviour