History

Please fill in your query. A complete syntax description you will find on the General Help page.

Result 61 to 80 of 730 total

A new mathematical model for analytical risk assessment and prediction in IT systems. (English)
Control Cybern. 41, No. 1, 241-267 (2012).
61
A lightweight methodology for safety case assembly. (English)
Ortmeier, Frank (ed.) et al., Computer safety, reliability, and security. 31st international conference, SAFECOMP 2012, Magdeburg, Germany, September 25‒28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33677-5/pbk). Lecture Notes in Computer Science 7612, 1-12 (2012).
62
Automated generation of safety requirements from railway interlocking tables. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification and validation. Applications and case studies. 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15‒18, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-34031-4/pbk). Lecture Notes in Computer Science 7610, 261-275 (2012).
63
A development process for usable large scale interactive critical systems: Application to satellite ground segments. (English)
Winckler, Marco (ed.) et al., Human-centered software engineering. 4th international conference, HCSE 2012, Toulouse, France, October 29‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-34346-9/pbk). Lecture Notes in Computer Science 7623, 72-93 (2012).
64
AdvoCATE: An assurance case automation toolset. (English)
Ortmeier, Frank (ed.) et al., Computer safety, reliability, and security. SAFECOMP 2012 workshops: Sassur, ascoms, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25‒28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33674-4/pbk). Lecture Notes in Computer Science 7613, 8-21 (2012).
65
Formal software verification at model and at source code levels. (English)
Abelló, Alberto (ed.) et al., Model and data engineering. 2nd international conference, MEDI 2012, Poitiers, France, October 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33608-9/pbk). Lecture Notes in Computer Science 7602, 162-169 (2012).
66
Integrating a formal development for dsls into meta-modeling. (English)
Abelló, Alberto (ed.) et al., Model and data engineering. 2nd international conference, MEDI 2012, Poitiers, France, October 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33608-9/pbk). Lecture Notes in Computer Science 7602, 55-66 (2012).
67
Contracts + goals = roles? (English)
Atzeni, Paolo (ed.) et al., Conceptual modeling. 31st international conference ER 2012, Florence, Italy, October 15‒18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-34001-7/pbk). Lecture Notes in Computer Science 7532, 252-266 (2012).
68
Locality in reasoning about graph transformations. (English)
Schürr, Andy (ed.) et al., Applications of graph transformations with industrial relevance. 4th international symposium, AGTIVE 2011, Budapest, Hungary, October 4‒7, 2011. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-34175-5/pbk). Lecture Notes in Computer Science 7233, 169-181 (2012).
69
Improving the semantics of the software cost reduction method. (English)
J. Appl. Log. 10, No. 4, 410-418 (2012).
70
Configuration repair via flow networks. (English)
Chen, Li (ed.) et al., Foundations of intelligent systems. 20th international symposium, ISMIS 2012. Macau, China, December 4‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-34623-1/pbk). Lecture Notes in Computer Science 7661. Lecture Notes in Artificial Intelligence, 321-330 (2012).
71
Towards a linear algebra of programming. (English)
Formal Asp. Comput. 24, No. 4-6, 433-458 (2012).
72
Reo + $\mathrm{mCRL2}$: a framework for model-checking dataflow in service compositions. (English)
Formal Asp. Comput. 24, No. 2, 187-216 (2012).
73
Decidability of well-connectedness for distributed synthesis. (English)
Inf. Process. Lett. 112, No. 24, 963-968 (2012).
74
Scenario modeling and verification for business processes. (English)
Jezic, Gordan (ed.) et al., Agent and multi-agent systems. Technologies and applications. 6th KES international conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30946-5/pbk). Lecture Notes in Computer Science 7327. Lecture Notes in Artificial Intelligence, 414-423 (2012).
75
Symbolic synthesis of masking fault-tolerant distributed programs. (English)
Distrib. Comput. 25, No. 1, 83-108 (2012).
76
Verification of aspectual composition in feature-modeling. (English)
Eleftherakis, George (ed.) et al., Software engineering and formal methods. 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33825-0/pbk). Lecture Notes in Computer Science 7504, 109-125 (2012).
77
Specification and quantitative analysis of probabilistic cloud deployment patterns. (English)
Eder, Kerstin (ed.) et al., Hardware and software: verification and testing. 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6‒8, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34187-8/pbk). Lecture Notes in Computer Science 7261, 145-159 (2012).
78
Experience report on designing and developing control components using formal methods. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 341-355 (2012).
79
Compositionality and refinement in model-driven engineering. (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, 99-114 (2012).
80

Result 61 to 80 of 730 total