Christian Buckl

	2012
45		Alexander Camek, Christian Buckl, Pedro Sebastiao Correia, Alois Knoll: An Automotive Side-View System Based on Ethernet and IP. AINA Workshops 2012: 238-243
44		Samarjit Chakraborty, Martin Lukasiewycz, Christian Buckl, Suhaib A. Fahmy, Naehyuck Chang, Sangyoung Park, Younghyun Kim, Patrick Leteinturier, Hans Adlkofer: Embedded systems and software challenges in electric vehicles. DATE 2012: 424-429
43		Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois Knoll: Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving. DATE 2012: 509-514
42		Dominik Sojer, Christian Buckl, Alois Knoll: Deriving fault-detection mechanisms from safety requirements. Computer Science - R&D 27(2): (2012)
	2011
41		Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll: Algorithms for Synthesizing Priorities in Component-Based Systems. ATVA 2011: 150-167
40		Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois Knoll: On the Hardness of Priority Synthesis. CIAA 2011: 110-117
39		Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois Knoll: Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems. CODES+ISSS 2011: 247-256
38		Jia Huang, Andreas Raabe, Christian Buckl, Alois Knoll: A workflow for runtime adaptive task allocation on heterogeneous MPSoCs. DATE 2011: 1119-1134
37		Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois Knoll: Reliability-Aware Design Optimization for Multiprocessor Embedded Systems. DSD 2011: 239-246
36		Gerd Kainz, Christian Buckl, Alois Knoll: Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation. MoDELS 2011: 17-31
35		Jia Huang, Christian Buckl, Andreas Raabe, Alois Knoll: Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor Systems. PDP 2011: 447-454
34		Dominik Sojer, Dominik Knoll, Christian Buckl: Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel. SIES 2011: 59-62
33		Markus Weißmann, Stefan Bedenk, Christian Buckl, Alois Knoll: Model Checking Industrial Robot Systems. SPIN 2011: 161-176
32		Chih-Hong Cheng, Alois Knoll, Michael Luttenberger, Christian Buckl: GAVS+: An Open Platform for the Research of Algorithmic Game Solving. TACAS 2011: 258-261
31		Chih-Hong Cheng, Harald Rueß, Alois Knoll, Christian Buckl: Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. VMCAI 2011: 118-133
30		Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll: Algorithms for Synthesizing Priorities in Component-based Systems CoRR abs/1107.1383: (2011)
	2010
29		Stephan Sommer, Andreas Scholz, Irina Gaponova, Alois Knoll, Alfons Kemper, Christian Buckl, Gerd Kainz, Jörg Heuer, Anton Schmitt: Service Migration Scenarios for Embedded Networks. AINA Workshops 2010: 502-507
28		Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois Knoll: GAVS: Game Arena Visualization and Synthesis. ATVA 2010: 347-352
27		Jia Huang, Andreas Raabe, Christian Buckl, Alois Knoll: Runtime adaptive allocation of dynamically mixed tasks on a heterogeneous MPSoC platform. DASIP 2010: 34-41
26		Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, Edward A. Lee: Model-based specification of timing requirements. EMSOFT 2010: 239-248
25		Christian Buckl, Dominik Sojer, Alois Knoll: FTOS: Model-driven development of fault-tolerant automation systems. ETFA 2010: 1-8
24		Stephan Sommer, Alois Knoll, Christian Buckl, Gerd Bauer, Jens Schulz: MultiNet: An intelligent sensor cable. LCN 2010: 946-952
23		Christian Buckl, Gerd Kainz, Stephan Sommer, Alois Knoll: Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen. MBEES 2010: 23-32
22		Gerd Kainz, Christian Buckl, Stephan Sommer, Alois Knoll: Model-to-Metamodel Transformation for the Development of Component-Based Systems. MoDELS (2) 2010: 391-405
21		Chih-Hong Cheng, Harald Ruess, Alois Knoll, Christian Buckl: A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems CoRR abs/1011.0268: (2010)
	2009
20		Christian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, Alfons Kemper, Jörg Heuer, Anton Schmitt: Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks. AINA Workshops 2009: 476-481
19		Chih-Hong Cheng, Alois Knoll, Christian Buckl, Javier Esparza, Yang Chen: Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. CIRA 2009: 72-77
18		Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois Knoll: Toward the Design of Robotic Software with Verifiable Safety. COMPSAC (1) 2009: 622-623
17		Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll: Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness. DS-RT 2009: 208-215
16		Andreas Scholz, Irina Gaponova, Stephan Sommer, Alfons Kemper, Alois Knoll, Christian Buckl, Jörg Heuer, Anton Schmitt: Efficient Communication in Control-oriented Embedded Networks. ETFA 2009: 1-8
15		Stephan Sommer, Christian Buckl, Alois Knoll: Developing Service Oriented Sensor/Actuator Networks Using a Tailored Middleware. ITNG 2009: 1036-1041
14		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)
13		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)
12		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
11		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
10		Christian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, Alfons Kemper: Generating a Tailored Middleware for Wireless Sensor Network Applications. SUTC 2008: 162-169
9		Christian Buckl: Model-based development of fault-tolerant real-time systems. Technical University Munich 2008: 1-143
	2007
8		Christian Buckl, Matthias Regensburger, Alois Knoll, Gerhard Schrott: Models for automatic generation of safety-critical real-time systems. ARES 2007: 580-587
7		Christian Buckl, Alois Knoll, Ina Schieferdecker, Justyna Zander: Model-Based Analysis and Development of Dependable Systems. Model-Based Engineering of Embedded Real-Time Systems 2007: 271-293
6		Christian Buckl, Matthias Regensburger, Alois Knoll, Gerhard Schrott: Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time. PRDC 2007: 3-10
5		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		Christian Buckl, Alois Knoll, Gerhard Schrott: Template-Based Development of Fault-Tolerant Embedded Software. ICSEA 2006: 65
3		Christian Buckl, Alois Knoll, Gerhard Schrott: Model-Based Development of Fault-Tolerant Embedded Software. ISoLA 2006: 103-110
	2005
2		Christian Buckl, Alois Knoll, Gerhard Schrott: The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems. LADC 2005: 101-120
1		Christian Buckl, Alois Knoll, Gerhard Schrott: Development of Dependable Real-Time Systems with Zerberus. PRDC 2005: 404-408

Coauthor Index

1	Hans Adlkofer	[44]
2	Gerd Bauer	[24]
3	Stefan Bedenk	[33]
4	Saddek Bensalem	[30] [41]
5	Jan Olaf Blech	[37] [39] [43]
6	Alexander Camek	[45]
7	Samarjit Chakraborty	[44]
8	Naehyuck Chang	[44]
9	Yang Chen	[19]
10	Yu-Fang Chen	[30] [41]
11	Chih-Hong Cheng	[13] [14] [17] [18] [19] [21] [28] [30] [31] [32] [40] [41]
12	Pedro Sebastiao Correia	[45]
13	Javier Esparza	[13] [14] [17] [19]
14	Suhaib A. Fahmy	[44]
15	Irina Gaponova	[16] [26] [29]
16	Michael Geisinger	[26]
17	Jörg Heuer	[11] [12] [16] [20] [29]
18	Jia Huang	[27] [35] [37] [38] [39] [43]
19	Barbara Jobstmann	[30] [40] [41]
20	Gerd Kainz	[22] [23] [29] [36]
21	Alfons Kemper	[10] [11] [12] [16] [20] [29]
22	Younghyun Kim	[44]
23	Alois Knoll	[1] [2] [3] [4] [5] [6] [7] [8] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [35] [36] [37] [38] [39] [40] [41] [42] [43] [45]
24	Dominik Knoll	[34]
25	Edward A. Lee	[18] [26]
26	Patrick Leteinturier	[44]
27	Martin Lukasiewycz	[44]
28	Michael Luttenberger	[28] [32]
29	Sangyoung Park	[44]
30	Andreas Raabe	[27] [35] [37] [38] [39] [43]
31	Matthias Regensburger	[5] [6] [8]
32	Markus Rickert	[18]
33	Harald Ruess (Harald Rueß)	[21] [30] [31] [41]
34	Ina Schieferdecker	[7]
35	Anton Schmitt	[12] [16] [20] [29]
36	Andreas Scholz	[10] [11] [12] [16] [20] [29]
37	Gerhard Schrott	[1] [2] [3] [4] [5] [6] [8]
38	Jens Schulz	[24]
39	Dominik Sojer	[25] [34] [42]
40	Stephan Sommer	[10] [12] [15] [16] [20] [22] [23] [24] [29]
41	Markus Weißmann	[33]
42	Martin Winter	[11]
43	Rongjie Yan	[30] [41]
44	Justyna Zander	[7]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page