|
|
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 |
19 | Alastair Faulkner |
Safer Data: The use of data in the context of a railway control system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 217-230, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Alan Simpson, Joanne Stoker |
Will it be Safe? - An Approach to Engineering Safety Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 140-164, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Christopher W. Johnson 0001 |
Reasons for the Failure of Incident Reporting in the Healthcare and Rail Industries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 31-57, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Gunhild Halvorsrud |
The Åsta Train Crash, its Precursors and Consequences, and its Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 16-30, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Michael D. Harrison, P. D. Johnson, Peter C. Wright |
Automating functions in multi-agent control systems: supporting the decision process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 93-106, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Trevor A. Kletz |
Accident Investigation - Missed Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 3-15, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Carl Sandom |
Human Factors Considerations for System Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 125-139, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | John Spriggs |
Airport Risk Assessment: Examples, Models and Mitigations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 183-195, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Brian Sherwood Jones, Jonathan Earthy |
The Processes to Manage (and Minimise) the Human Risk in Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 107-122, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Brenton Atchison, Alena Griffiths |
Engineering SCADA Products for Use in Safety-Related Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 76-90, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Ken Frith, Andy Lovering |
The Management of Complex, Safety-Related Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 61-75, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Jack Crawford |
Integrated Design Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 167-182, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Gabe Mythen |
Communicating Risk: Reconfiguring Expert- Lay Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 196-213, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | A. Hutson-Smith |
e-Technology Excitement, Enlightenment and Risk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 231-243, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Peter A. Lindsay (eds.) |
Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![Australian Computer Society, 0-909-92581-X The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
19 | John Alexander McDermid |
Software Safety: Where's the Evidence? ![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. 1-6, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
19 | Philippa Conmy, John A. McDermid |
High Level Failure Analysis for Integrated Modular Avionics. ![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. 13-22, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
19 | John Jamieson |
Regulation of Medical Devices involving Software in Australia - an Overview. ![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. 7-12, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
19 | David Barney, David Haley, George Nikandros |
Calculating Train Braking Distance. ![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. 23-30, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
19 | Yiannis Papadopoulos, John A. McDermid |
A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 3(1), pp. 143-149, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Vassilis C. Gerogiannis, Ioannis Caragiannis, Manthos A. Tsoukarellas |
A general framework for applying safety analysis to safety critical real-time applications using fault trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, RTS 1997, 11-13 June, 1997, Toledo, Spain, pp. 168-175, 1997, IEEE Computer Society, 0-8186-8036-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Vladimir V. Sklyar, Vyacheslav Kharchenko |
Application of Business Analysis Techniques for Safety-Critical and Security-Critical Requirements Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DESSERT ![In: 13th International Conference on Dependable Systems, Services and Technologies, DESSERT 2023, Athens, Greece, October 13-15, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-9611-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Vladimir V. Sklyar, Vyacheslav Kharchenko |
Domain Specific Modelling and Language for Safety-Critical and Security-Critical Requirements Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DESSERT ![In: 12th International Conference on Dependable Systems, Services and Technologies, DESSERT 2022, Athens, Greece, December 9-11, 2022, pp. 1-7, 2022, IEEE, 979-8-3503-3304-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Pooja Singh, Lalit Kumar Singh |
Improved Measurement Accuracy in Critical Parameters of Safety-Critical Systems With Multisensor Data Fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 70, pp. 1-8, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Kizheppatt Vipin, Shanker Shreejith, Suhaib A. Fahmy, Arvind Easwaran |
Mapping Time-Critical Safety-Critical Cyber Physical Systems to Hybrid FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSNA ![In: 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2014, Hong Kong, China, August 25-26, 2014, pp. 31-36, 2014, IEEE Computer Society, 978-1-4799-5387-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Dongyao Ji, Yuming Wang |
Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 35(1), pp. 6-7, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien |
Towards verification-based development of in-vehicle safety critical software: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC-CARS ![In: 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010, pp. 35-38, 2010, ACM, 978-1-60558-915-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl |
Exhaustive testing of safety critical Java. ![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. 164-174, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SCJ, model checking, real-time Java, Java PathFinder |
19 | Anders P. Ravn, Martin Schoeberl |
Cyclic executive for safety-critical Java on chip-multiprocessors. ![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. 63-69, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Mohammad-Hamed Razmkhah, Seyed Ghassem Miremadi, Alireza Ejlali |
A Micro-FT-UART for Safety-Critical SoC-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 316-321, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine |
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 53-69, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Kohei Sakurai, Péter Bokor, Neeraj Suri |
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 261-270, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | David Hairion, S. Emeriau, E. Combot, Michel Sarlotte |
New safety critical radio altimeter for airbus and related design flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, pp. 684-688, 2007, EDA Consortium, San Jose, CA, USA, 978-3-9810801-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Christian Buckl, Matthias Regensburger, Alois C. Knoll, Gerhard Schrott |
Models for automatic generation of safety-critical real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria, pp. 580-587, 2007, IEEE Computer Society, 0-7695-2775-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Inseok Yang, Donggil Kim, Kyungmin Kang, Dongik Lee, Kyungsik Yoon |
Smart Actuator-Based Fault-Tolerant Control for Networked Safety-Critical Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 615-626, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Patrick Cousot |
Proving the absence of run-time errors in safety-critical avionics code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria, pp. 7-9, 2007, ACM, 978-1-59593-825-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Falk Salewski, Stefan Kowalewski |
The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Second International Symposium on Industrial Embedded Systems, SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6, 2007, pp. 78-85, 2007, IEEE, 1-4244-0840-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk |
On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for User Interface Design, 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings, pp. 140-154, 2007, Springer, 978-3-540-77221-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Scenarios based simulation, Task modelling, Model-based design, Dialog modelling |
19 | Xavier Lacaze, Philippe A. Palanque |
DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (2) ![In: Human-Computer Interaction - INTERACT 2007, 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II, pp. 525-540, 2007, Springer, 978-3-540-74799-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Matthias Regensburger, Christian Buckl, Alois C. Knoll, Gerhard Schrott |
Model Based Development of Safety-Critical Systems Using Template Based Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia, pp. 89-92, 2007, IEEE Computer Society, 0-7695-3054-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose |
Formalization and assessment of regulatory requirements for safety-critical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 2(3-4), pp. 165-178, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Regulatory requirements, Formal methods, Certification, Z notation |
19 | Jesper Kjeldskov, Jan Stage |
Making Conversations Persistent through Computer Mediation: Coordination in a Safety-Critical Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Harold W. Thimbleby |
Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers, pp. 52-66, 2006, Springer, 978-3-540-69553-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn |
On the Formal Development of Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 362-373, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Wei Dong 0006, Ji Wang 0001 |
Contract-Based Formal Specification of Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 2, pp. 7-8, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Angelo Corsaro |
CARDAMOM: A Next Generation Mission and Safety Critical Enterprise Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2005, Seattle, WA, USA, May 16-17, 2005, pp. 73-74, 2005, IEEE Computer Society, 0-7695-2357-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Caiazza Alessandro, Roberto Di Maio, Fernando Scalabrini, Fabio Poli, Leonardo Impagliazzo, Arturo M. Amendola |
A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings, pp. 293-304, 2005, Springer, 3-540-25723-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Andrew J. Kornecki, Janusz Zalewski |
Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 193-200, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Gholamreza Latif Shabgahi, Julian M. Bass, Stuart Bennett |
A taxonomy for software voting algorithms used in safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 53(3), pp. 319-328, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Philip R. Cohen, David McGee |
Tangible multimodal interfaces for safety-critical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 47(1), pp. 41-46, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Seo Ryong Koo, Poong-Hyun Seong, Sung Deok Cha |
Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC). ![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. 283-284, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Per Johannessen, Fredrik Törner, Jan Torin |
Actuator Based Hazard Analysis 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. 130-141, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Sergiy A. Vilkomir, Aditya K. Ghose |
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product Focused Software Process Improvement, 5th International Conference, PROFES 2004, Kausai Science City, Japan, April 5-8, 2004, Proceedings, pp. 523-537, 2004, Springer, 3-540-21421-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar |
A Randomised Test Approach to Testing Safety Critical Ada Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, pp. 190-199, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | P. V. Bhansali |
A systematic approach to identifying a safe subset for safety-critical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 28(4), pp. 1, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
safe subset, programming languages, design methodologies |
19 | Johann Schumann |
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings, pp. 3, 2003, Springer, 3-540-40787-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Andrew J. Kornecki, Janusz Zalewski |
Design Tool Assessment for Safety-Critical Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 3-4 December 2003, Greenbelt, Maryland, USA, pp. 105, 2003, IEEE Computer Society, 0-7695-2064-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam |
Testing Safety Critical Ada Code Using Non Real Time Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 382-392, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Tim Oodes, Holger Krisp, Christian Müller-Schloer |
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS ![In: Trends in Network and Pervasive Computing - ARCS 2002, International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002, Proceedings, pp. 195-208, 2002, Springer, 3-540-43409-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival |
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Essence of Computation ![In: The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday], pp. 85-108, 2002, Springer, 3-540-00326-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Örjan Askerdal, Magnus Gäfvert, Martin Hiller, Neeraj Suri |
A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan, pp. 105-116, 2002, IEEE Computer Society, 0-7695-1852-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | John M. Rushby |
Bus Architectures for Safety-Critical Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings, pp. 306-323, 2001, Springer, 3-540-42673-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Daeyoung Kim 0001, Yoonmee Doh, Yann-Hang Lee |
Table Driven Proportional Access Based Real-Time Ethernet for Safety-Critical Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea, pp. 356-363, 2001, IEEE Computer Society, 0-7695-1414-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Sacha Brostoff, Martina Angela Sasse |
Safe and sound: a safety-critical approach to security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSPW ![In: Proceedings of the New Security Paradigms Workshop 2001, Cloudcroft, New Mexico, USA, September 10-13, 2001, pp. 41-50, 2001, ACM, 1-58113-457-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Juan-Carlos Ruiz-Garcia, Jean-Charles Fabre, Pascale Thévenod-Fosse |
Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reflection ![In: Metalevel Architectures and Separation of Crosscutting Concerns, Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001, Proceedings, pp. 134-152, 2001, Springer, 3-540-42618-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Darren Foulger, Steve King 0001 |
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings, pp. 229-240, 2001, Springer, 3-540-42123-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Francesca Saglietti |
Evaluation of Pre-Developed Software for Usage in Safety-Critical 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. 2193-2199, 2000, IEEE Computer Society, 0-7695-0780-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Steininger, Christoph Scherrer |
On the Necessity of On-Line-BIST in Safety-Critical Applications - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 208-215, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Gerald Sonneck, Erwin Schoitsch |
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings, pp. 39-45, 1999, Springer, 3-540-66488-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Johannes Lauber, Christian Steger, Reinhold Weiss |
Autonomous Agents for Online Diagnosis of a Safety-critical System based on Probabilistic Causal Reasoning. ![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. 213-219, 1999, IEEE Computer Society, 0-7695-0137-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Iain Bate, Alan Burns 0001 |
A Framework for Scheduling in Safety-Critical Embedded Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 46-53, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | R. Welge, Christian Müller-Schloer |
Graphical Design of Embedded Control System Software Based on SDL/RealTime with Special Support for Safety Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), Clearwater, Florida, USA, June 16-18, 1999, pp. 184-189, 1999, IEEE Computer Society, 0-7695-0246-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Roderick Chapman, Robert Dewar |
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 39-51, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Ada Language and Tools, High Integrity Systems |
19 | Nagarajan Kandasamy, John P. Hayes, Brian T. Murray |
Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded 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. 212-221, 1999, IEEE Computer Society, 0-7695-0290-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Haiying Tu, Fangmei Wu, Xiaoxu Ren |
Rough-Hierarchical Testing for Safety Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, pp. 126-130, 1998, IEEE Computer Society, 0-8186-8277-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu |
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 202-213, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Miroslav Svéda |
An Approach to Safety Critical Systems Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings, pp. 34-49, 1997, Springer, 3-540-63811-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Jan Peleska 0001 |
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, pp. 39-59, 1996, Springer, 3-540-60973-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
test driver, test monitors, refinement, test generation, CSP, reactive systems, test oracles, FDR |
19 | Matthias Weber |
Combining Statecharts and Z for the Design of Safety-Critical Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, pp. 307-326, 1996, Springer, 3-540-60973-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Jonathan P. Bowen, Victoria Stavridou |
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 183-195, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Glenn Bruns |
A Case Study in Safety-Critical Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings, pp. 220-233, 1992, Springer, 3-540-56496-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Jonathan S. Ostroff |
Verification of Safety Critical Systems Using TTM/RTTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 573-602, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Verification, Timed Transition Systems, Real-time Temporal Logic |
19 | Irem Y. Tumer, Carol S. Smidts |
Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 60(8), pp. 1072-1084, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Integrated design-stage analysis, software-hardware reliability, failure propagation analysis, safety-critical systems, formalisms |
19 | Abdoulaye Gamatié, Thierry Gautier |
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 21(5), pp. 641-657, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
correct-by-construction design methodology, safety-critical domains, asynchronous mechanisms, multiclock, Signal language, Distributed embedded systems, formal validation, synchronous model |
19 | Gerhard Grießnig, Roland Mader, Christian Steger, Reinhold Weiss |
Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 206-212, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
safety-critical embedded system, fail-safe system, safety function, safety, CPLD, IEC 61508 |
19 | Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 22nd Euromicro Conference on Real-Time Systems, ECRTS 2010, Brussels, Belgium, July 6-9, 2010, pp. 239-248, 2010, IEEE Computer Society, 978-0-7695-4111-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
sotware validation, real-time systems, formal verification, safety-critical systems, cyber-physical systems, Medical Devices, pacemaker |
19 | Daniele Grasso, Alessandro Fantechi, Alessio Ferrari 0001, Carlo Becheri, Stefano Bacherini |
Model Based Testing and Abstract Interpretation in the Railway Signaling Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 103-106, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
abstract interpretation, model based testing, safety critical, railway signaling |
19 | W. Eric Wong, Vidroha Debroy, Adithya Surampudi, HyeonJeong Kim, Michael F. Siok |
Recent Catastrophic Accidents: Investigating How Software was Responsible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010, pp. 14-22, 2010, IEEE Computer Society, 978-0-7695-4086-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
catastrophic accidents, mishaps, safety-critical software systems, Software safety |
19 | Patrick J. Graydon, John C. Knight |
Software Process Synthesis in Assurance Based Development of Dependable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010, pp. 75-84, 2010, IEEE Computer Society, 978-0-7695-4007-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
assurance arguments, software processes, safety-critical systems, software assurance, software dependability |
19 | Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Markus von Detten, Ulrich Nickel 0002 |
Legacy component integration by the Fujaba real-time tool suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 267-270, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
integration, formal verification, model-driven engineering, safety-critical systems, legacy system |
19 | Yasser Sedaghat, Seyed Ghassem Miremadi |
Categorizing and Analysis of Activated Faults in the FlexRay Communication Controller Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETS ![In: 14th IEEE European Test Symposium, ETS 2009, Sevilla, Spain, May 25-29, 2009, pp. 121-126, 2009, IEEE Computer Society, 978-0-7695-3703-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
FlexRay protocol, Fault injection, Distributed embedded systems, Safety-critical applications |
19 | Jean-François Ladry, David Navarre, Philippe A. Palanque |
Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 11th International Conference on Multimodal Interfaces, ICMI 2009, Cambridge, Massachusetts, USA, November 2-4, 2009, pp. 185-192, 2009, ACM, 978-1-60558-772-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fusion engines, interactive software engineering, safety-critical interactive systems, multimodal interfaces, formal description techniques, model-based approaches |
19 | Hassan Reza, Malvika Pimple, Varun Krishna, Jared Hildle |
A Safety Analysis Method Using Fault Tree Analysis and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 1089-1094, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
forward and backward reachability analysis, Petri nets, safety critical systems, fault tree analysis |
19 | Sebastian Denef, Leonardo Ramirez, Tobias Dyrks |
Letting tools talk: interactive technology for firefighting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 4447-4452, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
safety-critical hci, ubiquitous computing, ethnography, firefighting |
19 | Martin Christof Kindsmüller, Maral Haar, Hannes Schulz, Michael Herczeg |
Designing User Interfaces for Smart-Applications for Operating Rooms and Intensive Care Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (2) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II, pp. 684-695, 2009, Springer, 978-3-642-03657-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Smart-Applications, OR, ICU, User Interface, Healthcare, Safety Critical Systems |
19 | David Monniaux |
The pitfalls of verifying floating-point computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(3), pp. 12:1-12:41, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AMD64, FPU, IA32, x87, Verification, Static analysis, Abstract interpretation, Program testing, Embedded software, Floating point, Safety-Critical Software, Rounding, PowerPC, IEEE-754 |
19 | Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold |
Analysis of Nested CRC with Additional Net Data in Communication. ![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. 126-138, 2008, Springer, 978-3-540-87697-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Cyclic Redundancy Check, Residual error probability, Safety-critical communication |
19 | Kelvin Nilsen |
Simple low-level real-time threading semantics to enable portability, efficiency, analyzability, and generality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA, pp. 125-134, 2008, ACM, 978-1-60558-337-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
safety-critical certification, Java, real-time, threading, RTSJ |
19 | Alexandre Scaico, Maria de Fátima Queiroz Vieira, Marckson R. F. de Sousa, Charles Santoni |
Investigating System Navigation Ergonomics through Model Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers, pp. 86-91, 2008, Springer, 978-3-540-70568-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
safety critical interfaces, Model based design, CPN |
19 | Martyn Thomas |
Unsafe Standardization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 40(11), pp. 109-111, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
software development, standards, safety-critical software |
Displaying result #601 - #700 of 3572 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|