Andrzej Lingas;Miroslaw Kowaluk;Johannes Nowak
A Path Cover Technique for LCAs in Dags
2008
15

Victoria Cengarle;Alexander Knapp
An Institution for UML 2.0 Interactions
2008
10

Andreas Bauer;Martin Leucker;Christian Schallhart
The good, the bad, and the ugly - but how ugly is ugly?
2008
24

Peter Braun;Benjamin Hummel
Towards an Integrated System Model for Testing and Verification of Automation Machines
2008
22

Michael Fahrmair;Christian Leuxner;Wassiou Sitou;Bernd Spanfelner
Adaptation Design in Ubiquitous Computing
2008
60

Hermann Gruber;Markus Holzer
Provably Shorter Regular Expressions from Deterministic Finite Automata
2008
23

Marco Kuhrmann;Georg Kalus
Werkzeugspezifisches Tailoring für das V-Modell XT
2008
110

Hermann Gruber;Markus Holzer
Language Operations with Regular Expressions of Polynomial Size
2008
16

Jewgenij Botaschanjan;Alexander Harhurin;Leonid Kof
Service-Based Specification of Reactive Systems
2008
11

Manfred Broy;Martin Feilkas;Johannes Grünbauer;Alexander Gruler;Alexander Harhurin;Judith Hartmann;Birgit Penzenstadler;Bernhard Schaetz;Doris Wild
Umfassendes Architekturmodell fuer das Engineering eingebetteter Software-intensiver Systeme
2008
46