|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8688 occurrences of 3331 keywords
|
|
|
Results
Found 31108 publication records. Showing 31108 according to the selection in the facets
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 |
Displaying result #401 - #500 of 31108 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|