Home | deutsch | Legals | Sitemap | KIT
2013
Titel Autor(en) Quelle

Alfons Laarman, David Faragó

5th NASA Formal Methods Symposium (NFM 201)


2012
Title Author(s) Source

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



2011
Title Author(s) Source

Dependable Software for Critical Infrastructures (DSCI), 2011

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

17th International Symposium on Formal Methods (FM 2011), Limerick, Ireland. LNCS 6664, Springer, 2011. Best paper award at FM 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.

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

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



2010
Title Author(s) Source

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

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

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

digital library of the KIT



2009
Title Author(s) Source

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
Title Author(s) Source

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
Title Author(s) Source

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

Technical Report, University of Karlsruhe, 2007

LNCS 4334, Springer, 2007

5th International Symposium on Formal Methods for Components and Objects (FMCO), Amsterdam, 2006, LNCS 4709

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

Technical Report 2007-4, Universität Karlsruhe