Guest
| buckl@fortiss.org | |
| Room | F203 |
| Phone | +49.89.3603522.16 |
| Fax | +49.89.3603522.50 |
| Address | fortiss GmbH Cyber-Physical Systems Guerickestr.25 80805 München Germany |
| Homepage | http://www.fortiss.org/buckl |
Publications
| [1] | Martin Buechel, Jelena Frtunikj, Klaus Becker, Stephan Sommer, Christian Buckl, Michael Armbruster, Andre Marek, Andreas Zirkler, Cornel Klein, and Alois Knoll. An automated electric vehicle prototype showing new trends in automotive architectures. In International Conference on Intelligent Transportation Systems (ITSC 2015). IEEE, September 2015. [ .bib | .pdf ] |
| [2] | Klaus Becker, Jelena Frtunikj, Meik Felser, Ludger Fiege, Christian Buckl, Stefan Rothbauer, Licong Zhang, and Cornel Klein. Race rte: A runtime environment for robust fault-tolerant vehicle functions. In CARS Workshop, 11th European Dependable Computing Conference - Dependability in Practice. IEEE, September 2015. [ .bib ] |
| [3] | Gang Chen, Kai Huang, Christian Buckl, and Alois Knoll. Applying pay-burst-only-once principle for periodic power management in hard real-time pipelined multiprocessor systems. ACM Transactions on Design Automation of Electronic Systems (TODAES), February 2015. [ .bib | .pdf ] |
| [4] | Klaus Becker, Bernhard Schätz, Michael Armbruster, and Christian Buckl. A formal model for constraint-based deployment calculation and analysis for fault-tolerant systems. In Proceedings of the 12th International Conference on Software Engineering and Formal Methods, September 2014. [ .bib | .pdf ] |
| [5] | Vladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Alois Knoll, and Gernot Spiegelberg. Employing early model-based safety evaluation to iteratively derive e/e architecture design. Elsevier - Science of Computer Programming, pages 161-179, September 2014. [ DOI | .bib ] |
| [6] | Christian Buckl, Michael Geisinger, Dhiraj Gulati, and Fran J. Ruiz-Bertol. CHROMOSOME: A run-time environment for plug&play-capable embedded real-time systems. In Sixth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2014). ACM, April 2014. [ .bib | .pdf ] |
| [7] | Gerd Kainz, Christian Buckl, and Alois Knoll. Tool support for integrated development of component-based embedded systems. In Software Engineering 2014, February 2014. [ .bib ] |
| [8] | Jelena Frtunikj, Vladimir Rupanov, Alexander Camek, Christian Buckl, and Alois Knoll. A safety aware run-time environment for adaptive automotive control systems. In Embedded Real-Time Software and Systems (ERTS2), February 2014. [ .bib | .pdf ] |
| [9] | Jia Huang, Simon Barner, Andreas Raabe, Christian Buckl, and Alois Knoll. A framework for reliability-aware embedded system design on multiprocessor platforms. Microprocess. Microsyst., mar 2014. In Press. [ DOI | .bib ] |
| [10] | Feihu Zhang, Christian Buckl, and Alois Knoll. Multiple vehicle cooperative localization with spatial registration based on a probability hypothesis density filter. Sensors, 14(1):995-1009, 2014. [ DOI | .bib | .pdf ] |
| [11] | Gerd Kainz, Nadine Keddis, Alois Zoitl, Christian Buckl, Dirk Pensky, and Bernd Kärcher. Steuerungsprogramme 4.0 struktur und aufbau von steuerungsprogrammen für industrie 4.0. In AUTOMATION 2014, 2014. [ .bib | .pdf ] |
| [12] | Klaus Becker, Michael Armbruster, Bernhard Schätz, and Christian Buckl. Deployment calculation and analysis for a fail-operational automotive platform. In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), may 2014. [ .bib | .pdf ] |
| [13] | Stephan Sommer Vladimir Rupanov, Christian Buckl. Autonomes fahren und die iso 26262. In Embedded Software Engineering Kongress 2014, pages 217-221, 2014. [ .bib ] |
| [14] | Bernhard Bauer, Markus Schurius, Marko Beutler, Helmut Assmayr, Christian Thiel, Stefan Voget, Reinhold Mahler, Enno Luebbers, 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 Weiss, and Michael Findeisen. Eingebettete Systeme der Zukunft - Charakteristika, Schluesseltechnologien und Forschungsbedarf. BICCnet Clusterbuero, Jan 2014. [ .bib ] |
| [15] | Guang Chen, Feihu Zhang, Daniel Clarke, Christian Buckl, and Alois Knoll. Learning weighted joint-based features for action recognition using depth camera. In The 9th International Conference on Computer Vision Theory and Applications(VISAPP), January 2014. [ .bib ] |
| [16] | Jia Huang, Andreas Raabe, Kai Huang, Christian Buckl, and Alois Knoll. A framework for reliability-aware design exploration for mpsoc based systems. Design Automation for Embedded Systems (DAEM), December 2013. [ .bib | .pdf ] |
| [17] | Feihu Zhang, Hauke Staehle, Guang Chen, Christian Buckl, and Alois Knoll. Multiple vehicle cooperative localization under random finite set framework. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), November 2013. [ .bib | .pdf ] |
| [18] | Feihu Zhang, Carsten Simon, Guang Chen, Christian Buckl, and Alois Knoll. Cumulative error estimation from noisy relative measurements. In 16th International Conference on Intelligent Transport Systems (ITSC), October 2013. [ .bib | .pdf ] |
| [19] | Stephan Sommer, Alexander Camek, Klaus Becker, Christian Buckl, Andreas Zirkler, Ludger Fiege, Michael Armbruster, Gernot Spiegelberg, and Alois Knoll. Race: A centralized platform computer based architecture for automotive applications. In Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC/IEVC 2013). IEEE, October 2013. [ DOI | .bib | .pdf ] |
| [20] | Guang Chen, Feihu Zhang, Manuel Giuliani, Christian Buckl, and Alois Knoll. Unsupervised learning spatio-temporal features for human activity recognition from rgb-d video data. In Proceedings of the International Conference on Social Robotics (ICSR 2013), October 2013. [ .bib ] |
| [21] | Gang Chen, Kai Huang, Jia Huang, Buckl Christian, and Alois Knoll. Effective online power management with adaptive interplay of dvs and dpm for embedded real-time system. In 16th Euromicro International Conference on Digital System Design (DSD), September 2013. [ .bib | .pdf ] |
| [22] | Feihu Zhang, Hauke Staehle, Chao Chen, Christian Buckl, and Alois Knoll. A lane marking extraction approach based on random finite set statistics. In Intelligent Vehicles Symposium (IV), 2013 IEEE, June 2013. [ .bib | .pdf ] |
| [23] | Alexander Camek, Christian Buckl, and Alois Knoll. Future cars: Necessity for an adaptive and distributed multiple independent levels of security (mils) architecture. In Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), April 2013. [ DOI | .bib | .pdf ] |
| [24] | Frank Reichenbach, Dominik Sojer, Christian Buckl, and Alois Knoll. A model-driven approach for runtime reliability analysis. In Proceedings of the Sixth Latin-American Symposium on Dependable Computing, April 2013. [ DOI | .bib | .pdf ] |
| [25] | Stephan Sommer, Michael Geisinger, Christian Buckl, Gerd Bauer, and Alois Knoll. Reconfigurable industrial process monitoring using the CHROMOSOME middleware. In The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013). ACM, April 2013. [ .bib | .pdf ] |
| [26] | Gang Chen, Kai Huang, Christian Buckl, and Alois Knoll. Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systems. In Design, Automation and Test in Europe (DATE), March 2013. [ .bib | .pdf ] |
| [27] | Nadine Keddis, Gerd Kainz, Christian Buckl, and Alois Knoll. Towards adaptable manufacturing systems. In Proceedings of the 2013 IEEE International Conference on Industrial Technology (ICIT 2013), February 2013. [ .bib | .pdf ] |
| [28] | Chih-Hong Cheng, Michael Geisinger, and Christian Buckl. Synthesizing controllers for automation tasks with performance guarantees. In Proceedings of the International SPIN Symposium on Model Checking of Software (SPIN) 2013, LNCS, Stony Brook, NY, USA, 2013. Springer. [ .bib | .pdf ] |
| [29] | Gerd Kainz, Nadine Keddis, Dirk Penksy, Christian Buckl, Alois Zoitl, Reinhard Pittschellis, and Bernd Kärcher. Autopnp - plug-and-produce in der automation: Wandelbare fabrik als cyber-physisches system. atp edition, 4:42-49, 2013. [ .bib ] |
| [30] | Chih-Hong Cheng, Michael Geisinger, and Christian Buckl. Synthesizing controllers for automation tasks with performance guarantees. In Proceedings of the International SPIN Symposium on Model Checking of Software (SPIN) 2013, LNCS, Stony Brook, NY, USA, 2013. Springer. [ .bib | .pdf ] |
| [31] | Kai Huang, Gang Chen, Christian Buckl, and Alois Knoll. Conforming the runtime inputs for hard real-time embedded systems. In Proceedings of the 49th Design Automation Conference (DAC), pages 430-436, June 2012. [ DOI | .bib | .pdf ] |
| [32] | Jia Huang, Kai Huang, Andreas Raabe, Christian Buckl, and Alois Knoll. Towards fault-tolerant embedded systems with imperfect fault detection. In 49th Design Automation Conference (DAC), pages 188-196, San Francisco, CA, USA, June 2012. [ DOI | .bib | .pdf ] |
| [33] | Vladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Alois Knoll, and Gernot Spiegelberg. Early safety evaluation of design decisions in e/e architecture according to iso 26262. In Proceedings of the 3rd International ACM SIGSOFT Symposium on ArchitectingCritical Systems, June 2012. [ DOI | .bib | .pdf ] |
| [34] | Feihu Zhang, Guang Chen, Hauke Staehle, Christian Buckl, and Alois Knoll. Visual odometry based on random finite set statistics in urban environment. In Intelligent Vehicles Symposium (IV), 2012 IEEE, June 2012. [ DOI | .bib | .pdf ] |
| [35] | Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger, and Christian Buckl. Demo abstract: An inverted pendulum demonstrator for timed model-based design of embedded systems. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), page 224, April 2012. [ DOI | .bib | .pdf | .pdf ] |
| [36] | Christian Buckl, Alexander Camek, Gerd Kainz, Carsten Simon, Ljubo Mercep, Hauke Stähle, and Alois Knoll. The software car: Building ict architectures for future electric vehicles. In Proceedings of the 2012 IEEE International Electric Vehicle Conference, March 2012. [ .bib | .pdf ] |
| [37] | Alexander Camek, Christian Buckl, Pedro S. Correia, and AloisKnoll. An automotive side-view system based on ethernet and ip. In 26th International Conference on Advanced Information Networkingand Applications Workshops (WAINA), pages 238-243, March 2012. [ DOI | .bib | .pdf ] |
| [38] | Samarjit Chakraborty, Martin Lukasiewycz, Christian Buckl, Suhaib Fahmy, Naehyuck Chang, Sangyoung Park, Younghyun Kim, Patrick Leteinturier, and Hans Adlkoferl. Embedded systems and software challenges in electric vehicles. In In Design, Automation and Test in Europe (DATE), March 2012. [ DOI | .bib | .pdf ] |
| [39] | Jia Huang, Jan Olaf Blech, Andreas Raabe, and Christian Buckland Alois Knoll. Static scheduling of a time-triggered network-on-chip based on smt solving. In Design, Automation and Test in Europe (DATE), Dresden, Germany, March 2012. [ .bib | .pdf ] |
| [40] | Christian Buckl, Dominik Sojer, and Stephan Sommer. Interoperabilitäts- und Quality-of-Service Plattformdienste am Beispiel der Domäne Fahrzeug. In Eva Geisberger and Manfred Broy and et al, editor, Agenda CPS - Integrierte Forschungsagenda Cyber-Physical Systems. Springer, 2012. [ .bib | .pdf ] |
| [41] | Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, and Alois Knoll. Game solving for industrial automation and control. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'12), 2012. [ DOI | .bib | .pdf ] |
| [42] | Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, and Alois Knoll. MGSyn: Automatic synthesis for industrial automation. In Proceedings of the International Conference on Computer Aided Verification (CAV) 2012, 2012. [ DOI | .bib | .pdf ] |
| [43] | Gerd Kainz, Christian Buckl, and Alois Knoll. A generic approach simplifying model-to-model transformation chains. In Jon Whittle, Tony Clark, and Thomas Kühne, editors, Model Driven Engineering Languages and Systems (MODELS 2012), volume 7590 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2012. [ .bib | .pdf ] |
| [44] | Dominik Sojer, Christian Buckl, and Alois Knoll. Deriving fault-detection mechanisms from safety requirements. Springer Computer Science - Research and Development, 2012. [ DOI | .bib | .pdf ] |
| [45] | Klaus Becker and Christian Buckl and Alexander Camek and Reiner Falk and Ludger Fiege and Juergen Gessner and Stephan Sommer. SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern. In Automotive 2012 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 2012. [ .bib | .pdf ] |
| [46] | Feihu Zhang, Hauke Staehle, Andre Gaschler, Christian Buckl, and Alois Knoll. Single camera visual odometry based on random finite set statistics. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2012. [ .bib | .pdf ] |
| [47] | Feihu Zhang, Hauke Staehle, Guang Chen, Chao Chen, Carsten Simon, Christian Buckl, Alois Knoll, and Gerhard Schrott. A sensor fusion approach for localization with cumulative error elimination. In Proceedings of 2012 IEEE International Conference on Multisensor Fusion and Information Integration (MFI 2012), 2012. [ DOI | .bib | .pdf ] |
| [48] | Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, and Alois Knoll. Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems. In International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS). Embedded System Week, Taipei, Taiwan, October 2011. [ DOI | .bib | .pdf ] |
| [49] | Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, and Alois Knoll. Reliability-aware design optimization for multiprocessor embedded systems. In 14th Euromicro International Conference on Digital System Design (DSD), Oulu, Finland, August 2011. [ DOI | .bib | .pdf ] |
| [50] | Christian Buckl, Marcus Fehling, Cornel Klein, and Bernhard Schätz. Mehr software (im) Wagen - Informations- und Kommunikationstechnologie als Motor der Elektromobilität der Zukunft. In Konferenzband 2. Automobiltechnisches Kolloqium 2011. VDI Verlag, April 2011. [ .bib | .pdf ] |
| [51] | Manuel 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 Stanek. The 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 Technology. ForTISS GmbH, March 2011. [ .bib | .pdf ] |
| [52] | Manuel 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 Stanek. Mehr 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ät. ForTISS GmbH, March 2011. [ .bib | .pdf ] |
| [53] | Jia Huang, Andreas Raabe, Christian Buckl, and Alois Knoll. A workflow for runtime adaptive task allocation on heterogeneous mpsocs. In Design, Automation and Test in Europe (DATE), Grenoble, France, March 2011. [ DOI | .bib | .pdf ] |
| [54] | Manuel 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 Stanek. Mehr 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ät. ForTISS GmbH, March 2011. [ .bib ] |
| [55] | Gokul Balakrishnan, Michael Geisinger, and Christian Buckl. Multifunk: Self-organizing sensor networks for industrial process monitoring. 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, 2011. [ .bib | .pdf ] |
| [56] | Simon Barner, Andreas Raabe, Christian Buckl, and Alois Knoll. Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen. In Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011. [ .bib | .pdf ] |
| [57] | Christian Buckl and Michael Geisinger. Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems. In Tagungsband Embedded Software Engineering Kongress, pages 38-42, Sindelfingen, Germany, 2011. [ .bib | .pdf ] |
| [58] | Christian Buckl, Alois Knoll, Ina Schieferdecker, and Justyna Zander. Model-based analysis and development of dependable systems. In Model-Based Engineering of Embedded Real-Time Systems. Lecture Notes in Computer Science Vol. 6000. Springer, Jan 2011. [ DOI | .bib | .pdf ] |
| [59] | Chih-Hong Cheng, Alois Knoll, Michael Luttenberger, and Christian Buckl. GAVS+: an open platform for the research of algorithmic game solving. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), LNCS. Springer, 2011. [ DOI | .bib | .pdf ] |
| [60] | Chih-Hong Cheng, Barbara Jobstmann, Alois Knoll, and Christian Buckl. On the hardness of priority synthesis. In Proceedings of the 16th International Conference on Implementation and Application of Automata (CIAA'11), LNCS. Springer-Verlag, 2011. [ DOI | .bib | .pdf ] |
| [61] | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, and Alois Knoll. Algorithms for synthesizing priorities in component-based systems. In Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), LNCS. Springer-Verlag, 2011. [ DOI | .bib | .pdf ] |
| [62] | Chih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll, and Harald Ruess. Optimizations for game-based software synthesis. Technical Report TR-2011-12, Verimag Research Report, 2011. [ .bib | .pdf ] |
| [63] | Chih-Hong Cheng, Harald Ruess, Christian Buckl, and Alois Knoll. Synthesis of fault-tolerant embedded systems using games: from theory to practice. In Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'11), LNCS. Springer, 2011. [ DOI | .bib | .pdf ] |
| [64] | Jia Huang, Christian Buckl, Andreas Raabe, and Alois Knoll. Energy-aware task allocation for network-on-chip based heterogeneous multiprocessor systems. In 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing(PDP), Ayia Napa, Cyprus, Feb 2011. [ DOI | .bib | .pdf ] |
| [65] | Gerd Kainz, Christian Buckl, and Alois Knoll. Automated model-to-metamodel transformations based on the concepts of deep instantiation. In Jon Whittle, Tony Clark, and Thomas Kühne, editors, Model Driven Engineering Languages and Systems, volume 6981 of Lecture Notes in Computer Science, pages 17-31. Springer Berlin / Heidelberg, 2011. [ DOI | .bib | .pdf ] |
| [66] | Dominik Sojer, Christian Buckl, and Alois Knoll. Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel. In Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES2011), Work-in-Progress Session, 2011. [ DOI | .bib | .pdf ] |
| [67] | Markus Weißmann, Stefan Bedenk, Christian Buckl, and Alois Knoll. Model checking industrial robot systems. In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), LNCS, pages 161-176. Springer, 2011. [ DOI | .bib | .pdf ] |
| [68] | Simon Barner, Christian Buckl, and Alois Knoll. Hardware-aware model-driven software development. In ACACES 2010 Poster Abstracts, pages 89-92, Terrassa, Spain, 2010. High-Performance Embedded Architecture and Compiliation Network of Excellence. [ .bib | .pdf ] |
| [69] | Christian Buckl, Gerd Kainz, Stephan Sommer, and Alois Knoll. Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen. In 6. Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems, 2010. [ .bib | .pdf ] |
| [70] | Christian Buckl, Dominik Sojer, and Alois Knoll. FTOS: Model-driven development of fault-tolerant automation systems. Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, 2010. [ DOI | .bib | .pdf ] |
| [71] | Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, and Edward A. Lee. Model-based specification of timing requirements. In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239-248, Scottsdale, Arizona, USA, 2010. Association for Computer Machinery. [ DOI | .bib | .pdf ] |
| [72] | Chih-Hong Cheng, Christian Buckl, and Alois Knoll. Tool-based development of light-weight fault-tolerant embedded systems. In Proceedings of the 16th IEEE Real-Time and Embedded Technology andApplications Symposium (RTAS 10), Work-in-Progress Session, 2010. [ .bib | .pdf ] |
| [73] | Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, and Alois Knoll. GAVS: Game arena visualization and synthesis. In Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10), volume 6252 of LNCS, pages 347-352. Springer, 2010. [ DOI | .bib | .pdf ] |
| [74] | Jia Huang, Andreas Raabe, Christian Buckl, and Alois Knoll. Runtime adaptive allocation of dynamically mixed tasks on a heterogeneous mpsoc platform. In Design and Architectures for Signal and Image Processing conference (DASIP), Edinburgh, UK, 2010. [ DOI | .bib | .pdf ] |
| [75] | Gerd Kainz, Christian Buckl, Stephan Sommer, and Alois Knoll. Model-to-metamodel-transformation for the development of component-based systems. In The 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010). ACM/IEEE, 2010. [ DOI | .bib | .pdf ] |
| [76] | Andreas Scholz, Stephan Sommer, Christian Buckl, Gerd Kainz, Alfons Kemper, Alois Knoll, Jörg Heuer, and Anton Schmitt. Towards and adaptive execution of applications in heterogeneous embedded networks. In Software Engineering for Sensor Network Applications (SESENA 2010). ACM/IEEE, 2010. [ DOI | .bib | .pdf ] |
| [77] | Dominik Sojer, Christian Buckl, and Alois Knoll. Stand und Anforderungen an eine Werkzeugunterstützung zur Entwicklung von Automatisierungssoftware. Technical Report TUM-I1003, Technische Universität München, 2010. [ .bib | .pdf ] |
| [78] | Dominik Sojer, Christian Buckl, and Alois Knoll. Formal modeling of safety requirements in the model-driven development of safety critical embedded systems. In Proceedings of the Eighth European Dependable Computing Conference(EDCC 2010), 2010. [ .bib | .pdf ] |
| [79] | Dominik Sojer, Christian Buckl, and Alois Knoll. Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. In Proceedings of the 3rd Embedded Software Engineering Congress, 2010. [ .bib ] |
| [80] | Dominik Sojer, Christian Buckl, and Alois Knoll. Propagation, transformation and refinement of safety requirements. In Proceedings of the 3rd Workshop on Non-functional System Propertiesin Domain Specific Modeling Languages, 2010. [ .bib | .pdf ] |
| [81] | Stephan Sommer, Christian Buckl, Gerd Kainz, Andreas Scholz, Irina Gaponova, Alois Knoll, Alfons Kemper, Jörg Heuer, and Anton Schmitt. Service migration scenarios for embedded networks. In The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010). IEEE, 2010. [ DOI | .bib | .pdf ] |
| [82] | Stephan Sommer, Christian Buckl, Alois Knoll, Gerd Bauer, and Jens Schulz. MultiNet: An intelligent sensor cable. In Fifth IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp 2010). IEEE, 2010. [ DOI | .bib | .pdf ] |
| [83] | Christian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, Alfons Kemper, Jörg Heuer, and Anton Schmitt. Services to the field: An approach for resource constrained sensor/actor networks. In The Fourth Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009) - extended version. IEEE, 2009. [ DOI | .bib | .pdf ] |
| [84] | Chih-Hong Cheng, Christian Buckl, Javier Esparza, and Alois Knoll. Toward an efficient methodology for the analysis of fault-tolerant systems. In 4th International Workshop on Systems Software Verification (SSV'09)(Doctoral Symposium), month 2009. [ .bib ] |
| [85] | Chih-Hong Cheng, Markus Rickert, Christian Buckl, EdwardA. Lee, and Alois Knoll. Toward the design of robotic software with verifiable safety. In Proceedings of the 33rd IEEE International Computer Software and Applications Conference(Fast Abstract), Seattle, WA, USA, 2009. [ DOI | .bib | .pdf ] |
| [86] | Chih-Hong Cheng, Christian Buckl, Javier Esparza, and AloisKnoll. Modeling and verification for timing satisfaction of fault-tolerant systems with finiteness. In Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT'09), pages 208-215. IEEE, 2009. [ DOI | .bib | .pdf ] |
| [87] | Chih-Hong Cheng, Alois Knoll, Javier Esparza, Christian Buckl, and Yang Chen. Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. In Proceedings of the 8th IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA'09). IEEE, 2009. [ .bib | .pdf ] |
| [88] | Andreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, Jörg Heuer, and Martin Winter. eSOA - SOA für eingebettete Netze. In Proceedings of the Workshop on Service Oriented Computing at KIVS 2009), 2009. [ .bib | .pdf ] |
| [89] | Andreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, Jörg Heuer, and Anton Schmitt. eSOA - service oriented architectures adapted for embedded networks. In Proceedings of the 7th International Conference on Industrial Informatics), 2009. [ DOI | .bib | .pdf ] |
| [90] | Andreas Scholz, Irina Gaponova, Stephan Sommer, Alfons Kemper, Alois Knoll, Christian Buckl, Jörg Heuer, and Anton Schmitt. Efficient communication in control-oriented embedded networks. In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation, 2009. [ DOI | .bib | .pdf ] |
| [91] | Stephan Sommer, Christian Buckl, and Alois Knoll. Developing service oriented sensor/actuator networks using a tailored middleware. In 6th International Conference on Information Technology : New Generations (ITNG 2009). IEEE, 2009. [ DOI | .bib | .pdf ] |
| [92] | Stephan Sommer, Andreas Scholz, Christian Buckl, Alois Knoll, Alfons Kemper, Jörg Heuer, and Anton Schmitt. Towards the internet of things: Integration of web services and field level devices. In International Workshop on the Future Internet of Things and Services - Embedded Web Services for Pervasive Devices (at FITS 2009), 2009. [ .bib | .pdf ] |
| [93] | Simon Barner, Michael Geisinger, Christian Buckl, and Alois Knoll. EasyLab: Model-based development of software for mechatronic systems. In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pages 540-545, Beijing, China, 2008. [ DOI | .bib | .pdf ] |
| [94] | Christian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, and Alfons Kemper. Generating a tailored middleware for wireless sensor network applications. In Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, pages 162-169. IEEE, 2008. [ DOI | .bib | .pdf ] |
| [95] | Christian Buckl. Model-Based Development of Fault-Tolerant Real-Time Systems. PhD thesis, Technische Universität München, 2008. [ .bib | .pdf ] |
| [96] | Andreas Scholz, Christian Buckl, Alfons Kemper, Alois Knoll, Jörg Heuer, and Martin Winter. WS-AMUSE - web service architecture for multimedia services. In Proceedings of the 30th International Conference on Software Engineering, pages 703-712. ACM, 2008. [ DOI | .bib | .pdf ] |
| [97] | Stephan Sommer, Christian Buckl, and Alois Knoll. Applying the service oriented paradigm to develop sensor/actuator networks. In Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008). IEEE, 2008. [ .bib | .pdf ] |
| [98] | Christian Buckl, Matthias Regensburger, Alois Knoll, and Gerhard Schrott. Models for automatic generation of safety-critical real-time systems. In Proceedings of the Second International Conference on Availability, Reliability and Security (ARES)), pages 580-587. IEEE, 2007. [ .bib | .pdf ] |
| [99] | Christian Buckl, Matthias Regensburger, Alois Knoll, and Gerhard Schrott. A model-based code generator in the context of safety-critical systems. In Third Latin-American Symposium on Dependable Computing - Fast Abstracts Volume, pages 3-4, 2007. [ .bib | .pdf ] |
| [100] | Christian Buckl, Matthias Regensburger, Alois Knoll, and Gerhard Schrott. Generic fault-tolerance mechanisms using the concept of logical execution time. In Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing), pages 3-10. IEEE, 2007. [ .bib | .pdf ] |
| [101] | Matthias Regensburger, Christian Buckl, Alois Knoll, and Gerhard Schrott. Model based development of safety-critical systems using template based code generation. In Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing), pages 89-92. IEEE, 2007. [ .bib | .pdf ] |
| [102] | Christian Buckl. Developing dependable real-time systems. In Proceedings of the Embedded World Conference, pages 285-294, 2006. [ .bib | .pdf ] |
| [103] | Christian Buckl, Alois Knoll, and Gerhard Schrott. Template-based development of fault-tolerant embedded software. In Proceedings of the International Conference on Software Engineering Advances, pages 65-70. IEEE, 2006. [ .bib | .pdf ] |
| [104] | Christian Buckl, Alois Knoll, and Gerhard Schrott. Model-based development of fault-tolerant embedded software. In Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (IEEE-ISoLA), pages 103-110. IEEE, 2006. [ .bib | .pdf ] |
| [105] | Christian Buckl. Zerberus language specification version 1.0. Technical Report TUM-I0501, Technische Universität München, 2005. [ .bib | .pdf ] |
| [106] | Christian Buckl, Alois Knoll, and Gerhard Schrott. Zerberus System - Ein Entwicklungsmodell für sichere und zuverlässige Computersysteme. In Tagungsband Diskussionskreis Fehlertoleranz, pages 15-22. Shaker-Verlag, 2005. [ .bib | .pdf ] |
| [107] | Christian Buckl, Alois Knoll, and Gerhard Schrott. The Zerberus language: Describing the functional model of dependable real-time systems. In Proceedings of the Second Latin-American Symposium on Dependable Computing, number 3747 in Lecture Notes in Computer Science, pages 101-120. Springer, 2005. [ .bib | .pdf ] |
| [108] | Christian Buckl, Alois Knoll, and Gerhard Schrott. Development of dependable real-time systems with Zerberus. In Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing. IEEE, 2005. [ .bib | .pdf ] |