Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
"A SAT-Based Debugging Tool for State Machines and Sequence Diagrams";
Vortrag: 7th International Conference on Software Language Engineering (SLE),
Västerås, Sweden;
15.09.2014
- 16.09.2014; in: "Proceedings of the 7th International Conference on Software Language Engineering (SLE)",
(2014),
S. 21
- 40.
Elektronische Version der Publikation:
http://link.springer.com/chapter/10.1007%2F978-3-319-11245-9_2
Zugeordnete Projekte:
Projektleitung Uwe Egly:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Projektleitung Reinhard Pichler:
Effiziente, parametrisierte Algorithmen in Künstlicher Intelligenz und logischem Schließen