Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SAFECOMP"( http://dblp.L3S.de/Venues/SAFECOMP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/safecomp

Publication years (Num. hits)
1993 (38) 1995 (36) 1996 (39) 1997 (31) 1998 (31) 1999 (41) 2000 (37) 2001 (24) 2002 (33) 2003 (33) 2004 (28) 2005 (31) 2006 (33) 2007 (50) 2008 (37) 2009 (27) 2010 (38) 2011 (35) 2012 (34) 2013 (28) 2014 (24) 2015 (35) 2016 (25) 2017 (23) 2018 (21) 2019 (22) 2020 (30) 2021 (18) 2022 (25) 2023 (21)
Publication types (Num. hits)
inproceedings(898) proceedings(30)
Venues (Conferences, Journals, ...)
SAFECOMP(928)
Authors
John A. McDermid(15) Tim Kelly(13) Erwin Schoitsch(12) Maritta Heisel(12) Friedemann Bitsch(11) Janusz Górski(10) Mohamed Kaâniche(10) Elena Troubitsyna(9) Ewen Denney(9) Karama Kanoun(9) Lorenzo Strigini(9) Peter G. Bishop(9) Alberto Pasquini(8) Andrea Bondavalli(8) Mario Trapp(8) Bjørn Axel Gran(7) More (+10 of total 1925)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 202 occurrences of 155 keywords
Results
Found 928 publication records. Showing 928 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Zhiming Liu, Jens Nordahl, Erling Vagn Sørensen Composition and Refinement of Probabilistic Real-Time Systems. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bob Malcolm Technology Transfer - from Purpose to Practice. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Harvey E. Rhody, Vittorio Manoni, James R. Hoelscher Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bernhard Stamm, René Baumann, Martin Kündig-Herzog A Safety Critical Computer System in a Railway Application. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Martin Witte, Wolfgang A. Halang A Virus-Resistant Network Interface. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Walter Kuhn, Erwin Schoitsch Dependability of Scaleable, Distributed Systems: Communication Strategies for Redundant Processes. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Morris F. Chudleigh Hazard Analysis Using HAZOP: A Case Study. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Henryk Krawczyk, Saleh Al-Karaawy Reliability and Safety Analysis of Hierarchical Voting Schemes. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Wojciech Cellary Human Medium in Technology Transfer. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Mohamed Kaâniche, Karama Kanoun Software Failure Data Analysis of two Successive Generations of a Switching System. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Felix Redmill Issues Affecting Technology Transfer and Experience with a Community Club. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jeffrey M. Voas, Christoph C. Michael, Keith W. Miller 0001 Confidently Assessing a Zero Probability of Software Failure. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1M. B. Schrönen, Michael R. Inggs Development of a Fail-Safe Data Transmission System for use in Life-Critical Applications. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Johannes Rainer Software validation with CASE-TOOLS. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Reinhard Posch MRSA - a new public key encryption method. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Gioacchino A. Mutone, Martin Rothfelder The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1N. J. Ward The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Wolfgang A. Halang, Johan Scheepstra PLC-Implementation of Emergency Shut-Down Systems. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Pierre Molinaro, Olivier H. Roux Oreste : a Reliable Reactive Real-Time Language. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Meine Jochum Peter van der Meulen, Tor Stålhane, B. Cole Programmable Electronic System Analysis Technique in Safety Critical Applications. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Matjaz Colnaric, Wolfgang A. Halang Exception Handling and Predictability in Hard Real-Time Systems. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1S. S. Dhanjal, R. Fink Safety Analysis of Clinical Laboratory Systems. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jean-Claude Laprie Dependability: from Concepts to Limits. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ludovic Mé Security Audit Trail Analysis Using Genetic Algorithms. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Paul O. Collinson, Susan Oppert, Steven Hughes The Application of Formal Methods for the Redevelopment of a Laboratory Information Management System. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Banâtre Subsidiaries and start-up Spin-off companies of Inria. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Amer Saeed, Rogério de Lemos, Tom Anderson 0001 Robust Requirements Specifications for Safety - Critical Systems. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Morris F. Chudleigh, J. N. Clare The Benefits of SUSI: Safety Analysis of User System Interaction. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #901 - #928 of 928 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license