Home | english  | Impressum | Sitemap | KIT
2013
Titel Autor(en) Quelle

Alfons Laarman, David Faragó

Proceedings of the 5th NASA Formal Methods Symposium (NFM 2013), NASA Ames Research Center, CA, USA, May 14-16, 2013. LNCS, Springer, 2013.



2012
Titel Autor(en) Quelle

18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012



2011
Titel Autor(en) Quelle

Dependable Software for Critical Infrastructures (DSCI), 2011

PhD thesis, Karlsruhe Institute of Technology. KIT Scientific Publishing, 2011

Science of Computer Programming 76 (10), Elsevier, 2011

31. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), am 3. und 4. Februar 2011 in Paderborn. Testing in modern IT-Contexts, ROI und KPIs des Testens.

International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Paris, France. LNCS 6528, Springer, 2011

International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Paris, France. LNCS 6528, Springer, 2011

17th International Symposium on Formal Methods (FM 2011), Limerick, Ireland. LNCS 6664, Springer, 2011. Best paper award at FM 2011.



2010
Titel Autor(en) Quelle

Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. LNCS 6371, Springer, 2010.

Lecture Notes in Informatics (LNI) Volume P-179 - Proceedings of the Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy).

testing experience, The Magazine for Professional Testers; 3/2010: Metrics, pages 104-106; Díaz & Hilterscheid, September 2010; ISSN 1866-5705.

Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010.

30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), Testing meets Agility. 17.06.2010

Logics for System Analysis (LfSA 2010), Edinburgh, UK, 2010

Embedded Real Time Software and Systems (ERTS² 2010), Toulouse, France, 2010

Digitale Bibliothek des KIT



2009
Titel Autor(en) Quelle

Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. LNCS, vol. 5578, pp. 50-67. Springer, Heidelberg (2009).

Digitales Volltextarchiv des KIT

7th International Symposium on Formal Methods for Components and Objects (FMCO 2008), Sophia Antipolis, France. LNCS 5751, Springer, 2009

Technical Report 2009-9, Department of Computer Science, University of Karlsruhe, 2009

7th International Conference on integrated Formal Methods (iFM 2009), Düsseldorf, Germany. LNCS 5423, Springer, 2009



2008
Titel Autor(en) Quelle

2nd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008), Rennes, France, 2008

5th International Verification Workshop (VERIFY'08),
Workshop at IJCAR 2008, Sydney, Australia, 2008

IEEE/IFIP WONS 2008,
The 5th International Conference on Wireless On-demand Network Systems and Services,
Garmisch-Partenkirchen, Germany

2nd International Conference on Tests and Proofs, Prato, Italy, 2008



2007
Titel Autor(en) Quelle

International Conference on Tests And Proofs (TAP), ETH Zürich, Switzerland, 2007

4th International Verification Workshop (VERIFY'07), Workshop at CADE-21, Bremen, Germany, 2007

Invited Paper, 9th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07), Paphos, Cyprus. LNCS 4468, Springer, 2007

GI/ITG KuVS Fachgespräch Aachen 2007 - Energiebewusste Systeme und Methoden

21st International Conference on Automated Deduction (CADE-21), Bremen, Germany. LNCS 4603, Springer, 2007

Technischer Bericht, Universität Karlsruhe (TH), 2007

LNCS 4334, Springer, 2007

5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Amsterdam, The Netherlands. LNCS 4709, Springer, 2007

5th IEEE International Conference on Software Engineering and Formal Methods (SEFM'07), London, UK. IEEE Press, 2007

Technical Report 2007-4, Universität Karlsruhe