TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 12.

Steinhöfel, Dominic and Hähnle, Reiner
Margaria, Tiziana and Steffen, Bernhard (eds.) (2018):
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling, Cham, Springer International Publishing, pp. 424-447, DOI: 10.1007/978-3-030-03418-4_25,
[Online-Edition: https://doi.org/10.1007/978-3-030-03418-4_25],
[Book Section]

ter Beek, Maurice H. and Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and Steffen, Bernhard (eds.) (2016):
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, In: Lecture Notes in Computer Science, 9952, DOI: 10.1007/978-3-319-47166-2₅₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_51],
[Conference or Workshop Item]

Bodden, Eric and Pun, Ka I. and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina
Margaria, Tiziana and Steffen, Bernhard (eds.) (2016):
Information Flow Analysis for Go.
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Springer International Publishing, pp. 431-445, DOI: 10.1007/978-3-319-47166-2_30,
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_30],
[Book Section]

Hähnle, Reiner and Muschevici, Radu
Margaria, Tiziana and Steffen, Bernhard (eds.) (2016):
Towards Incremental Validation of Railway Systems.
In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, In: Lecture Notes in Computer Science, 9953, DOI: 10.1007/978-3-319-47169-3₃₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-47169-3_36],
[Conference or Workshop Item]

Hähnle, Reiner and Johnsen, Einar Broch
Margaria, Tiziana and Steffen, Bernhard (eds.) (2014):
Introduction to Track on Engineering Virtualized Services.
Springer, In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, In: Lecture Notes in Computer Science, 8803, DOI: 10.1007/978-3-662-45231-8₁,
[Online-Edition: https://doi.org/10.1007/978-3-662-45231-8_1],
[Conference or Workshop Item]

Novelli, Francesco
Herzwurm, Georg and Margaria, Tiziana (eds.) (2013):
Measuring Sales Cannibalization in Information Technology Markets: Conceptual Foundations and Research Issues.
In: 4th International Conference on Software Business, Springer, [Online-Edition: http://www.springer.com/series/7911],
[Book Section]

Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and Steffen, Bernhard (eds.) (2012):
Adaptable and Evolving Software for Eternal Systems - (Track Summary).
Springer, In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, In: Lecture Notes in Computer Science, 7609, DOI: 10.1007/978-3-642-34026-0₁,
[Online-Edition: https://doi.org/10.1007/978-3-642-34026-0_1],
[Conference or Workshop Item]

Hähnle, Reiner and Knoop, Jens and Margaria, Tiziana and Schreiner, Dietmar and Steffen, Bernhard (eds.) (2012):
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers.
Springer, In: Communications in Computer and Information Science, 336, ISBN 978-3-642-34780-1,
DOI: 10.1007/978-3-642-34781-8,
[Online-Edition: https://doi.org/10.1007/978-3-642-34781-8],
[Book]

Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and Steffen, Bernhard (eds.) (2012):
A Liskov Principle for Delta-Oriented Programming.
Springer, In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, In: Lecture Notes in Computer Science, 7609, DOI: 10.1007/978-3-642-34026-0₄,
[Online-Edition: https://doi.org/10.1007/978-3-642-34026-0_4],
[Conference or Workshop Item]

Lochau, Malte and Kamischke, Jochen
Margaria, Tiziana and Steffen, Bernhard (eds.) (2012):
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Springer Berlin Heidelberg, In: Lecture Notes in Computer Science, 7609, ISBN 978-3-642-34025-3,
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-34026-0_17],
[Conference or Workshop Item]

Hähnle, Reiner
Margaria, Tiziana and Steffen, Bernhard (eds.) (2010):
HATS: Highly Adaptable and Trustworthy Software using Formal Models.
In: Proceedings 4th International Symposium On Leveraging Applications of Formal Methods (ISoLA), Part II, Verification and Validation, Heraclion, Crete, Springer-Verlag, In: LNCS, 6416, DOI: 10.1007/978-3-642-16561-0_2,
[Online-Edition: https://doi.org/10.1007/978-3-642-16561-0_2],
[Conference or Workshop Item]

Hähnle, Reiner
Margaria, Tiziana and Steffen, Bernhard (eds.) (2010):
Task Forces in the EternalS Coordination Action.
In: Proc. 4th International Symposium On Leveraging Applications of Formal Methods (ISoLA), Part II, Verification and Validation, Heraclion, Crete, Springer-Verlag, In: LNCS, 6416, [Conference or Workshop Item]

This list was generated on Tue Aug 20 00:24:06 2019 CEST.