Publications
Export list as BibTeX file
- 2015RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle FunctionsKlaus Becker, Jelena Frtunikj, Meik Felser, Ludger Fiege, Christian Buckl, Stefan Rothbauer, Licong Zhang and Cornel Klein
In
3rd Workshop on Critical Automotive applications - Robustness & Safety (CARS),
Paris, France,
DetailsBIB
- 2015An Automated Electric Vehicle Prototype Showing New Trends in Automotive ArchitecturesMartin Buechel, Jelena Frtunikj, Klaus Becker, Stephan Sommer, Christian Buckl, Michael Armbruster, Cornel Klein, Andre Marek, Andreas Zirkler and Alois Knoll
In
IEEE 18th International Conference on Intelligent Transportation Systems (ITSC),
DetailsBIB
- 2015Applying Pay-burst-only-once Principle for Periodic Power Management in Hard Real-time Pipelined Multiprocessor SystemsGang Chen, Kai Huang, Christian Buckl and Alois KnollACM Transactions on Design Automation of Electronic Systems (TODAES),
():,
2015.
DetailsBIB
- July 2014Steuerungsprogramme~4.0Gerd Kainz, Nadine Keddis, Alois Zoitl, Christian Buckl, Dirk Pensky and Bernd Kärcher
In
Automation 2014,
pages 821–836,
Baden-Baden, Deutschland,
VDI/VDE.
DetailsBIB
- May 2014Deployment Calculation and Analysis for a Fail-Operational Automotive PlatformKlaus Becker, Michael Armbruster, Bernhard Schätz and Christian Buckl
In
1st Workshop on Engineering Dependable Systems of Systems (EDSoS),
DetailsBIB
- April 2014CHROMOSOME: A Run-Time Environment for Plug&Play-Capable Embedded Real-Time SystemsChristian Buckl, Michael Geisinger, Dhiraj Gulati and Fran J. Ruiz-Bertol
In
Sixth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2014),
ACM.
DetailsBIB
- March 2014A framework for reliability-aware embedded system design on multiprocessor platformsJia Huang, Simon Barner, Andreas Raabe, Christian Buckl and Alois KnollMicroprocessors and Microsystems,
38(6):539–551,
March 2014.
DetailsDOIBIB
- February 2014Tool Support for Integrated Development of Component-based Embedded SystemsGerd Kainz, Christian Buckl and Alois Knoll
In
Software Engineering~2014 (SE~2014),
pages 61–62,
Kiel, Germany,
GI.
DetailsBIB
- February 2014A Safety Aware Run-Time Environment for Adaptive Automotive Control SystemsJelena Frtunikj, Vladimir Rupanov, Alexander Camek, Christian Buckl and Alois Knoll
In
Embedded Real-Time Software and Systems (ERTS2),
DetailsBIB
- January 2014Eingebettete Systeme der Zukunft - Charakteristika, Schl�sseltechnologien und ForschungsbedarfBernhard Bauer, Markus Schurius, Marko Beutler, Helmut Assmayr, Christian Thiel, Stefan Voget, Reinhold Mahler, Enno Lübbers, Ulrich Kanzler, Thomas Benes, Conrad Saurma, Roland Stein, Henrik J. Putzer, Christian Dirmeier, Carson Xiao, Cornel Klein, Franz Kudorfer, Doris Rauh, Marion Wittmann, Sven Ziemer, Bernhard Thiele, Christian Buckl, Mike Heidrich, Gereon Weiß and Michael Findeisenvolume .
BICCnet Clusterb�ro,
,
edition,
January 2014.
DetailsBIB
- 2014A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant SystemsKlaus Becker, Bernhard Schätz, Michael Armbruster and Christian Buckl
In
Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM),
DetailsBIB
- 2014Autonomes Fahren und die ISO 26262Stephan Sommer, Vladimir Rupanov and Christian Buckl
In
Embedded Software Engineering Kongress 2014,
pages 217-221,
DetailsBIB
- 2014Employing early model-based safety evaluation to iteratively derive E/E architecture designVladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Alois Knoll and Gernot SpiegelbergElsevier - Science of Computer Programming,
():161-179,
2014.
DetailsURLDOIBIB
- 2014Learning Weighted Joint-based Features for Action Recognition Using Depth CameraGuang Chen, Feihu Zhang, Daniel Clarke, Christian Buckl and Alois Knoll
In
The 9th International Conference on Computer Vision Theory and Applications(VISAPP),
DetailsBIB
- 2014Multiple Vehicle Cooperative Localization with Spatial Registration Based on a Probability Hypothesis Density FilterFeihu Zhang, Christian Buckl and Alois KnollSensors,
14(1):995–1009,
2014.
DetailsURLDOIBIB
- October 2013RACE: A Centralized Platform Computer Based Architecture for Automotive ApplicationsStephan Sommer, Alexander Camek, Christian Buckl, Klaus Becker, Andreas Zirkler, Ludger Fiege, Michael Armbruster and Alois Knoll
In
Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC/IEVC 2013),
IEEE.
DetailsBIB
- April 2013AutoPnP - Plug-and-produce in der Automation: Wandelbare Fabrik als cyber-physisches SystemGerd Kainz, Nadine Keddis, Dirk Pensky, Christian Buckl, Alois Zoitl, Reinhard Pittschellis and Bernd Kärcheratp edition,
55(4):42–49,
April 2013.
DetailsBIB
- April 2013Reconfigurable Industrial Process Monitoring using the CHROMOSOME MiddlewareStephan Sommer, Michael Geisinger, Christian Buckl, Gerd Bauer and Alois Knoll
In
The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013),
ACM.
DetailsBIB
- 2013Towards Adaptable Manufacturing SystemsNadine Keddis, Gerd Kainz, Christian Buckl and Alois Knoll
In
IEEE International Conference on Industrial Technology (ICIT),
pages 1410–1415,
IEEE,
DetailsDOIBIB
- 2013A Framework for Reliability-Aware Design Exploration for MPSoC Based SystemsJia Huang, Andreas Raabe, Kai Huang, Christian Buckl and Alois KnollDesign Automation for Embedded Systems (DAEM),
():,
2013.
DetailsURLBIB
- 2013A Lane Marking Extraction Approach based on Random Finite Set StatisticsFeihu Zhang, Hauke Stähle, Chao Chen, Christian Buckl and Alois Knoll
In
Intelligent Vehicles Symposium (IV), 2013 IEEE,
DetailsBIB
- 2013A Model-Driven Approach for Runtime Reliability AnalysisFrank Reichenbach, Dominik Sojer, Christian Buckl and Alois Knoll
In
Proceedings of the Sixth Latin-American Symposium on Dependable Computing,
DetailsURLDOIBIB
- 2013Cumulative Error Estimation from Noisy Relative MeasurementsFeihu Zhang, Carsten Simon, Guang Chen, Christian Buckl and Alois Knoll
In
16th International Conference on Intelligent Transport Systems (ITSC),
DetailsBIB
- 2013Effective Online Power Management with Adaptive Interplay of DVS and DPM for Embedded Real-time SystemGang Chen, Kai Huang, Jia Huang, Christian Buckl and Alois Knoll
In
16th Euromicro International Conference on Digital System Design (DSD),
DetailsBIB
- 2013Energy Optimization with Worst-Case Deadline Guarantee for Pipelined Multiprocessor SystemsGang Chen, Kai Huang, Christian Buckl and Alois Knoll
In
Design, Automation and Test in Europe (DATE),
DetailsBIB
- 2013Future Cars: Necessity for an Adaptive and Distributed Multiple Independent Levels of Security (MILS) ArchitectureAlexander Camek, Christian Buckl and Alois Knoll
In
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS),
DetailsBIB
- 2013Multiple Vehicle Cooperative Localization Under Random Finite Set FrameworkFeihu Zhang, Hauke Stähle, Guang Chen, Christian Buckl and Alois Knoll
In
IEEE/RSJ International Conference on Intelligent Robots and Systems,
DetailsBIB
- 2013Synthesizing Controllers for Automation Tasks with Performance GuaranteesChih-Hong Cheng, Michael Geisinger and Christian Buckl
In
Model Checking Software - 20th International Symposium, SPIN 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings,
pages 154–159,
DetailsURLDOIBIB
- October 2012A Generic Approach Simplifying Model-to-Model Transformation ChainsGerd Kainz, Christian Buckl and Alois Knoll
In Robert France, Jürgen Kazmeier, Ruth Breu and Colin Atkinson, editor,
Model Driven Engineering Languages and Systems,
volume 7590 of Lecture Notes in Computer Science,
pages 579–594.
Springer-Verlag,
Berlin~/ Heidelberg, Germany,
DetailsDOIBIB
- October 2012Single Camera Visual Odometry Based on Random Finite Set StatisticsFeihu Zhang, Hauke Stähle, Andre Gaschler, Christian Buckl and Alois Knoll
In
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
DetailsBIB
- September 2012A Sensor Fusion Approach for Localization with Cumulative Error EliminationFeihu Zhang, Hauke Stähle, Guang Chen, Gang Chen, Carsten Simon, Christian Buckl, Alois Knoll and Gerhard Schrott
In
Proceedings of 2012 IEEE International Conference on Multisensor Fusion and Information Integration (MFI 2012),
DetailsBIB
- April 2012Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded SystemsKai Huang, Gang Chen, Nadine Keddis, Michael Geisinger and Christian Buckl
In
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS),
pages 224,
DetailsDOIBIB
- 2012{Agenda CPS - Integrierte Forschungsagenda Cyber-Physical Systems}Christian Buckl, Dominik Sojer and Stephan Sommer
In Eva Geisberger and Manfred Broy, editor,
.
Springer,
DetailsURLBIB
- 2012SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten ControllernKlaus Becker, Christian Buckl, Alexander Camek, Reiner Falk, Ludger Fiege, Jürgen Gessner and Stephan Sommer
In
Automotive 2012 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik,
DetailsBIB
- 2012An Automotive Side-View System Based on Ethernet and IPAlexander Camek, Christian Buckl, Pedro S. Correia and Alois Knoll
In
26th International Conference on Advanced Information Networking and Applications Workshops (WAINA),
pages 238 - 243,
DetailsBIB
- 2012Conforming the runtime inputs for hard real-time embedded systemsKai Huang, Gang Chen, Christian Buckl and Alois Knoll
In Jon Whittle, Tony Clark and Thomas Kühne, editor,
Proceedings of the 49th Design Automation Conference (DAC),
pages 430–436,
DetailsDOIBIB
- 2012Deriving fault-detection mechanisms from safety requirementsDominik Sojer, Christian Buckl and Alois KnollSpringer Computer Science - Research and Development,
():,
2012.
DetailsURLDOIBIB
- 2012Early Safety Evaluation of Design Decisions in E/E Architecture according to ISO 26262Vladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Alois Knoll and Gernot Spiegelberg
In
Proceedings of the 3rd International ACM SIGSOFT Symposium on Architecting Critical Systems,
DetailsBIB
- 2012Embedded Systems and Software Challenges in Electric VehiclesSamarjit Chakraborty, Martin Lukasiewycz, Christian Buckl, Suhaib Fahmy, Naehyuck Chang, Sangyoung Park, Younghyun Kim, Patrick Leteinturier and Hans Adlkoferl
In
In Design, Automation and Test in Europe (DATE),
DetailsBIB
- 2012Game solving for industrial automation and controlChih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl and Alois Knoll
In
IEEE International Conference on Robotics and Automation, ICRA
2012, 14-18 May, 2012, St. Paul, Minnesota, USA,
pages 4367–4372,
DetailsURLDOIBIB
- 2012MGSyn: Automatic Synthesis for Industrial AutomationChih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl and Alois Knoll
In
Computer Aided Verification - 24th International Conference, CAV
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings,
pages 658–664,
DetailsURLDOIBIB
- 2012Static Scheduling of a Time-Triggered Network-on-Chip based on SMT SolvingJia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll
In
Design, Automation and Test in Europe (DATE),
Dresden, Germany,
DetailsURLBIB
- 2012The Software Car: Building ICT Architectures for Future Electric VehiclesChristian Buckl, Alexander Camek, Gerd Kainz, Carsten Simon, Ljubo Mercep, Hauke Stähle and Alois Knoll
In
Proceedings of the 2012 IEEE International Electric Vehicle Conference,
DetailsBIB
- 2012Towards Fault-Tolerant Embedded Systems with Imperfect Fault DetectionJia Huang, Kai Huang, Andreas Raabe, Christian Buckl and Alois Knoll
In Dorina C. Petriu, Nicolas Rouquette and Oystein Haugen, editor,
49th Design Automation Conference (DAC),
pages 188-196,
San Francisco, CA, USA,
DetailsURLDOIBIB
- 2012Visual Odometry based on Random Finite Set Statistics in Urban EnvironmentFeihu Zhang, Guang Chen, Hauke Stähle, Christian Buckl and Alois Knoll
In
Intelligent Vehicles Symposium (IV), 2012 IEEE,
DetailsURLDOIBIB
- December 2011Middleware-Architekturen zur Integration von Systemen in Systems-of-SystemsChristian Buckl and Michael Geisinger
In
Tagungsband Embedded Software Engineering Kongress,
pages 38–42,
Sindelfingen, Germany,
DetailsURLBIB
- October 2011Automated Model-to-Metamodel Transformations Based on the Concepts of Deep InstantiationGerd Kainz, Christian Buckl and Alois Knoll
In Jon Whittle, Tony Clark and Thomas Kühne, editor,
Model Driven Engineering Languages and Systems,
volume 6981 of Lecture Notes in Computer Science,
pages 17–31.
Springer-Verlag,
Berlin~/ Heidelberg, Germany,
DetailsDOIBIB
- July 2011Model Checking Industrial Robot SystemsMarkus Weißmann, Stefan Bedenk, Christian Buckl and Alois Knoll
In
Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011),
pages 161–176,
Springer-Verlag.
DetailsURLDOIBIB
- June 2011Synthesis of Diagnostic Techniques Based on an IEC 61508-aware MetamodelDominik Sojer, Christian Buckl and Alois Knoll
In
Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES 2011), Work-in-Progress Session,
DetailsDOIBIB
- April 2011Multifunk: Self-Organizing Sensor Networks for Industrial Process MonitoringGokul Balakrishnan, Michael Geisinger and Christian Buckl
In Jian-Jia Chen, editor,
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'11), Work-in-Progress Session,
pages 57–60,
DetailsURLBIB
- February 2011Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit DienstmodellenSimon Barner, Andreas Raabe, Christian Buckl and Alois Knoll
In
Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII,
pages 31-40,
DetailsURLBIB
- February 2011Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor SystemsJia Huang, Christian Buckl, Andreas Raabe and Alois Knoll
In
19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing(PDP),
Ayia Napa, Cyprus,
DetailsURLDOIBIB
- January 2011Model-Based Analysis and Development of Dependable SystemsChristian Buckl, Alois Knoll, Ina Schieferdecker and Justyna Zander
In
Model-Based Engineering of Embedded Real-Time Systems. Lecture Notes in Computer Science Vol. 6000,
Springer.
DetailsURLDOIBIB
- 2011GAVS+: An Open Platform for the Research of Algorithmic Game SolvingChih-Hong Cheng, Alois Knoll, Michael Luttenberger and Christian Buckl
In
Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, TACAS 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, ETAPS
2011, ,
pages 258–261,
DetailsURLDOIBIB
- 2011A Workflow for Runtime Adaptive Task Allocation on Heterogeneous MPSoCsJia Huang, Andreas Raabe, Christian Buckl and Alois Knoll
In
Design, Automation and Test in Europe (DATE),
Grenoble, France,
DetailsURLDOIBIB
- 2011Algorithms for Synthesizing Priorities in Component-Based SystemsChih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Rueß, Christian Buckl and Alois Knoll
In
Automated Technology for Verification and Analysis, 9th International
Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings,
pages 150–167,
DetailsURLDOIBIB
- 2011Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded SystemsJia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll
In Xiaoping Chen, Peter Stone, LuisEnrique Sucar and Tijn van der Zant, editor,
International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS). Embedded System Week,
Taipei, Taiwan,
DetailsURLDOIBIB
- 2011Mehr Software (im) Wagen - Informations- und Kommunikationstechnologie als Motor der Elektromobilität der ZukunftChristian Buckl, Marcus Fehling, Cornel Klein and Bernhard Schätz
In Eva Geisberger and Manfred Broy, editor,
Konferenzband 2. Automobiltechnisches Kolloqium 2011,
VDI Verlag.
DetailsBIB
- 2011Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für ElektromobilitätManuel Bernhard, Christian Buckl, Volkmar Döricht, Marcus Fehling, Ludger Fiege, Helmut von Grolman, Nicolas Ivandic, Christoph Janelle, Cornel Klein, Karl-Josef Kuhn, Christian Patzlaff, Bettina Riedl, Bernhard Schätz and Christian Stanekvolume .
ForTISS GmbH,
,
edition,
2011.
DetailsBIB
- 2011Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Zusammenfassung der Ergebnisse des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für ElektromobilitätManuel Bernhard, Christian Buckl, Volkmar Döricht, Marcus Fehling, Ludger Fiege, Helmut von Grolman, Nicolas Ivandic, Christoph Janelle, Cornel Klein, Karl-Josef Kuhn, Christian Patzlaff, Bettina Riedl, Bernhard Schätz and Christian Stanekvolume .
ForTISS GmbH,
,
edition,
2011.
DetailsBIB
- 2011On the Hardness of Priority SynthesisChih-Hong Cheng, Barbara Jobstmann, Christian Buckl and Alois Knoll
In Radu Calinescu and David Garlan, editor,
Implementation and Application of Automata - 16th International Conference,
CIAA 2011, Blois, France, July 13-16, 2011. Proceedings,
pages 110–117,
DetailsURLDOIBIB
- 2011Optimizations for Game-based Software SynthesisChih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll and Harald RueßTR-2011-12,
Verimag Research Report,
DetailsBIB
- 2011Reliability-Aware Design Optimization for Multiprocessor Embedded SystemsJia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll
In
14th Euromicro International Conference on Digital System Design (DSD),
Oulu, Finland,
DetailsURLDOIBIB
- 2011Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory
to PracticeChih-Hong Cheng, Harald Rueß, Alois Knoll and Christian Buckl
In
Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings,
pages 118–133,
DetailsURLDOIBIB
- 2011The Software Car: Information and Communication Technology (ICT) as an Engine for the Electromobility of the Future, Summary of results of the "eCar ICT System Architecture for Electromobility" research project sponsored by the Federal Ministry of Economics and TechnologyManuel Bernhard, Christian Buckl, Volkmar Döricht, Marcus Fehling, Ludger Fiege, Helmut von Grolman, Nicolas Ivandic, Christoph Janelle, Cornel Klein, Karl-Josef Kuhn, Christian Patzlaff, Bettina Riedl, Bernhard Schätz and Christian Stanekvolume .
ForTISS GmbH,
,
edition,
2011.
DetailsBIB
- December 2010Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co.Dominik Sojer, Christian Buckl and Alois Knoll
In
Proceedings of the 3rd Embedded Software Engineering Congress,
DetailsURLBIB
- October 2010Model-to-Metamodel Transformation for the Development of Component-Based SystemsGerd Kainz, Christian Buckl, Stephan Sommer and Alois Knoll
In Dorina C. Petriu, Nicolas Rouquette and Oystein Haugen, editor,
Model Driven Engineering Languages and Systems,
volume 6395 of Lecture Notes in Computer Science,
pages 391–405.
Springer-Verlag,
Berlin~/ Heidelberg, Germany,
DetailsDOIBIB
- October 2010Model-Based Specification of Timing RequirementsChristian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll and Edward A. Lee
In
Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010),
pages 239–248,
Scottsdale, Arizona, USA,
Association for Computer Machinery.
DetailsURLDOIBIB
- October 2010MultiNet: An Intelligent Sensor CableStephan Sommer, Christian Buckl, Alois Knoll, Gerd Bauer and Jens Schulz
In
Fifth IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp 2010),
IEEE.
DetailsURLBIB
- October 2010Propagation, Transformation and Refinement of Safety RequirementsDominik Sojer, Christian Buckl and Alois Knoll
In
Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages,
DetailsURLBIB
- October 2010Runtime Adaptive Allocation of Dynamically Mixed Tasks on a Heterogeneous MPSoC platformJia Huang, Andreas Raabe, Christian Buckl and Alois Knoll
In
Design and Architectures for Signal and Image Processing conference (DASIP),
Edinburgh, UK,
DetailsURLDOIBIB
- September 2010FTOS: Model-Driven Development of Fault-Tolerant Automation SystemsChristian Buckl, Dominik Sojer and Alois KnollProceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation,
():,
September 2010.
DetailsURLDOIBIB
- July 2010Hardware-aware model-driven software developmentSimon Barner, Christian Buckl and Alois Knoll
In
ACACES 2010 Poster Abstracts,
pages 89-92,
Terrassa, Spain,
High-Performance Embedded Architecture and Compiliation Network of Excellence.
DetailsBIB
- May 2010Towards and Adaptive Execution of Applications in Heterogeneous Embedded NetworksAndreas Scholz, Stephan Sommer, Christian Buckl, Gerd Kainz, Alfons Kemper, Alois Knoll, Jörg Heuer and Anton Schmitt
In
Software Engineering for Sensor Network Applications (SESENA 2010),
ACM/IEEE.
DetailsURLBIB
- April 2010Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded SystemsDominik Sojer, Christian Buckl and Alois Knoll
In
Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010),
DetailsURLBIB
- April 2010Service Migration Scenarios for Embedded NetworksStephan Sommer, Christian Buckl, Gerd Kainz, Andreas Scholz, Irina Gaponova, Alois Knoll, Alfons Kemper, Jörg Heuer and Anton Schmitt
In
The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010),
IEEE.
DetailsURLBIB
- February 2010Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von AutomatisierungssoftwareDominik Sojer, Christian Buckl and Alois KnollTUM-I1003,
Technische Universität München,
DetailsURLBIB
- February 2010Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten SystemenChristian Buckl, Gerd Kainz, Stephan Sommer and Alois Knoll
In
6. Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems,
DetailsURLBIB
- 2010GAVS: Game Arena Visualization and SynthesisChih-Hong Cheng, Christian Buckl, Michael Luttenberger and Alois Knoll
In
Automated Technology for Verification and Analysis - 8th International
Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings,
pages 347–352,
DetailsURLDOIBIB
- 2010A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded
SystemsChih-Hong Cheng, Harald Rueß, Alois Knoll and Christian BucklCoRR,
abs/1011.0268():,
2010.
DetailsURLBIB
- September 2009Efficient Communication in Control-Oriented Embedded NetworksAndreas Scholz, Irina Gaponova, Stephan Sommer, Alfons Kemper, Alois Knoll, Christian Buckl, Jörg Heuer and Anton Schmitt
In
Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation,
DetailsURLBIB
- June 2009eSOA - Service Oriented Architectures adapted for Embedded NetworksAndreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, Jörg Heuer and Anton Schmitt
In
Proceedings of the 7th International Conference on Industrial Informatics),
DetailsURLBIB
- May 2009Services to the Field: An Approach for Resource Constrained Sensor/Actor NetworksChristian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, Alfons Kemper, Jörg Heuer and Anton Schmitt
In
The Fourth Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009) – extended version,
IEEE.
DetailsURLBIB
- April 2009Developing Service Oriented Sensor/Actuator Networks using a Tailored MiddlewareStephan Sommer, Christian Buckl and Alois Knoll
In
6th International Conference on Information Technology : New Generations (ITNG 2009),
IEEE.
DetailsURLBIB
- 2009eSOA - SOA für eingebettete NetzeAndreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, Jörg Heuer and Martin Winter
In
Proceedings of the Workshop on Service Oriented Computing at KIVS 2009),
DetailsURLBIB
- 2009Examining robotic systems with shape-adjustable manipulators under
dynamic environments: From simulation to verificationChih-Hong Cheng, Alois Knoll, Christian Buckl, Javier Esparza and Yang Chen
In MariaSimonetta Balsamo, William J. Knottenbelt and Andrea Marin, editor,
Proceedings of the IEEE International Symposium on Computational
Intelligence in Robotics and Automation, CIRA 2009, 15-18 December
2009, Daejeon, Korea,
pages 72–77,
DetailsURLDOIBIB
- 2009FTOS-Verify: Analysis and Verification of Non-Functional Properties
for Fault-Tolerant SystemsChih-Hong Cheng, Christian Buckl, Javier Esparza and Alois KnollCoRR,
abs/0905.3946():,
2009.
DetailsURLBIB
- 2009Modeling and Verification for Timing Satisfaction of Fault-Tolerant
Systems with FinitenessChih-Hong Cheng, Christian Buckl, Javier Esparza and Alois KnollCoRR,
abs/0905.3951():,
2009.
DetailsURLBIB
- 2009Toward the Design of Robotic Software with Verifiable SafetyChih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee and Alois Knoll
In
Proceedings of the 33rd Annual IEEE International Computer Software
and Applications Conference, COMPSAC 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 1,
pages 622–623,
DetailsURLDOIBIB
- 2008EasyLab: Model-Based Development of Software for Mechatronic SystemsSimon Barner, Michael Geisinger, Christian Buckl and Alois Knoll
In
IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications,
pages 540–545,
Beijing, China,
DetailsDOIBIB
