| * | 2009 |
| 12 | EE | Chih-Hong Cheng,
Christian Buckl,
Javier Esparza,
Alois Knoll:
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
CoRR abs/0905.3946: (2009) |
| 11 | EE | Chih-Hong Cheng,
Christian Buckl,
Javier Esparza,
Alois Knoll:
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
CoRR abs/0905.3951: (2009) |
| 10 | EE | Andreas Scholz,
Christian Buckl,
Stephan Sommer,
Alfons Kemper,
Alois Knoll,
Jörg Heuer,
Anton Schmitt:
eSOA - SOA für eingebettete Netze.
ECEASST 17: (2009) |
| 2008 |
| 9 | EE | Andreas Scholz,
Christian Buckl,
Alfons Kemper,
Alois Knoll,
Jörg Heuer,
Martin Winter:
WS-AMUSE - web service architecture for multimedia services.
ICSE 2008: 703-712 |
| 8 | EE | Christian Buckl,
Stephan Sommer,
Andreas Scholz,
Alois Knoll,
Alfons Kemper:
Generating a Tailored Middleware for Wireless Sensor Network Applications.
SUTC 2008: 162-169 |
| 2007 |
| 7 | EE | Christian Buckl,
Matthias Regensburger,
Alois Knoll,
Gerhard Schrott:
Models for automatic generation of safety-critical real-time systems.
ARES 2007: 580-587 |
| 6 | EE | Christian Buckl,
Matthias Regensburger,
Alois Knoll,
Gerhard Schrott:
Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time.
PRDC 2007: 3-10 |
| 5 | EE | Matthias Regensburger,
Christian Buckl,
Alois Knoll,
Gerhard Schrott:
Model Based Development of Safety-Critical Systems Using Template Based Code Generation.
PRDC 2007: 89-92 |
| 2006 |
| 4 | EE | Christian Buckl,
Alois Knoll,
Gerhard Schrott:
Template-Based Development of Fault-Tolerant Embedded Software.
ICSEA 2006: 65 |
| 3 | EE | Christian Buckl,
Alois Knoll,
Gerhard Schrott:
Model-Based Development of Fault-Tolerant Embedded Software.
ISoLA 2006: 103-110 |
| 2005 |
| 2 | EE | Christian Buckl,
Alois Knoll,
Gerhard Schrott:
The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems.
LADC 2005: 101-120 |
| 1 | EE | Christian Buckl,
Alois Knoll,
Gerhard Schrott:
Development of Dependable Real-Time Systems with Zerberus.
PRDC 2005: 404-408 |