Von Spezifikation zu Synthese

• Antragsteller: Professor Dr. Martin Lange
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2013 bis 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 229742437

• Erstellungsjahr: 2020

Keine Zusammenfassung vorhanden

Projektbezogene Publikationen (Auswahl)

• A tool that incrementally approximates nite satisability in full interval temporal logic. In Proc. 7th Int. Joint Conf. on Automated Reasoning, IJCAR'14, LNCS (LNAI), Vol. 8562. 2014, pp. 360-366.
  R. Ehlers, M. Lange
  
• Branching-time logics with path relativisation. Journal of Computer and System Sciences, Vol. 80. 2014, Issue 2, pp. 375-389.
  Latte, Markus & Lange, Martin
  
• The xpoint-iteration algorithm for parity games. In Proc. 5th Int. Symp. on Games, Automata, Logics and Formal Verication, GandALF' 14, EPTCS 161. 2014, pp. 116-130.
  Bruse, Florian; Falk, Michael & Lange, Martin
  
• Ramsey-based inclusion checking for visibly pushdown automata. ACM Transactions on Computational Logic, Vol. 16. 2015, Art. 34.
  Friedmann, Oliver; Klaedtke, Felix & Lange, Martin
  
• The arity hierarchy in the polyadic -calculus. In: Proc. 10th Int. Workshop on Fixed Points in Comp. Sci., FICS'15, EPTCS, Vol. 191. 2015, pp. 105-116.
  M. Lange
  
• A canonical model construction for iterationfree PDL with intersection. In: Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016. EPTCS, Vol. 226. 2016, pp. 120-134.
  Bruse, Florian; Kernberger, Daniel & Lange, Martin
  
• Temporal Logics in Computer Science. Cambridge Tracts in Theoretical Computer Science, Vol. 58. 2016, 752 pages, Cambridge University Press
  Demri, Stéphane; Goranko, Valentin & Lange, Martin
  
• Multi-buffer simulations: Decidability and complexity. Information and Computation, Vol. 262. 2018, Part 2, pp. 280-310.
  Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin & Lozes, Étienne
  
• EMFeR: Model checking for object oriented (EMF) models. In Proc. 7th Int. Conf. on Model-Driven Engineering and Software Development, MODELSWARD'19, SciTePress, 2019, pp. 511-518.
  Eickhoff, Christoph; Lange, Martin; Raesch, Simon-Lennert & Zündorf, Albert
  
• On the expressive power of hybrid branching-time logics. Theoretical Computer Science, Vol. 813. 2020, pp. 362-374.
  Kernberger, Daniel & Lange, Martin