Result 1 to 20 of 805 total
A novel approach for safety culture assessment. (English)
Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 20, Suppl. 1, 1-15 (2012).
1
Parallelizing the SPIN model checker. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 155-171 (2012).
2
A quantitative approach for inexact enforcement of security policies. (English)
Gollmann, Dieter (ed.) et al., Information security. 15th international conference, ISC 2012, Passau, Germany, September 19‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33382-8/pbk). Lecture Notes in Computer Science 7483, 306-321 (2012).
3
Identifying hardware failures systematically. (English)
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 115-130 (2012).
4
An approach using the B method to formal verification of PLC programs in an industrial setting. (English)
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 19-34 (2012).
5
Asynchronous event handling and safety critical Java. (English)
Concurrency Comput. Pract. Exp. 24, No. 8, 813-832 (2012).
6
Java supervenience. (English)
Comput. Lang. Syst. Struct. 38, No. 1, 73-97 (2012).
7
Identification and estimation of factors influencing logistic process safety in a network context with the use of grey system theory. (English)
Pan, Jeng-Shyang (ed.) et al., Intelligent information and database systems. 4th Asian conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19‒21, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-28486-1/pbk). Lecture Notes in Computer Science 7196. Lecture Notes in Artificial Intelligence, 469-477 (2012).
8
Verification of safety-critical systems: a case study report on using modern model checking tools. (English)
Brauer, Jörg (ed.) et al., 6th international workshop on systems software verification, SSV’11, August 26, 2011, Nijmegen, The Netherlands. Papers based on the presentations at the workshop. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-36-1). OASIcs ‒ OpenAccess Series in Informatics 24, 44-56, electronic only (2012).
9
Symbolic bounded synthesis. (English)
Form. Methods Syst. Des. 40, No. 2, 232-262 (2012).
10
Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics. (English)
Form. Methods Syst. Des. 40, No. 2, 147-169 (2012).
11
Formal verification of PLC programs using the B method. (English)
Derrick, John (ed.) et al., Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). Lecture Notes in Computer Science 7316, 353-356 (2012).
12
Trace queries for safety requirements in high assurance systems. (English)
Regnell, Björn (ed.) et al., Requirements engineering: foundation for software quality. 18th international working conference, REFSQ 2012, Essen, Germany, March 19‒22, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28713-8/pbk). Lecture Notes in Computer Science 7195, 179-193 (2012).
13
Supporting failure mode and effect analysis: a case study with failure sequence diagrams. (English)
Regnell, Björn (ed.) et al., Requirements engineering: foundation for software quality. 18th international working conference, REFSQ 2012, Essen, Germany, March 19‒22, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28713-8/pbk). Lecture Notes in Computer Science 7195, 117-131 (2012).
14
Simulation of portal vein clamping and the impact of safety margins for liver resection planning. (English)
Yoshida, Hiroyuki (ed.) et al., Abdominal imaging. Computational and clinical applications. Third international workshop, held in conjunction with MICCAI 2011, Toronto, ON, Canada, September 18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28556-1/pbk). Lecture Notes in Computer Science 7029, 149-156 (2012).
15
Acacia+, a tool for LTL synthesis. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 652-657 (2012).
16
Development of a framework to determine a mandatory safety baseline for unmanned aircraft systems. (English)
J. Intell. Robot. Syst. 65, No. 1-4, 3-26 (2012).
17
A safety case pattern for model-based development approach. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 141-146 (2012).
18
Modifying test suite composition to enable effective predicate-level statistical debugging. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 70-84 (2012).
19
Formal verification by abstract interpretation. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 3-7 (2012).
20
Result 1 to 20 of 805 total
Start
Contact
Print
General Help
