dblp.uni-trier.dewww.uni-trier.de

Christian Buckl Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Chih-Hong Cheng [11] [12]
2Javier Esparza [11] [12]
3Jörg Heuer [9] [10]
4Alfons Kemper [8] [9] [10]
5Alois Knoll [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
6Matthias Regensburger [5] [6] [7]
7Anton Schmitt [10]
8Andreas Scholz [8] [9] [10]
9Gerhard Schrott [1] [2] [3] [4] [5] [6] [7]
10Stephan Sommer [8] [10]
11Martin Winter [9]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)