|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1958 occurrences of 945 keywords
|
|
|
Results
Found 3572 publication records. Showing 3572 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
38 | William Currie Colket |
Code analysis of saftey-critical and real-time software using ASIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999., pp. 67-76, 1999, ACM, 1-58113-127-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile |
37 | 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 |
|
37 | Praful V. Bhansali |
Universal software safety standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(5), pp. 1-4, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, validation, software safety, system safety |
36 | Krzysztof Czarnecki 0001, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf |
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 231-244, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
language tools, verification, static analysis, quality assurance, safety critical, ASIS, SPARK, mission critical |
36 | Horst F. Wedde, Sabine Böhm, Wolfgang Freund |
Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 8-10 January 2001, Rome, Italy, pp. 169-178, 2001, IEEE Computer Society, 0-7695-1068-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
adaptive transaction management, adaptive concurrency control, real-time systems, safety-critical systems, Distributed operating systems |
36 | Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris |
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. ![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. 45-59, 1998, Springer, 3-540-65110-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci |
Automatic Analysis of a Safety Critical Tele Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, pp. 94-107, 2005, Springer, 3-540-29200-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee |
PLC-Based Safety Critical Software Development for Nuclear Power Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 155-165, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Alek Radjenovic, Richard F. Paige |
The View Glue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA], pp. 66-88, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
view consistency, modelling, software architectures, safety critical systems, architectural views |
35 | 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 |
35 | Mats Per Erik Heimdahl, David J. Keenan |
Generating Code from Hierarchical State-Based Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 3rd IEEE International Symposium on Requirements Engineering (RE'97), January 5-8, 1997, Annapolis, MD, USA, pp. 210-, 1997, IEEE Computer Society, 0-8186-7740-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hierarchical state-based requirements, safety-critical embedded computer systems, environmental damage, monetary loss, Irvine Safety Research Group, requirements specification language, Requirements State Machine Language, formal specification, code generation, system complexity, RSML |
35 | Josh Dehlinger, Robyn R. Lutz |
Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Formal Foundations of Reuse and Domain Engineering, 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings, pp. 160-169, 2009, Springer, 978-3-642-04210-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reusable safety analysis assets, safety aspects of reuse, product-line software fault tree analysis, multi-agent system product lines |
35 | 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 |
|
35 | Zeshan Kurd, Tim Kelly |
Using Fuzzy Self-Organising Maps for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 17-30, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran |
Security Assessments of Safety Critical Systems Using HAZOPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001, Proceedings, pp. 14-24, 2001, Springer, 3-540-42607-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Marco Bozzano, Adolfo Villafiorita |
The FSAP/NuSMV-SA Safety Analysis Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(1), pp. 5-24, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso 0001 |
Application of Safety Analyses in Model Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers, pp. 93-104, 2007, Springer, 978-3-540-75663-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Haeng-Kon Kim, Youn-Ky Chung |
Automatic Translation Form Requirements Model into Use Cases Modeling on UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part III, pp. 769-777, 2005, Springer, 3-540-25862-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML, use cases, CBD, safety analysis, safety requirements |
34 | Zhongwei Xu, Bangxing Chen |
Damage Size and Software Safety Demonstration Stress Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, pp. 509, 2003, IEEE Computer Society, 0-7695-1951-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Annette Böhm, Magnus Jonsson |
Supporting real-time data traffic in safety-critical vehicle-to-infrastructure communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: LCN 2008, The 33rd IEEE Conference on Local Computer Networks, The Conference on Leading Edge and Practical Computer Networking, Hyatt Regency Montreal, Montreal, Quebec, Canada, 14-17 October 2008, Proceedings, pp. 614-621, 2008, IEEE Computer Society, 978-1-4244-2412-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Jing Liu, Josh Dehlinger, Hongyu Sun 0001, Robyn R. Lutz |
State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA, pp. 596-608, 2007, IEEE Computer Society, 0-7695-2772-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Thuy Nguyen, Alain Ourghanlian |
Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 75-79, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Jan Jürjens |
Developing Safety-Critical Systems with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, pp. 360-372, 2003, Springer, 3-540-20243-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Alek Radjenovic, Richard F. Paige |
Architecture Description Languages for High-Integrity Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(2), pp. 71-79, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
software architecture, architecture description languages, safety-critical systems, modeling methodologies, model development |
33 | Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer |
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(4), pp. 320-330, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Novice users of formal-methods-based tools, Software requirements analysis, Software for medical devices, Model checking, Safety-critical systems |
32 | Robyn R. Lutz, Ann Patterson-Hine |
Using Fault Modeling in Safety Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA, pp. 271-276, 2008, IEEE Computer Society, 978-0-7695-3405-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Chris W. Johnson 0001 |
CyberSafety: CyberSecurity and Safety-Critical Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 85-95, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Fergus Duncan |
At the Sharp End: developing and validating Safety Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 225-235, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Armin Beer, Bernhard Peischl |
Testing of Safety-Critical Systems - a Structural Approach to Test Case Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 187-211, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Bryan Bakker |
Testing Experiences of Safety-Critical Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 169-186, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim |
Testing of Safety-Critical Software Embedded in an Artificial Heart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 143-153, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Thomas Docker |
A Project Manager's View of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 73-88, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Fan Ye 0005, Tim Kelly |
Contract-Based Justification for COTS Component within Safety Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 13-22, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
32 | Felix Redmill |
A Community Club on Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 41-48, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
32 | John McMullan |
Negligence: Engineering Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 63-72, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
32 | Tony Cant |
Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 9-16, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
32 | Peter A. Lindsay |
Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001, pp. 31-38, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
32 | Simon Connelly, Jay Burmeister, Anthony MacDonald, Andrew Hussey |
Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001, pp. 39-50, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
32 | Brian Butka, Janusz Zalewski, Andrew J. Kornecki |
Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. ![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. 201-214, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Tool Qualification, Formal Methods, Safety-Critical Systems, Hardware Design, HDL, PLD |
32 | Fergal McCaffery, Minna Pikkarainen, Ita Richardson |
Ahaa --agile, hybrid assessment method for automotive, safety critical smes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 551-560, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
assessment methods, automotive spice, software process improvement, cmmi, safety-critical, agile practices |
32 | Ricky E. Sward, Mark Gerken |
Developing safety critical software for an unmanned aerial vehicle situational awareness tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006, pp. 45-50, 2006, ACM, 1-59593-563-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formal methods, UAV, unmanned aerial vehicle, safety critical, SPARK, high integrity |
32 | Sven Burmester, Holger Giese, Martin Hirsch 0001, Daniela Schilling, Matthias Tichy |
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 670-671, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model checking, UML, embedded systems, real-time, MDA, safety-critical |
32 | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini |
Fault-tolerant platforms for automotive safety-critical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2003, San Jose, California, USA, October 30 - November 1, 2003, pp. 170-177, 2003, ACM, 1-58113-676-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
fault-tolerant, VLSI, system-on-a-chip, automotive, safety critical, multi-processor |
32 | Fangmei Wu, Meng Li |
Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 247-250, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
dynamic decision table, software testing, safety-critical software, interlocking |
32 | Guy A. Boy |
Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceeding of the CHI '98 Conference on Human Factors in Computing Systems, Los Angeles, California, USA, April 18-23, 1998., pp. 265-272, 1998, ACM, 0-201-30987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
function allocation, evaluation, participatory design, automation, safety critical systems, active documents, organizational memory systems, aeronautics |
32 | Harold W. Thimbleby |
Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , EICS 2009, Pittsburgh, PA, USA, July 15-17, 2009, pp. 221-230, 2009, ACM, 978-1-60558-600-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
discovery tools, model checking, interaction programming |
31 | Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn |
A Profile for Safety Critical Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece, pp. 94-101, 2007, IEEE Computer Society, 0-7695-2765-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Martin Schoeberl, Jan Vitek |
Garbage collection for safety critical Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria, pp. 85-93, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
real-time system, garbage collection |
31 | Alan Wassyng, Mark Lawford |
Software tools for safety-critical software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(4-5), pp. 337-354, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Tanya L. Crenshaw, Craig L. Robinson, Hui Ding, P. R. Kumar 0001, Lui Sha |
A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 5-8 December 2006, Rio de Janeiro, Brazil, pp. 127-136, 2006, IEEE Computer Society, 0-7695-2761-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Jing Guan, Jeff Offutt, Paul Ammann |
An industrial case study of structural testing applied to safety-critical embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2006 International Symposium on Empirical Software Engineering (ISESE 2006), September 21-22, 2006, Rio de Janeiro, Brazil, pp. 272-277, 2006, ACM, 1-59593-218-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
software testing, embedded software, industrial case study |
31 | Guido Pennella, Christian Di Biagio, Alessandro Colicchia, Gianfranco Pesce, Giovanni Cantone |
Monitoring Distributed Systems for Safety Critical Software: A Goal-Driven Approach and Prototype-Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA Workshops ![In: Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops, ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006, Proceedings, pp. 241-250, 2006, Springer, 3-540-49860-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Performance-measurement Tools, Software engineering, Hard Real-time Systems, Distributed and parallel systems |
31 | Jens Brandt 0001, Klaus Schneider 0001 |
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings, pp. 405-417, 2005, Springer, 3-540-30807-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Lazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch |
A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 287-288, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Jan Jürjens, Siv Hilde Houmb |
Development of Safety-Critical Systems and Model-Based Risk Analysis with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings, pp. 364-365, 2003, Springer, 3-540-20224-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | M. D. Bennett, Neil C. Audsley |
Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings, pp. 183-190, 2001, IEEE Computer Society, 0-7695-1221-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Maurizio Rebaudengo, Matteo Sonza Reorda, Marco Torchiano, Massimo Violante |
An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 15th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2000), 25-27 October 2000, Yamanashi, Japan, Proceedings, pp. 257-265, 2000, IEEE Computer Society, 0-7695-0719-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | R. M. Newman |
Designing Hypermedia Documentation for Safety Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC ![In: 2000 International Symposium on Information Technology (ITCC 2000), 27-29 March 2000, Las Vegas, NV, USA, pp. 247-252, 2000, IEEE Computer Society, 0-7695-0540-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Marc Richard-Foy |
Safe Ada Executive: An Executive for Ada Safety Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings, pp. 11-20, 1995, Springer, 3-540-60757-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Ghaith Haddad, Faraz Hussain 0001, Gary T. Leavens |
The design of SafeJML, a specification language for SCJ with support for WCET specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 155-163, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SafeJML, java modeling language (JML), safety critical Java (SCJ), performance, WCET, timing behavior, duration |
31 | Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy |
Use of PERC Pico in the AIDA avionics platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009, pp. 169-178, 2009, ACM, 978-1-60558-732-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ARINC 653, DO-178C, SCJT, aeronautic certification, safety-critical real-time systems, Java, RTSJ |
31 | Hermann Kopetz, Astrit Ademaj, Petr Grillinger, Klaus Steinhammer |
The Time-Triggered Ethernet (TTE) Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 18-20 May 2005, Seattle, WA, USA, pp. 22-33, 2005, IEEE Computer Society, 0-7695-2356-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerant, multimedia, communication, real-time, Ethernet, safety-critical, communication architecture |
31 | Steve King 0001, Jonathan Hammond, Roderick Chapman, Andy Pryor |
Is Proof More Cost-Effective Than Testing? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(8), pp. 675-686, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
specification proof, code proof, proof vs. testing, formal specification, Safety-critical software, industrial case study, SPARK |
31 | Simeon Veloudis, Nimal Nissanke |
Modelling Coordinated Atomic Actions in Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings, pp. 228-239, 2000, Springer, 3-540-41055-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
CA actions, real-time systems, safety-critical systems, Timed CSP |
31 | Bojan Cukic |
Combining Testing and Correctness Verification in Software Reliability Assessment. ![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. 182-187, 1997, IEEE Computer Society, 0-8186-7971-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
probability of correctness, process-control software, Software reliability, safety-critical systems, statistical sampling |
31 | Markus Krug 0004, Anton V. Schedl |
New demands for invehicle networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 601-605, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
in-vehicle communication networks, brake-by-wire system, steer-by-wire system, fault-tolerant communication systems, safety-critical applications, automotive electronics |
31 | E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull |
Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 3rd Working Conference on Reverse Engineering, WCRE '96, Monterey, CA, USA, November 8-10, 1996, pp. 239-248, 1996, IEEE Computer Society, 0-8186-7674-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems |
31 | Andrew J. Kornecki, Brian Butka, Janusz Zalewski |
Software Tools for Safety-Critical Systems According to DO-254. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 41(12), pp. 112-115, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Jonas Elmqvist, Simin Nadjm-Tehrani |
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 154-164, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Hamdan Dammag, Nimal Nissanke |
Safecharts for Specifying and Designing Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: The Eighteenth Symposium on Reliable Distributed Systems, SRDS 1999, Lausanne, Switzerland, October 19-22, 1999, Proceedings, pp. 78-87, 1999, IEEE Computer Society, 0-7695-0290-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Lars-Henrik Eriksson |
Using Formal Methods in a Retrospective Safety Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 31-44, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea |
Safety Interfaces for Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, pp. 246-260, 2005, Springer, 3-540-29200-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Benjamin M. Brosgol, Andy J. Wellings |
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings, pp. 13-26, 2006, Springer, 3-540-34663-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Michael Vollmer 0002 |
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 269-282, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | D. A. Haverkamp, R. J. Richards |
Towards Safety Critical Middleware for Avionics Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 6-8 November 2002, Tampa, FL, USA, Proceedings, pp. 716-722, 2002, IEEE Computer Society, 0-7695-1591-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | R. M. Newman |
Verifying Sequence and Content for Safety Critical Hypermedia Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands, pp. 2120-2125, 2000, IEEE Computer Society, 0-7695-0780-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Horst F. Wedde, Jon A. Lind |
Novel Principles for Developing and Evaluating Distributed Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: The Fourth International Symposium on Autonomous Decentralized Systems, ISADS 1999, Tokyo, Japan, March 20-23, 1999, pp. 392-, 1999, IEEE Computer Society, 0-7695-0137-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Robyn R. Lutz, Ann Patterson-Hine, Stacy Nelson, Chad R. Frost, Doron Tal, Robert Harris |
Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 12(1), pp. 41-54, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Contingency requirements, Obstacle analysis, Anomaly handling, Autonomy, Safety-critical software, Requirements evolution |
29 | Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero |
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany, pp. 131-139, 2005, IEEE Computer Society, 0-7695-2377-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ERTMS/ETCS, Verification & Validation, Safety-Critical Systems, Functional Testing, Simulation Environments |
29 | Robyn R. Lutz, Stacy Nelson, Ann Patterson-Hine, Chad R. Frost, Doron Tal |
Identifying Contingency Requirements Using Obstacle Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France, pp. 263-272, 2005, IEEE Computer Society, 0-7695-2425-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
contingency requirements, obstacle analysis, anomaly-handling, autonomy, safety-critical software, requirements evolution |
29 | Jan Magott, Pawel Skrobanek |
A Method of Analysis of Fault Trees with Time Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings, pp. 176-186, 2000, Springer, 3-540-41186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Safety-Critical System, Protection, Time Petri Net, Fault Tree, Time Dependency |
29 | Yolanda González Arechavala, Fernando de Cuadra García |
MODUS: Integrated Behavior-Oriented Model for Rapid Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000), Paris, France, June 21-23, 2000, pp. 40-45, 2000, IEEE Computer Society, 0-7695-0668-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
software engineering, real-time systems, rapid prototyping, statecharts, safety-critical systems, CASE tools, integrated development environment, software development methods |
29 | Wolfgang A. Halang, Bernd J. Krämer |
Safety Assurance in Process Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(1), pp. 61-67, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control |
29 | Brian Dobbing, Marc Richard-Foy |
T-SMART - Task-Safe, Minimal Ada Realtime Toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings, pp. 244-253, 1997, Springer, 3-540-63114-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Ada83, Software Reliability, Certification, Ada 95 |
28 | Mats Per Erik Heimdahl |
Safety and Software Intensive Systems: Challenges Old and New. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSE ![In: International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, pp. 137-152, 2007, IEEE Computer Society, 0-7695-2829-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Elena Navarro 0001, Pedro Sánchez, Patricio Letelier 0001, Juan Angel Pastor, Isidro Ramos |
A Goal-Oriented Approach for Safety Requirements Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany, pp. 319-326, 2006, IEEE Computer Society, 0-7695-2546-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | D. Needham, S. Jones |
A Software Fault Tree Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA, pp. 401-410, 2006, IEEE Computer Society, 0-7695-2354-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Zeshan Kurd, Tim Kelly |
Establishing Safety Criteria for Artificial Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I, pp. 163-169, 2003, Springer, 3-540-40803-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Trent Jaeger, Jonathon Tidswell |
Practical safety in flexible access control models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 4(2), pp. 158-190, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
authorization mechanisms, role-based access control, Access control models |
28 | Lon D. Gowen |
Workshop on Software Safety-Summary of the '94 CMBS Syposium's Software Safety Workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Eighth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'95), June 9-10, 1995, Lubbock, Texas, USA, pp. 330-337, 1995, IEEE Computer Society, 0-8186-7117-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | David S. Hardin |
Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp. 1-8, 2008, IEEE, 978-1-4244-2735-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Alfred Rosskopf |
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings, pp. 183-197, 1996, Springer, 3-540-61317-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Robyn R. Lutz, Ines Carmen Mikulski |
Empirical Analysis of Safety-Critical Anomalies During Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(3), pp. 172-180, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Software and system safety, diagnostics, product metrics, maintenance process |
27 | Robyn R. Lutz, Ines Carmen Mikulski |
Requirements Discovery during the Testing of Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pp. 578-585, 2003, IEEE Computer Society, 0-7695-1877-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Horst F. Wedde, Jon A. Lind |
Integration of task scheduling and file services in the safety-critical system MELODY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 17-19 June 1998, berlin, Germany, Proceedings, pp. 18-25, 1998, IEEE Computer Society, 0-8186-8503-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Kelvin Nilsen |
Ada-Java middleware for legacy software modernization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 85-94, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
mixed-language development, software modernization, Java, real-time, Ada, safety-critical, object oriented development, high-integrity systems, mission-critical |
27 | Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee 0001, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou |
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(4), pp. 308-319, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
CARA system, Requirements formalization, Formal methods, Safety-critical systems, Software verification |
27 | Sang Hyuk Son, Robert C. Beckinger, David A. Baker |
DRDB: a distributed real-time database server for high-assurance time-critical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 362-367, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
DRDB, distributed real time database server, high assurance time critical applications, critical tasks, scheduling decisions, concurrency control mechanisms, functional real time database server, operational platform, distributed real time database issues, distributed databases, timing constraints, data consistency, simulated environment, real time database systems, safety critical applications, operating environment |
27 | Hans Hansson, Harold W. Lawson, Mikael Strömberg, Sven Larsson |
BASEMENT: a distributed real-time architecture for vehicle applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 220-229, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
BASEMENT, distributed real-time architecture, vehicle applications, distributed real time architecture, vehicle internal use, guaranteed real time service, distributed devices, program development methodology, application oriented development, offline scheduler, intelligent cruise control application, real-time systems, distributed processing, resource sharing, multiplexing, operating system kernels, system simulator, safety critical applications, communication support, communication infrastructure, automobiles, computerised control, automotive industry, driver information systems, automotive electronics, real time kernel |
27 | Robert M. Newman, Elena I. Gaura |
Formal design of SMIL presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 21st annual international conference on Documentation, SIGDOC 2003, San Francisco, CA, USA, October 12-15, 2003, pp. 113-116, 2003, ACM, 1-58113-696-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
formal methods, SMIL, hypermedia design |
Displaying result #101 - #200 of 3572 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|