Christian Buckl

Publikationen

Liste als BibTeX-Datei exportieren

• 2015RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle FunctionsKlaus Becker, Jelena Frtunikj, Meik Felser, Ludger Fiege, Christian Buckl, Stefan Rothbauer, Licong Zhang und 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 und 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 und Alois KnollACM Transactions on Design Automation of Electronic Systems (TODAES), ():, 2015. DetailsBIB
• Juli 2014Steuerungsprogramme 4.0Gerd Kainz, Nadine Keddis, Alois Zoitl, Christian Buckl, Dirk Pensky und Bernd Kärcher In Automation 2014, Seiten 821–836, Baden-Baden, Deutschland, VDI/VDE. DetailsBIB
• Mai 2014Deployment Calculation and Analysis for a Fail-Operational Automotive PlatformKlaus Becker, Michael Armbruster, Bernhard Schätz und 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 und Fran J. Ruiz-Bertol In Sixth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2014), ACM. DetailsBIB
• März 2014A framework for reliability-aware embedded system design on multiprocessor platformsJia Huang, Simon Barner, Andreas Raabe, Christian Buckl und Alois KnollMicroprocessors and Microsystems, 38(6):539–551, März 2014. DetailsDOIBIB
• Februar 2014Tool Support for Integrated Development of Component-based Embedded SystemsGerd Kainz, Christian Buckl und Alois Knoll In Software Engineering 2014 (SE 2014), Seiten 61–62, Kiel, Germany, GI. DetailsBIB
• Februar 2014A Safety Aware Run-Time Environment for Adaptive Automotive Control SystemsJelena Frtunikj, Vladimir Rupanov, Alexander Camek, Christian Buckl und Alois Knoll In Embedded Real-Time Software and Systems (ERTS2), DetailsBIB
• Januar 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ß und Michael FindeisenBand . BICCnet Clusterb�ro, , Ausgabe, Januar 2014. DetailsBIB
• 2014A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant SystemsKlaus Becker, Bernhard Schätz, Michael Armbruster und 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 und Christian Buckl In Embedded Software Engineering Kongress 2014, Seiten 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 und 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 und 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 und Alois KnollSensors, 14(1):995–1009, 2014. DetailsURLDOIBIB
• Oktober 2013RACE: A Centralized Platform Computer Based Architecture for Automotive ApplicationsStephan Sommer, Alexander Camek, Christian Buckl, Klaus Becker, Andreas Zirkler, Ludger Fiege, Michael Armbruster und 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 und 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 und 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 und Alois Knoll In IEEE International Conference on Industrial Technology (ICIT), Seiten 1410–1415, IEEE, DetailsDOIBIB
• 2013A Framework for Reliability-Aware Design Exploration for MPSoC Based SystemsJia Huang, Andreas Raabe, Kai Huang, Christian Buckl und 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 und Alois Knoll In Intelligent Vehicles Symposium (IV), 2013 IEEE, DetailsBIB
• 2013A Model-Driven Approach for Runtime Reliability AnalysisFrank Reichenbach, Dominik Sojer, Christian Buckl und 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 und 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 und 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 und 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 und 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 und 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 und Christian Buckl In Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, Seiten 154–159, DetailsURLDOIBIB
• Oktober 2012A Generic Approach Simplifying Model-to-Model Transformation ChainsGerd Kainz, Christian Buckl und Alois Knoll In Robert France, Jürgen Kazmeier, Ruth Breu und Colin Atkinson, Editor, Model Driven Engineering Languages and Systems, Band 7590 von Lecture Notes in Computer Science, Seiten 579–594. Springer-Verlag, Berlin / Heidelberg, Germany, DetailsDOIBIB
• Oktober 2012Single Camera Visual Odometry Based on Random Finite Set StatisticsFeihu Zhang, Hauke Stähle, Andre Gaschler, Christian Buckl und 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 und 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 und Christian Buckl In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), Seiten 224, DetailsDOIBIB
• 2012{Agenda CPS - Integrierte Forschungsagenda Cyber-Physical Systems}Christian Buckl, Dominik Sojer und Stephan Sommer In Eva Geisberger und 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 und 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 und Alois Knoll In 26th International Conference on Advanced Information Networking and Applications Workshops (WAINA), Seiten 238 - 243, DetailsBIB
• 2012Conforming the runtime inputs for hard real-time embedded systemsKai Huang, Gang Chen, Christian Buckl und Alois Knoll In Jon Whittle, Tony Clark und Thomas Kühne, Editor, Proceedings of the 49th Design Automation Conference (DAC), Seiten 430–436, DetailsDOIBIB
• 2012Deriving fault-detection mechanisms from safety requirementsDominik Sojer, Christian Buckl und 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 und 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 und 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 und Alois Knoll In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, Seiten 4367–4372, DetailsURLDOIBIB
• 2012MGSyn: Automatic Synthesis for Industrial AutomationChih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und Alois Knoll In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, Seiten 658–664, DetailsURLDOIBIB
• 2012Static Scheduling of a Time-Triggered Network-on-Chip based on SMT SolvingJia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl und 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 und 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 und Alois Knoll In Dorina C. Petriu, Nicolas Rouquette und Oystein Haugen, Editor, 49th Design Automation Conference (DAC), Seiten 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 und Alois Knoll In Intelligent Vehicles Symposium (IV), 2012 IEEE, DetailsURLDOIBIB
• Dezember 2011Middleware-Architekturen zur Integration von Systemen in Systems-of-SystemsChristian Buckl und Michael Geisinger In Tagungsband Embedded Software Engineering Kongress, Seiten 38–42, Sindelfingen, Germany, DetailsURLBIB
• Oktober 2011Automated Model-to-Metamodel Transformations Based on the Concepts of Deep InstantiationGerd Kainz, Christian Buckl und Alois Knoll In Jon Whittle, Tony Clark und Thomas Kühne, Editor, Model Driven Engineering Languages and Systems, Band 6981 von Lecture Notes in Computer Science, Seiten 17–31. Springer-Verlag, Berlin / Heidelberg, Germany, DetailsDOIBIB
• Juli 2011Model Checking Industrial Robot SystemsMarkus Weißmann, Stefan Bedenk, Christian Buckl und Alois Knoll In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), Seiten 161–176, Springer-Verlag. DetailsURLDOIBIB
• Juni 2011Synthesis of Diagnostic Techniques Based on an IEC 61508-aware MetamodelDominik Sojer, Christian Buckl und 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 und 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, Seiten 57–60, DetailsURLBIB
• Februar 2011Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit DienstmodellenSimon Barner, Andreas Raabe, Christian Buckl und Alois Knoll In Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Seiten 31-40, DetailsURLBIB
• Februar 2011Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor SystemsJia Huang, Christian Buckl, Andreas Raabe und Alois Knoll In 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing(PDP), Ayia Napa, Cyprus, DetailsURLDOIBIB
• Januar 2011Model-Based Analysis and Development of Dependable SystemsChristian Buckl, Alois Knoll, Ina Schieferdecker und 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 und 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, , Seiten 258–261, DetailsURLDOIBIB
• 2011A Workflow for Runtime Adaptive Task Allocation on Heterogeneous MPSoCsJia Huang, Andreas Raabe, Christian Buckl und 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 und Alois Knoll In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, Seiten 150–167, DetailsURLDOIBIB
• 2011Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded SystemsJia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl und Alois Knoll In Xiaoping Chen, Peter Stone, LuisEnrique Sucar und 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 und Bernhard Schätz In Eva Geisberger und 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 und Christian StanekBand . ForTISS GmbH, , Ausgabe, 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 und Christian StanekBand . ForTISS GmbH, , Ausgabe, 2011. DetailsBIB
• 2011On the Hardness of Priority SynthesisChih-Hong Cheng, Barbara Jobstmann, Christian Buckl und Alois Knoll In Radu Calinescu und David Garlan, Editor, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, Seiten 110–117, DetailsURLDOIBIB
• 2011Optimizations for Game-based Software SynthesisChih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll und 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 und 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 und Christian Buckl In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings, Seiten 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 und Christian StanekBand . ForTISS GmbH, , Ausgabe, 2011. DetailsBIB
• Dezember 2010Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co.Dominik Sojer, Christian Buckl und Alois Knoll In Proceedings of the 3rd Embedded Software Engineering Congress, DetailsURLBIB
• Oktober 2010Model-to-Metamodel Transformation for the Development of Component-Based SystemsGerd Kainz, Christian Buckl, Stephan Sommer und Alois Knoll In Dorina C. Petriu, Nicolas Rouquette und Oystein Haugen, Editor, Model Driven Engineering Languages and Systems, Band 6395 von Lecture Notes in Computer Science, Seiten 391–405. Springer-Verlag, Berlin / Heidelberg, Germany, DetailsDOIBIB
• Oktober 2010Model-Based Specification of Timing RequirementsChristian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll und Edward A. Lee In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), Seiten 239–248, Scottsdale, Arizona, USA, Association for Computer Machinery. DetailsURLDOIBIB
• Oktober 2010MultiNet: An Intelligent Sensor CableStephan Sommer, Christian Buckl, Alois Knoll, Gerd Bauer und Jens Schulz In Fifth IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp 2010), IEEE. DetailsURLBIB
• Oktober 2010Propagation, Transformation and Refinement of Safety RequirementsDominik Sojer, Christian Buckl und Alois Knoll In Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages, DetailsURLBIB
• Oktober 2010Runtime Adaptive Allocation of Dynamically Mixed Tasks on a Heterogeneous MPSoC platformJia Huang, Andreas Raabe, Christian Buckl und 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 und Alois KnollProceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, ():, September 2010. DetailsURLDOIBIB
• Juli 2010Hardware-aware model-driven software developmentSimon Barner, Christian Buckl und Alois Knoll In ACACES 2010 Poster Abstracts, Seiten 89-92, Terrassa, Spain, High-Performance Embedded Architecture and Compiliation Network of Excellence. DetailsBIB
• Mai 2010Towards and Adaptive Execution of Applications in Heterogeneous Embedded NetworksAndreas Scholz, Stephan Sommer, Christian Buckl, Gerd Kainz, Alfons Kemper, Alois Knoll, Jörg Heuer und 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 und 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 und Anton Schmitt In The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010), IEEE. DetailsURLBIB
• Februar 2010Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von AutomatisierungssoftwareDominik Sojer, Christian Buckl und Alois KnollTUM-I1003, Technische Universität München, DetailsURLBIB
• Februar 2010Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten SystemenChristian Buckl, Gerd Kainz, Stephan Sommer und 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 und Alois Knoll In Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, Seiten 347–352, DetailsURLDOIBIB
• 2010A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded SystemsChih-Hong Cheng, Harald Rueß, Alois Knoll und 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 und Anton Schmitt In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation, DetailsURLBIB
• Juni 2009eSOA - Service Oriented Architectures adapted for Embedded NetworksAndreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, Jörg Heuer und Anton Schmitt In Proceedings of the 7th International Conference on Industrial Informatics), DetailsURLBIB
• Mai 2009Services to the Field: An Approach for Resource Constrained Sensor/Actor NetworksChristian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, Alfons Kemper, Jörg Heuer und 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 und 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 und 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 und Yang Chen In MariaSimonetta Balsamo, William J. Knottenbelt und Andrea Marin, Editor, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, 15-18 December 2009, Daejeon, Korea, Seiten 72–77, DetailsURLDOIBIB
• 2009FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant SystemsChih-Hong Cheng, Christian Buckl, Javier Esparza und 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 und 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 und 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, Seiten 622–623, DetailsURLDOIBIB
• 2008EasyLab: Model-Based Development of Software for Mechatronic SystemsSimon Barner, Michael Geisinger, Christian Buckl und Alois Knoll In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Seiten 540–545, Beijing, China, DetailsDOIBIB