|
|
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 |
28 | Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe |
An Intelligent Safety Verification Based on a Paraconsistent Logic Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II, pp. 708-715, 2005, Springer, 3-540-28895-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 4(3), pp. 333-346, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vehicular Ad Hoc Networks ![In: Proceedings of the First International Workshop on Vehicular Ad Hoc Networks, 2004, Philadelphia, PA, USA, October 1, 2004, pp. 19-28, 2004, ACM, 1-58113-922-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 13-22, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 1600-1601, 2004, ACM, 1-58113-703-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 25-34, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 20(3), pp. 56-63, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 337-346, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 3(1), pp. 33-41, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 119-124, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings, pp. 106-121, 2000, Springer, 3-540-41031-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
access matrix model, safety problem, computational complexity, access control, decidability |
28 | Raghu Singh |
A Systematic Approach to Software Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 420-, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(11), pp. 1002-1013, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
IEC1508, measurement, prediction, Standards, assessment, safety-critical |
28 | David Abrahams |
Exception-Safety in Generic Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 69-79, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
exception-safety, C++, exceptions, STL |
28 | Gerald Kotonya, Ian Sommerville |
Integrating safety analysis and requirements engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 259-271, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 169-173, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(2), pp. 99-106, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(1), pp. 51-63, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 1-8, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 232-244, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2002, Proceedings of the 13th ACM Conference on Hypertext and Hypermedia, June 11-15, 2002, University of Maryland, College Park, MD, USA, pp. 55-64, 2002, ACM, 1-58113-477-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 23-30, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 238-245, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK, pp. 108-117, 1995, IEEE Computer Society, 0-8186-7098-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, pp. 132-151, 2009, Springer, 978-3-642-04693-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining, WKDD 2009, Moscow, Russia, 23-25 January 2009, pp. 126-129, 2009, IEEE Computer Society, 978-0-7695-3543-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (4) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 229-236, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Julien Delange, Laurent Pautet, Peter H. Feiler |
Validating Safety and Security Requirements for Partitioned Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 30-43, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Dominik Domis, Mario Trapp |
Component-Based Abstraction in Fault Tree Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings, pp. 297-310, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 184-191, 2008, IEEE Computer Society, 978-0-7695-3448-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISES ![In: International Workshop on Intelligent Solutions in Embedded Systems, WISES 2008, Regensburg, Germany, July 10-11, 2008, pp. 1-9, 2008, IEEE, 978-3-00-024989-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), Napoli, Italy, October 6-8, 2008, pp. 95-104, 2008, IEEE Computer Society, 978-0-7695-3410-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, pp. 387-400, 2008, Springer, 978-3-540-87697-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin M. Brosgol |
SA2: languages for safety-critical software: issues and assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 2, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | David Aspinall 0001, Patrick Maier 0001, Ian Stark |
Safety Guarantees from Explicit Resource Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, pp. 52-71, 2007, Springer, 978-3-540-92187-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Wei Li |
Research on the Knowledge-based Decision Support System for the Safety of Rockets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (2) ![In: Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China, pp. 226-231, 2007, IEEE Computer Society, 0-7695-2909-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin M. Brosgol |
Languages for Safety-Critical Software: Issues and Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume, pp. 180-181, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Tariq Mahmood, Edmund Kazmierczak |
A Knowledge-based Approach for Safety Analysis Using System Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India, pp. 445-452, 2006, IEEE Computer Society, 0-7695-2685-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Aniket Murarka, Joseph Modayil, Benjamin Kuipers |
Building Local Safety Maps for a Wheelchair Robot using Vision and Lasers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRV ![In: Third Canadian Conference on Computer and Robot Vision (CRV 2006), 7-9 June 2006, Quebec City, Canada, pp. 25, 2006, IEEE Computer Society, 0-7695-2542-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Todd A. DeLong, D. Todd Smith, Barry W. Johnson |
Dependability metrics to assess safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 54(3), pp. 498-505, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Yasuyuki Tsukada |
Interactive and Probabilistic Proof of Mobile Code Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 12(2), pp. 237-257, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software verification, proof-carrying code, interactive proof system |
26 | Paul Mason |
On Traceability for Safety Critical Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 272-282, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vehicular Ad Hoc Networks ![In: Proceedings of the Second International Workshop on Vehicular Ad Hoc Networks, VANET 2005, Cologne, Germany, September 2, 2005, pp. 1-9, 2005, ACM, 1-59593-141-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Chicago, Illinois, USA, August 21-24, 2005, pp. 459-468, 2005, ACM, 1-59593-135-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 8-11 November 2005, Chicago, IL, USA, pp. 21-30, 2005, IEEE Computer Society, 0-7695-2482-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
Beyond safety: customized SAT-based model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 738-743, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 2-18, 2005, Springer, 3-540-25420-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Samia Nefti, Mourad Oussalah 0002 |
A neural network approach for railway safety prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (4) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 3915-3920, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | William H. Winsborough, Ninghui Li |
Safety in Automated Trust Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2004 IEEE Symposium on Security and Privacy (S&P 2004), 9-12 May 2004, Berkeley, CA, USA, pp. 147-160, 2004, IEEE Computer Society, 0-7695-2136-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings, pp. 314-323, 2003, Springer, 3-540-20129-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Panagiotis Manolios, Richard J. Trefler |
A lattice-theoretic characterization of safety and liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, Massachusetts, USA, July 13-16, 2003, pp. 325-333, 2003, ACM, 1-58113-708-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Wolfgang A. Halang |
Automated Control Systems for the Safety Integrity Levels 3 and 4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS Fall ![In: 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 1-3 October 2003, Anacapri (Capri Island), Italy, pp. 35-, 2003, IEEE Computer Society, 0-7695-2054-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Alan C. Tribble |
Software Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 19(4), pp. 84-85, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | M. Edwin Johnson |
Model Checking Safety Properties of Servo-Loop Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings, pp. 45-50, 2002, IEEE Computer Society, 0-7695-1597-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Fan Guo, Yiyun Chen, RongGui Hu |
Machine Code Type Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 495-499, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Shlomi Dolev, Frank A. Stomp |
Safety Assurance via On-Line Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001, pp. 101-110, 2001, IEEE Computer Society, 0-7695-1065-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Kaisa Sere, Elena Troubitsyna |
Safety Analysis in Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1564-1583, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Bert Knegtering, Aarnout Brombacher |
Conceptual Comparison of Two Commonly Used Safeguarding Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings, pp. 359-368, 1998, Springer, 3-540-65110-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings, pp. 162-167, 1997, IEEE Computer Society, 0-8186-7971-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Bernd J. Krämer |
A Case Study in Developing Complex Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 135-143, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis |
Safety for Branching Time Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 76-92, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 1-3, 1988., pp. 154-163, 1988, ACM Press, 978-0-89791-268-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings, pp. 159-172, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, pp. 320-331, 2008, Springer, 978-3-540-87697-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![Gesellschaft für Informatik, Bonn, 978-3-88579-663-3 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Marko Wolf, Robert Lambert |
Hacking Trucks - Cybersecurity Risks and Effective Cybersecurity Protection for Heavy Duty Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart, Germany, Mai 30-31, 2017, pp. 45-60, 2017, Gesellschaft für Informatik, Bonn, 978-3-88579-663-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Christof Ebert |
Risk-Oriented Security Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart, Germany, Mai 30-31, 2017, pp. 27-44, 2017, Gesellschaft für Informatik, Bonn, 978-3-88579-663-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart, Germany, Mai 30-31, 2017, pp. 149-162, 2017, Gesellschaft für Informatik, Bonn, 978-3-88579-663-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Norman A. Rink, Jerónimo Castrillón |
Extending a Compiler Backend for Complete Memory Error Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart, Germany, Mai 30-31, 2017, pp. 61-74, 2017, Gesellschaft für Informatik, Bonn, 978-3-88579-663-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Andreas Schwierz, Georg Seifert, Sebastian Hiergeist |
Funktionale Sicherheit in Automotive und Avionik: Ein Staffellauf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart, Germany, Mai 30-31, 2017, pp. 13-25, 2017, Gesellschaft für Informatik, Bonn, 978-3-88579-663-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Benjamin Lesage, David Griffin 0002, Iain Bate, Frank Soboczenski |
Exploring and Understanding Multicore Interference from Observable Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart, Germany, Mai 30-31, 2017, pp. 75-88, 2017, Gesellschaft für Informatik, Bonn, 978-3-88579-663-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Konstantin Zichler, Steffen Helke |
Ontologiebasierte Abhängigkeitsanalyse im Projektlastenheft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart, Germany, Mai 30-31, 2017, pp. 121-134, 2017, Gesellschaft für Informatik, Bonn, 978-3-88579-663-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Christopher Corbett, Tobias Basic, Thomas Lukaseder, Frank Kargl |
A Testing Framework Architecture for Automotive Intrusion Detection Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart, Germany, Mai 30-31, 2017, pp. 89-102, 2017, Gesellschaft für Informatik, Bonn, 978-3-88579-663-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart, Germany, Mai 30-31, 2017, pp. 163-, 2017, Gesellschaft für Informatik, Bonn, 978-3-88579-663-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![GI, 978-3-88579-634-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Ralf Küsters |
E-Voting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Systems Safety ![In: Software Systems Safety, pp. 135-164, 2014, IOS Press, 978-1-61499-384-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Gerwin Klein, Tobias Nipkow |
Applications of Interactive Proof to Data Flow Analysis and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Systems Safety ![In: Software Systems Safety, pp. 77-134, 2014, IOS Press, 978-1-61499-384-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Georg Weissenbacher, Pramod Subramanyan, Sharad Malik |
Boolean Satisfiability: Solvers and Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Systems Safety ![In: Software Systems Safety, pp. 223-278, 2014, IOS Press, 978-1-61499-384-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Helmut Seidl, Kalmer Apinis, Vesal Vojdani |
Frameworks for Interprocedural Analysis of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Systems Safety ![In: Software Systems Safety, pp. 309-347, 2014, IOS Press, 978-1-61499-384-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Eran Yahav |
Practical Software Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Systems Safety ![In: Software Systems Safety, pp. 349-377, 2014, IOS Press, 978-1-61499-384-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Bart van Delft, Niklas Broberg, David Sands 0001 |
Programming in Paragon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Systems Safety ![In: Software Systems Safety, pp. 279-308, 2014, IOS Press, 978-1-61499-384-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Orna Grumberg, Sharon Shoham, Yakir Vizel |
SAT-based Model Checking: Interpolation, IC3, and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Systems Safety ![In: Software Systems Safety, pp. 17-41, 2014, IOS Press, 978-1-61499-384-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Marta Z. Kwiatkowska, Chris Thachuk |
Probabilistic Model Checking for Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Systems Safety ![In: Software Systems Safety, pp. 165-189, 2014, IOS Press, 978-1-61499-384-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Sumit Gulwani |
Program Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Systems Safety ![In: Software Systems Safety, pp. 43-75, 2014, IOS Press, 978-1-61499-384-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Rupak Majumdar |
Foundations of Infinite-State Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Systems Safety ![In: Software Systems Safety, pp. 191-222, 2014, IOS Press, 978-1-61499-384-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Patrice Godefroid |
May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Systems Safety ![In: Software Systems Safety, pp. 1-16, 2014, IOS Press, 978-1-61499-384-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2014 (2015), Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Tagung, 21.-22.04.2015, Stuttgart, Germany, pp. 29-40, 2014, GI, 978-3-88579-634-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Antje Gieraths |
Umsetzung der Anforderungen aus der ISO 26262 bei der Entwicklung eines Steuergeräts aus dem Fahrerinformationsbereich. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2014 (2015), Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Tagung, 21.-22.04.2015, Stuttgart, Germany, pp. 69-78, 2014, GI, 978-3-88579-634-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Christian Wenzel-Benner, Daniel Wasserrab |
Kryptographische Hashfunktionen: Historie, Angriffe und aktuell sichere Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2014 (2015), Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Tagung, 21.-22.04.2015, Stuttgart, Germany, pp. 79-94, 2014, GI, 978-3-88579-634-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2014 (2015), Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Tagung, 21.-22.04.2015, Stuttgart, Germany, pp. 125-139, 2014, GI, 978-3-88579-634-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Stefan Kaufmann 0003 |
Implementation and adaptation of the Pseudonymous PKI for Ubiquitous Computing for Car-2-Car Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2014 (2015), Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Tagung, 21.-22.04.2015, Stuttgart, Germany, pp. 95-108, 2014, GI, 978-3-88579-634-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Benjamin Glas, Jens Gramm, Priyamvadha Vembar |
Towards an Information Security Framework for the Automotive Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![In: Automotive - Safety & Security 2014 (2015), Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Tagung, 21.-22.04.2015, Stuttgart, Germany, pp. 109-124, 2014, GI, 978-3-88579-634-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive - Safety & Security ![GI, 978-3-88579-604-6 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Rupak Majumdar |
Lecture Notes on Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Safety and Security ![In: Software Safety and Security - Tools for Analysis and Verification, pp. 182-204, 2012, IOS Press, 978-1-61499-027-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Bruno Blanchet |
Mechanizing Game-Based Proofs of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Safety and Security ![In: Software Safety and Security - Tools for Analysis and Verification, pp. 1-25, 2012, IOS Press, 978-1-61499-027-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Hedin, Andrei Sabelfeld |
A Perspective on Information-Flow Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Safety and Security ![In: Software Safety and Security - Tools for Analysis and Verification, pp. 319-347, 2012, IOS Press, 978-1-61499-027-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Tobias Nipkow |
Interactive Proof: Introduction to Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Safety and Security ![In: Software Safety and Security - Tools for Analysis and Verification, pp. 254-285, 2012, IOS Press, 978-1-61499-027-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Jason Koenig, K. Rustan M. Leino |
Getting Started with Dafny: A Guide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Safety and Security ![In: Software Safety and Security - Tools for Analysis and Verification, pp. 152-181, 2012, IOS Press, 978-1-61499-027-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Georg Weissenbacher, Sharad Malik |
Boolean Satisfiability Solvers: Techniques and Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Safety and Security ![In: Software Safety and Security - Tools for Analysis and Verification, pp. 205-253, 2012, IOS Press, 978-1-61499-027-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Marta Z. Kwiatkowska, David Parker 0001 |
Advances in Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Safety and Security ![In: Software Safety and Security - Tools for Analysis and Verification, pp. 126-151, 2012, IOS Press, 978-1-61499-027-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 31108 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|