Research

Prof. Lüttgen's research concerns the theory and practice of software engineering, formal methods, automated verification, concurrency theory and parallel programming.

Targeted applications include software model checkers, programming environments, parallel programming languages and libraries, software specification and design languages and requirements engineering techniques, as employed for developing, validating and verifying application software and embedded software.

The overall research objective is to make formal software methods more relevant in practice. One of the reasons for the relatively slow uptake of such methods is that they usually do no integrate well with the software development methodologies and techniques practised by engineers and that they often cannot cope with the complexities inherent in today's software systems. Prof. Lüttgen's aim is to conduct the necessary foundational research and practical development (in the form of prototypical software tools and case studies) in order to overcome these shortcomings.

This page contains some information on recent or upcoming research events and projects, with which Prof. Lüttgen is or has been involved. A more detailed description of current research topics addressed by Prof. Lüttgen and his staff is available at the SWT Research Group website. Information on Prof. Lüttgen's publications and grants can be found elsewhere on this site.

^ Top

Events

This is a chronologically sorted list of events with which Prof. Lüttgen is or has been involved, either as member of the program committee or as organiser.

25th Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2020), Singapore, SG, October 2020.
24th Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2019), Hong Kong, CN, November 2019.
GI Jahrestagung Informatik (INFORMATIK 2019). Track Sicherheit, Zuverlässigkeit, Korrektheit, Kassel, DE, September 2019.
30th Intl. Conf. on Concurrency Theory (CONCUR 2019), Amsterdam, NL, August 2019.
3rd Intl. Workshop on Verification of Objects at Runtime Execution (VORTEX 2019), London, UK, July 2019.
19th Intl. Conf. on Application of Concurrency to System Design (ACSD 2019), Aachen, DE, June 2019.
23rd Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2018), Melbourne, AUS, December 2018.
18th Intl. Conf. on Application of Concurrency to System Design (ACSD 2018), Bratislava, SK, June 2018.
22nd Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2017), Fukuoka, JP, November 2017.
13th Intl. Conf. on integrated Formal Methods (iFM 2017), Torino, IT, September 2017.
7th IT-Forum Oberfranken, Bamberg, D, March 2017.
21st Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, UAE, November 2016.
9. GI-Arbeitstagung Programmiersprachen (ATPS 2016), Vienna, AUT, February 2016. (Workshop organized by the German Informatics Society)
20th IEEE Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2015), Gold Coast, AUS, December 2015.
14th Intl. Workshop on Automated Verification of Critical Systems (AVoCS 2014), Enschede, NL, September 2014.
19th IEEE Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2014), Tianjin, CN, August 2014.
14th Intl. Conf. on Application of Concurrency to System Design (ACSD 2014), Tunis, TN, June 2014.
16th Brazilian Symp. on Formal Methods (SBMF 2013), Brasilia, BR, September 2013.
13th Intl. Workshop on Automated Verification of Critical Systems (AVoCS 2013), Guildford, Surrey, UK, September 2013.
11th IEEE Intl. Conf. on Industrial Informatics (INDIN 2013), track on Ensuring Safety in Industrial Critical Systems (ESICS), Bochum, D, July 2013.
18th IEEE Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2013), Singapore, SG, July 2013.
13th Intl. Conf. on Application of Concurrency to System Design (ACSD 2013), Barcelona, E, July 2013.
5th Intl. Conf. on Subject-Oriented Business Process Management (S-BPM 2013), Deggendorf, D, March 2013.
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2012), Znojmo, CZ, October 2012.
15th Brazilian Symp. on Formal Methods (SBMF 2012), Natal-RN, BR, September 2012.
12th Intl. Workshop on Automated Verification of Critical Systems (AVoCS 2012) (co-chair), Bamberg, D, September 2012.
11th Intl. Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2012), London, UK, September 2012.
17th IEEE Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2012), Paris, F, July 2012.
2nd Intl. Workshop on Petri Nets Compositions (CompoNet 2012), Hamburg, D, June 2012.
26th IEEE/ACM Intl. Conf. on Automated Software Engineering (ASE 2011, Tool Track), Lawrence, Kansas, USA, November 2011.
14th Brazilian Symp. on Formal Methods (SBMF 2011), Sao Paulo, BR, September 2011.
11th Intl. Workshop on Automated Verification of Critical Systems (AVoCS 2011), Newcastle upon Tyne, UK, September 2011.
22nd Intl. Conf. on Concurrency Theory (CONCUR 2011), Aachen, D, September 2011.
10th Intl. Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011), Snowbird, Utah, USA, July 2011.
16th IEEE Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2011), Las Vegas, Nevada, USA, April 2011.
37th Intl. Conf. on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011), Novy Smokovec, SK, January 2011.
13th Brazilian Symp. on Formal Methods (SBMF 2010), Natal, Rio Grande do Norte, BR, November 2010.
10th Intl. Workshop on Automated Verification of Critical Systems (AVoCS 2010), Düsseldorf, D, September 2010.
15th IEEE Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2010), Oxford, UK, March 2010.
German Chapter CONCUR (D-CON), Bamberg, D, March 2010.
8th Intl. Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009), Eindhoven, NL, November 2009.
9th Intl. Workshop on Automated Verification of Critical Systems (AVoCS 2009), Gregynog, UK, September 2009.
12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009), York, UK, March 2009.
7th Intl. Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2008), Budapest, HU, March 2008. Satellite workshop to ETAPS 2008.
3rd Intl. Workshop on Systems Software Verification (SSV 2008), Sydney, AUS, February 2008.
6th Intl. Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2007), Berlin, D, July 2007.
3rd Intl. Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2007), Paphos, CYP, June 2007.
Intl. Workshop on Model-Driven High-Level Programming of Embedded Systems (SLA++P 2007), Praga, PT, March 2007.
4th Intl. Conf. on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), Paris, F, September 2006.
17th Intl. Conf. on Concurrency Theory (CONCUR 2006), Bonn, D, August 2006.
2nd Intl. Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Bologna, I, June 2006.
UK Model Checking Days 2005, York, UK, September 2005.
2nd Intl. Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2004), Barcelona, E, April 2004. Satellite workshop to ETAPS 2004.
3rd Intl. Workshop on Models for Time Critical Systems (MTCS 2002), Brno, SK, August 2002.
1st Intl. Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2002), Grenoble, F, April 2002. Satellite workshop to ETAPS 2002.
2nd Intl. Workshop on Models for Time Critical Systems (MTCS 2001), Aalborg, DK, August 2001.
5th NASA Langley Formal Methods Workshop (Lfm2000), Williamsburg, Virginia, USA, June 2000.

^ Top

Research Projects

Below is a list of recent research projects of which Prof. Lüttgen is or has been the principal investigator. See Prof. Lüttgen's curriculum vitae for a complete list of grants.