You are here: Home / Presentations

Presentations

This page contains complete listings of Prof. Lüttgen's presentations at conferences and workshops, as well as of invited presentations.

Paper Presentations

  1. A Note on Refinement in Hierarchical Transition Systems. 23rd Intl. Conf. on Formal Methods for Industrial Critical Systems (FMICS 2018), Maynooth, Ireland, September 2018. Slides.
  2. Richer Interface Automata with Optimistic and Pessimistic Compatibility. 13th Intl. Workshop on Automated Verification of Critical Systems (AVoCS 2013), Guildford, England, September 2013. Slides.
  3. Heterogeneous Specification Using State Machines and Temporal Logic. 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2011), Schloss Raesfeld, Germany, September 2011. Slides.
  4. Safe reasoning with Logic LTS. 24th British Colloquium for Theoretical Computer Science (BCTCS 2008), Durham, England, April 2008. Slides.
  5. Introducing the CoSta project: Contractual Statecharts. 14th Intl. Open Workshop on Synchronous Programming (SYNCHRON 2007), Bamberg, Germany, November 2007. Slides.
  6. Ready simulation for concurrency: It's Logical! 34th Intl. Colloquium on Automata, Languages and Programming (ICALP 2007), Wroclaw, Poland, July 2007. Slides.
  7. Conjunction on processes: Full-abstraction via ready-tree semantics. 9th Intl. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2006), Vienna, Austria, March 2006. Slides.
  8. Bisimulation on speed: A unified approach. 8th Intl. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2005), Edinburgh, Scotland, April 2005. Slides.
  9. Bisimulation on speed: Lower time bounds. 7th Intl. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2004), Barcelona, Spain, April 2004. Slides.
  10. Axiomatizing an algebra of step reactions for synchronous languages. 13th Intl. Conf. on Concurrency Theory (CONCUR 2002), Brno, Czech Republic, August 2002. Slides.
  11. A logical process calculus. 9th Intl. Workshop on Expressiveness in Concurrency (EXPRESS 2002), Brno, Czech Republic, August 2002. Slides.
  12. Fully-abstract Statecharts semantics via intuitionistic Kripke models. 27th Intl. Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva, Switzerland, July 2000. Slides.
  13. Analyzing mode confusion via model checking. Intl. Workshop on Theoretical and Practical Aspects of SPIN Model Checking (SPIN '99), Toulouse, France, September 1999.
  14. An algebraic theory of multiple clocks. 8th Intl. Conf. on Concurrency Theory (CONCUR '97), Warsaw, Poland, July 1997. Slides.
  15. A process algebra with distributed priorities. 7th Intl. Conf. on Concurrency Theory (CONCUR '96), Pisa, Italy, August 1996. Slides.
  16. Priorities for modeling and verifying distributed systems. 2nd Intl. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96), Passau, Germany, March 1996. Slides.

Invited Presentations

  1. Automated detection of dynamic data structures in pointer programs. BSR Summer School, 3TU: Big Software on the Run, Berg en Dal, The Netherlands, July 2018. Abstract / Slides.
  2. DSI: Automated detection of dynamic data structures in C programs and binary code. NII Sohnan Meeting 100 on Analysis and Verification of Pointer Programs, Shonan, Japan, October 2017. Abstract / Slides.
  3. Modal Interface Automata. Institute of Software Engineering and Theoretical Computer Science, TU Berlin, Germany, July 2016. Abstract / Slides.
  4. Modal Interface Automata. iMinds-DistriNet Research Group, Department of Computer Science, KU Leuven, Belgium, May 2016. Abstract / Slides.
  5. Heterogene Modellierungstechniken in der Softwareentwicklung. Talk at a leading technology company, Germany, April 2016. Abstract / Slides.
  6. Modal Interface Automata. Departmental seminar, Department of Computer Science, Technical University of Dortmund, Germany, February 2014. Abstract / Slides.
  7. Modal Interface Automata. Seminar on Synchronous Programming. Schloss Dagstuhl, Germany, November 2013. Abstract / Slides.
  8. Modal Interface Automata. Departmental seminar, Department of Information and Computer Science, Aalto University, Finland, August 2013. Abstract / Slides.
  9. MIA 2.0: Richer Interface Automata with Optimistic and Pessimistic Compatibility. 25 Years of Combining Compositionality and Concurrency, Königswinter, Germany, August 2013. Abstract / Slides.
  10. Modellieren, Programmieren, Verifizieren: Dreiklang der Softwaretechnik und Programmiersprachen. Inaugural lecture, Faculty of Information Systems and Applied Computer Sciences, University of Bamberg, Germany, January 2013. Abstract / Slides.
  11. Software für die Raumfahrt: Lernen aus Unglücksfällen und Erfolgen. Talk at a software development company, Germany, November 2012. Abstract / Slides.
  12. Heterogene Modellierungsformalismen für komplexe Systeme. Department of Informatics and Mathematics, University of Passau, Germany, June 2012.
  13. Agile Methoden: Leichtgewichte der Softwareentwicklung. IT Cluster Oberfranken, Bamberg, Germany, July 2011. Abstract / Slides.
  14. Parallelising symbolic state-space generators: Frustration and hope. Seminar on Distributed Verification and Grid Computing. Schloss Dagstuhl, Germany, August 2008. Abstract / Slides.
  15. Neue Wege der Softwareentwicklung mit Contractual Statecharts. Faculty of Information Systems and Applied Computer Sciences, University of Bamberg, Germany, May 2008.
  16. Ready simulation for concurrency: It's Logical! Department of Computer Science. University of Leicester, England, November 2007. Abstract / Slides.
  17. Ready simulation for concurrency: It's Logical! School of Informatics. University of Edinburgh, Scotland, September 2007. Abstract / Slides.
  18. Parallelising symbolic state-space generators: Frustration and hope. Verification and Testing Group. University of Sheffield, England, June 2007. Abstract / Slides.
  19. Embedded Systems Design with Statecharts. National Institute of Aerospace, Hampton, Virginia, May 2006. Abstract / Slides.
  20. Conjunction on processes: Full-abstraction via ready-tree semantics. Department of Computer Science, Theory Special Interest Group, University of Sheffield, England, March 2006. Abstract / Slides.
  21. Structured Symbolic Model Checking of Asynchronous Systems. Department of Computer Science, Aachen University of Technology, Germany, December 2005. Abstract / Slides.
  22. Teaching the British Way: My Daily Cup of Tea. Faculty of Information Systems and Applied Computer Sciences, University of Bamberg, Germany, October 2005. Abstract / Slides.
  23. When 1 Clock Is Not Enough. Intl. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. Bertinoro, Italy, August 2005. Slides.
  24. Structured Symbolic Model Checking of Asynchronous Systems. Department of Computer Science, University of Saarbrücken, Germany, June 2005. Videocast simultaneously to the Universities of Freiburg and Oldenburg, Germany. Abstract / Slides.
  25. Structured Symbolic Model Checking of Asynchronous Systems. Informatics Theory Group, University of Bamberg, Germany, November 2004. Abstract / Slides.
  26. Statecharts: From Visual Syntax to Model-Theoretic Semantics. Formal Methods Group, Department of Computer Science, University of Manchester, England, May 2004. Abstract / Slides.
  27. Structured Symbolic Model Checking of Asynchronous Systems. Department of Computer Science, University of Manchester, England, May 2004. Abstract / Slides.
  28. A Compositional Semantic Theory for Synchronous Component-based Design. Department of Informatics, University of Sussex, England, June 2003. Abstract / Slides.
  29. Statecharts: From Visual Syntax to Model-Theoretic Semantics. Formal Methods & Tools Group, Faculty of Computer Science, University of Twente, The Netherlands, November 2002. Abstract / Slides.
  30. Towards a Model-Theory for Esterel. Department of Computer Science, University of York, England, July 2002. Slides.
  31. Die intuitionistische Natur von Statecharts. Department of Mathematics and Computer Science, University of Augsburg, Germany, October 2001. Abstract / Slides.
  32. Priority in Process Algebra. 1st Intl. School on Formal Methods for the Design of Computer, Communication and Software Systems: Process Algebras (SFM-01:PA), Bertinoro, Italy, July 2001. Slides.
  33. The Intuitionism Behind Statecharts Steps. Department of Computer Science, University of York, England, May 2001. Slides.
  34. A Faster-than Relation for Asynchronous Processes. 17th British Colloquium for Theoretical Computer Science (BCTCS 17), Glasgow, Scotland, April 2001. Abstract / Slides.
  35. The Intuitionism Behind Statecharts Steps. NASA Ames Research Center, Moffett Field, California, August 2000. Abstract / Slides.
  36. Analyzing Mode Confusion via Model Checking. Jet Propulsion Laboratory, Pasadena, California, August 2000. Abstract / Slides.
  37. Efficient Symbolic State-space Construction for Asynchronous Systems. Department of Computer Science, University of Sheffield, England, May 2000. Abstract / Slides.
  38. Pre-emptive Modeling of Distributed Systems. Department of Computer Science, University of Sheffield, England, January 2000. Slides.
  39. Formal Methods: Objectives, Techniques, & Perspectives. Department of Computer Science, Old Dominion University, Virginia, December 1999. Abstract / Slides.
  40. A Semantic Foundation for Heterogeneous Specification Formalisms. Department of Computer Science, Aachen University of Technology, Germany, October 1999. Abstract / Slides.
  41. A Semantic Foundation for Heterogeneous Specification Formalisms. Verification and Testing Group. University of Sheffield, England, October 1999. Abstract / Slides.
  42. Modellieren Nebenläufiger und Verteilter Systeme mit Präemption. 1998 Dissertation Award Colloquium of the German Society of Computer Science (Gesellschaft für Informatik), Schloss Dagstuhl, Germany, April 1999. Slides.
  43. Statecharts via Process Algebra. Department of Computer Science, State University of New York at Stony Brook, New York, March 1999.
  44. Approaches to State-space Reduction. Institute for Computer Applications in Science and Engineering (ICASE), NASA Langley Research Center, Hampton, Virginia, March 1998. Slides.
  45. Formal Analysis and Verification. Daimler-Benz, Research Department for Electronics, Technology, and Tools, Stuttgart, Germany, February 1998. Slides.
  46. Pre-emptive Modeling of Concurrent and Distributed Systems. Department of Mathematics and Computer Science, University of Augsburg, Germany, January 1998. Abstract.
  47. Dynamic Priorities for Modeling Real-Time. Real-Time Systems Group, University of Pennsylvania, Pennsylvania, September 1997.
  48. Kompositionelle Minimierung Endlicher Verteilter Systeme. Department of Computer Science, University of Erlangen, Germany, June 1996. Abstract.
  49. An Algebraic Approach to Distributed Priorities. Seminar on Semantics of Concurrent Systems - Foundations and Applications, Schloss Dagstuhl, Germany, May 1996.
  50. Unvergleichbare Prioritäten mit Prozessalgebren. Department of Mathematics and Computer Science, University of Passau, Germany, December 1995. Abstract.

^ Top