Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Christian Buckl
@incollection{DBLP:books/sp/19/KnollBKS19,
author = {Alois C. Knoll and
Christian Buckl and
Karl{-}Josef Kuhn and
Gernot Spiegelberg},
editor = {Yanja Dajsuren and
Mark van den Brand},
title = {The {RACE} Project: An Informatics-Driven Greenfield Approach to Future
{E/E} Architectures for Cars},
booktitle = {Automotive Systems and Software Engineering - State of the Art and
Future Trends},
pages = {171--195},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-12157-0\_8},
doi = {10.1007/978-3-030-12157-0\_8},
timestamp = {Sat, 09 Apr 2022 12:20:04 +0200},
biburl = {https://dblp.org/rec/books/sp/19/KnollBKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/SojerBK15,
author = {Dominik Sojer and
Christian Buckl and
Alois C. Knoll},
title = {Deriving fault-detection mechanisms from safety requirements},
journal = {Comput. Sci. Res. Dev.},
volume = {30},
number = {1},
pages = {21--34},
year = {2015},
url = {https://doi.org/10.1007/s00450-011-0203-z},
doi = {10.1007/S00450-011-0203-Z},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/SojerBK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/Chen0BK15,
author = {Gang Chen and
Kai Huang and
Christian Buckl and
Alois C. Knoll},
title = {Applying Pay-Burst-Only-Once Principle for Periodic Power Management
in Hard Real-Time Pipelined Multiprocessor Systems},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {20},
number = {2},
pages = {26:1--26:27},
year = {2015},
url = {https://doi.org/10.1145/2699865},
doi = {10.1145/2699865},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/Chen0BK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/BuechelF0SBAMZK15,
author = {Martin Buechel and
Jelena Frtunikj and
Klaus Becker and
Stephan Sommer and
Christian Buckl and
Michael Armbruster and
Andre Marek and
Andreas Zirkler and
Cornel Klein and
Alois C. Knoll},
title = {An Automated Electric Vehicle Prototype Showing New Trends in Automotive
Architectures},
booktitle = {{IEEE} 18th International Conference on Intelligent Transportation
Systems, {ITSC} 2015, Gran Canaria, Spain, September 15-18, 2015},
pages = {1274--1279},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ITSC.2015.209},
doi = {10.1109/ITSC.2015.209},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/BuechelF0SBAMZK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/HuangBRBK14,
author = {Jia Huang and
Simon Barner and
Andreas Raabe and
Christian Buckl and
Alois C. Knoll},
title = {A framework for reliability-aware embedded system design on multiprocessor
platforms},
journal = {Microprocess. Microsystems},
volume = {38},
number = {6},
pages = {539--551},
year = {2014},
url = {https://doi.org/10.1016/j.micpro.2014.02.007},
doi = {10.1016/J.MICPRO.2014.02.007},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/HuangBRBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RupanovBFAKS14,
author = {Vladimir Rupanov and
Christian Buckl and
Ludger Fiege and
Michael Armbruster and
Alois C. Knoll and
Gernot Spiegelberg},
title = {Employing early model-based safety evaluation to iteratively derive
{E/E} architecture design},
journal = {Sci. Comput. Program.},
volume = {90},
pages = {161--179},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.10.005},
doi = {10.1016/J.SCICO.2013.10.005},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/RupanovBFAKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ZhangBK14,
author = {Feihu Zhang and
Christian Buckl and
Alois C. Knoll},
title = {Multiple Vehicle Cooperative Localization with Spatial Registration
Based on a Probability Hypothesis Density Filter},
journal = {Sensors},
volume = {14},
number = {1},
pages = {995--1009},
year = {2014},
url = {https://doi.org/10.3390/s140100995},
doi = {10.3390/S140100995},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/ZhangBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/BucklGGRK14,
author = {Christian Buckl and
Michael Geisinger and
Dhiraj Gulati and
Fran J. Ruiz{-}Bertol and
Alois C. Knoll},
title = {{CHROMOSOME:} a run-time environment for plug {\&} play-capable
embedded real-time systems},
journal = {{SIGBED} Rev.},
volume = {11},
number = {3},
pages = {36--39},
year = {2014},
url = {https://doi.org/10.1145/2692385.2692391},
doi = {10.1145/2692385.2692391},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/BucklGGRK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KainzBK14,
author = {Gerd Kainz and
Christian Buckl and
Alois C. Knoll},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Tool Support for Integrated Development of Component-based Embedded
Systems},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {61--62},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30960},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/KainzBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BeckerSAB14,
author = {Klaus Becker and
Bernhard Sch{\"{a}}tz and
Michael Armbruster and
Christian Buckl},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {A Formal Model for Constraint-Based Deployment Calculation and Analysis
for Fault-Tolerant Systems},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {205--219},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_15},
doi = {10.1007/978-3-319-10431-7\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BeckerSAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BeckerSBA14,
author = {Klaus Becker and
Bernhard Sch{\"{a}}tz and
Christian Buckl and
Michael Armbruster},
title = {Deployment Calculation and Analysis for a Fail-Operational Automotive
Platform},
journal = {CoRR},
volume = {abs/1404.7763},
year = {2014},
url = {http://arxiv.org/abs/1404.7763},
eprinttype = {arXiv},
eprint = {1404.7763},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BeckerSBA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/SommerGBBK13,
author = {Stephan Sommer and
Michael Geisinger and
Christian Buckl and
Gerd Bauer and
Alois C. Knoll},
title = {Reconfigurable industrial process monitoring using the {CHROMOSOME}
middleware},
journal = {{SIGBED} Rev.},
volume = {10},
number = {4},
pages = {61--64},
year = {2013},
url = {https://doi.org/10.1145/2583687.2583702},
doi = {10.1145/2583687.2583702},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/SommerGBBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChenHBK13,
author = {Gang Chen and
Kai Huang and
Christian Buckl and
Alois C. Knoll},
editor = {Enrico Macii},
title = {Energy optimization with worst-case deadline guarantee for pipelined
multiprocessor systems},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {45--50},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.024},
doi = {10.7873/DATE.2013.024},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ChenHBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/ChenHHBK13,
author = {Gang Chen and
Kai Huang and
Jia Huang and
Christian Buckl and
Alois C. Knoll},
title = {Effective Online Power Management with Adaptive Interplay of {DVS}
and {DPM} for Embedded Real-Time System},
booktitle = {2013 Euromicro Conference on Digital System Design, {DSD} 2013, Los
Alamitos, CA, USA, September 4-6, 2013},
pages = {881--889},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DSD.2013.99},
doi = {10.1109/DSD.2013.99},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/ChenHHBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicons/CamekBK13,
author = {Alexander Georg Camek and
Christian Buckl and
Alois C. Knoll},
editor = {Linda Bushnell and
Larry Rohrbough and
Saurabh Amin and
Xenofon D. Koutsoukos},
title = {Future cars: necessity for an adaptive and distributed multiple independent
levels of security architecture},
booktitle = {2nd {ACM} International Conference on High Confidence Networked Systems
(part of {CPS} Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11,
2013},
pages = {17--24},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461446.2461450},
doi = {10.1145/2461446.2461450},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicons/CamekBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ZhangSCBK13,
author = {Feihu Zhang and
Hauke Stahle and
Guang Chen and
Christian Buckl and
Alois C. Knoll},
title = {Multiple vehicle cooperative localization under random finite set
framework},
booktitle = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2013, Tokyo, Japan, November 3-7, 2013},
pages = {1405--1411},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IROS.2013.6696533},
doi = {10.1109/IROS.2013.6696533},
timestamp = {Tue, 05 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/iros/ZhangSCBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/ZhangSCBK13,
author = {Feihu Zhang and
Carsten Simon and
Guang Chen and
Christian Buckl and
Alois C. Knoll},
title = {Cumulative error estimation from noisy relative measurements},
booktitle = {16th International {IEEE} Conference on Intelligent Transportation
Systems, {ITSC} 2013, The Hague, The Netherlands, October 6-9, 2013},
pages = {1422--1429},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ITSC.2013.6728430},
doi = {10.1109/ITSC.2013.6728430},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/ZhangSCBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/ZhangSCBK13,
author = {Feihu Zhang and
Hauke Stahle and
Chao Chen and
Christian Buckl and
Alois C. Knoll},
title = {A lane marking extraction approach based on Random Finite Set Statistics},
booktitle = {2013 {IEEE} Intelligent Vehicles Symposium (IV), Gold Coast City,
Australia, June 23-26, 2013},
pages = {1143--1148},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IVS.2013.6629620},
doi = {10.1109/IVS.2013.6629620},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ivs/ZhangSCBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SojerREBK13,
author = {Dominik Sojer and
Frank Reichenbach and
Stein Erik Ellevseth and
Christian Buckl and
Alois C. Knoll},
title = {A Model-Driven Approach for Runtime Reliability Analysis},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.12},
doi = {10.1109/LADC.2013.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SojerREBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socrob/ChenZGBK13,
author = {Guang Chen and
Feihu Zhang and
Manuel Giuliani and
Christian Buckl and
Alois C. Knoll},
editor = {Guido Herrmann and
Martin J. Pearson and
Alexander Lenz and
Paul Bremner and
Adam Spiers and
Ute Leonards},
title = {Unsupervised Learning Spatio-temporal Features for Human Activity
Recognition from {RGB-D} Video Data},
booktitle = {Social Robotics - 5th International Conference, {ICSR} 2013, Bristol,
UK, October 27-29, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8239},
pages = {341--350},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02675-6\_34},
doi = {10.1007/978-3-319-02675-6\_34},
timestamp = {Thu, 14 Oct 2021 10:29:56 +0200},
biburl = {https://dblp.org/rec/conf/socrob/ChenZGBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/ChengGB13,
author = {Chih{-}Hong Cheng and
Michael Geisinger and
Christian Buckl},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Synthesizing Controllers for Automation Tasks with Performance Guarantees},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {154--159},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_10},
doi = {10.1007/978-3-642-39176-7\_10},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/ChengGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/HuangRHBK12,
author = {Jia Huang and
Andreas Raabe and
Kai Huang and
Christian Buckl and
Alois C. Knoll},
title = {A framework for reliability-aware design exploration on MPSoC based
systems},
journal = {Des. Autom. Embed. Syst.},
volume = {16},
number = {4},
pages = {189--220},
year = {2012},
url = {https://doi.org/10.1007/s10617-013-9105-6},
doi = {10.1007/S10617-013-9105-6},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/HuangRHBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/CamekBCK12,
author = {Alexander Camek and
Christian Buckl and
Pedro Sebasti{\~{a}}o Correia and
Alois C. Knoll},
editor = {Leonard Barolli and
Tomoya Enokido and
Fatos Xhafa and
Makoto Takizawa},
title = {An Automotive Side-View System Based on Ethernet and {IP}},
booktitle = {26th International Conference on Advanced Information Networking and
Applications Workshops, {WAINA} 2012, Fukuoka, Japan, March 26-29,
2012},
pages = {238--243},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/WAINA.2012.66},
doi = {10.1109/WAINA.2012.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/CamekBCK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automotiveSS/BeckerBCFFGS12,
author = {Klaus Becker and
Christian Buckl and
Alexander Camek and
Rainer Falk and
Ludger Fiege and
J{\"{u}}rgen Ge{\ss}ner and
Stephan Sommer},
editor = {Erhard Pl{\"{o}}dereder and
Peter Dencker and
Herbert Klenk and
Hubert B. Keller and
Silke Spitzer},
title = {SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten
Controllern},
booktitle = {Automotive - Safety {\&} Security 2012, Sicherheit und Zuverl{\"{a}}ssigkeit
f{\"{u}}r automobile Informationstechnik, 14.-15. November 2012,
Karlsruhe, Proceedings},
series = {{LNI}},
volume = {{P-210}},
pages = {115--132},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/17552},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/automotiveSS/BeckerBCFFGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChengGRBK12,
author = {Chih{-}Hong Cheng and
Michael Geisinger and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {MGSyn: Automatic Synthesis for Industrial Automation},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {658--664},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_46},
doi = {10.1007/978-3-642-31424-7\_46},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChengGRBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuangHRBK12,
author = {Jia Huang and
Kai Huang and
Andreas Raabe and
Christian Buckl and
Alois C. Knoll},
editor = {Patrick Groeneveld and
Donatella Sciuto and
Soha Hassoun},
title = {Towards fault-tolerant embedded systems with imperfect fault detection},
booktitle = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San
Francisco, CA, USA, June 3-7, 2012},
pages = {188--196},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2228360.2228398},
doi = {10.1145/2228360.2228398},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/HuangHRBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuangCBK12,
author = {Kai Huang and
Gang Chen and
Christian Buckl and
Alois C. Knoll},
editor = {Patrick Groeneveld and
Donatella Sciuto and
Soha Hassoun},
title = {Conforming the runtime inputs for hard real-time embedded systems},
booktitle = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San
Francisco, CA, USA, June 3-7, 2012},
pages = {430--436},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2228360.2228436},
doi = {10.1145/2228360.2228436},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/HuangCBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChakrabortyLBFCPKLA12,
author = {Samarjit Chakraborty and
Martin Lukasiewycz and
Christian Buckl and
Suhaib A. Fahmy and
Naehyuck Chang and
Sangyoung Park and
Younghyun Kim and
Patrick Leteinturier and
Hans Adlkofer},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Embedded systems and software challenges in electric vehicles},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {424--429},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176508},
doi = {10.1109/DATE.2012.6176508},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/ChakrabortyLBFCPKLA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HuangBRBK12,
author = {Jia Huang and
Jan Olaf Blech and
Andreas Raabe and
Christian Buckl and
Alois C. Knoll},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Static scheduling of a Time-Triggered Network-on-Chip based on {SMT}
solving},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {509--514},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176522},
doi = {10.1109/DATE.2012.6176522},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/HuangBRBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/HuangCKGB12,
author = {Kai Huang and
Gang Chen and
Nadine Keddis and
Michael Geisinger and
Christian Buckl},
title = {Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based
Design of Embedded Systems},
booktitle = {2012 {IEEE/ACM} Third International Conference on Cyber-Physical Systems,
{ICCPS} 2012, Beijing, China, April 17-19, 2012},
pages = {224},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCPS.2012.45},
doi = {10.1109/ICCPS.2012.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/HuangCKGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChengGRBK12,
author = {Chih{-}Hong Cheng and
Michael Geisinger and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
title = {Game solving for industrial automation and control},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
pages = {4367--4372},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICRA.2012.6224814},
doi = {10.1109/ICRA.2012.6224814},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/ChengGRBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ZhangSGBK12,
author = {Feihu Zhang and
Hauke Stahle and
Andre Gaschler and
Christian Buckl and
Alois C. Knoll},
title = {Single camera visual odometry based on Random Finite Set Statistics},
booktitle = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,
2012},
pages = {559--566},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IROS.2012.6385532},
doi = {10.1109/IROS.2012.6385532},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/ZhangSGBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isarcs/RupanovBFAKS12,
author = {Vladimir Rupanov and
Christian Buckl and
Ludger Fiege and
Michael Armbruster and
Alois C. Knoll and
Gernot Spiegelberg},
editor = {Vincenzo Grassi and
Raffaela Mirandola and
Jorge Cu{\'{e}}llar and
Javier L{\'{o}}pez},
title = {Early safety evaluation of design decisions in {E/E} architecture
according to {ISO} 26262},
booktitle = {Proceedings of the 3rd international {ACM} {SIGSOFT} symposium on
Architecting Critical Systems, {ISARCS} 2012, part of Comparch '12
Federated Events on Component-Based Software Engineering and Software
Architecture, Bertinoro, Italy, June 25-28, 2012},
pages = {1--10},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2304656.2304658},
doi = {10.1145/2304656.2304658},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isarcs/RupanovBFAKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/ZhangCSBK12,
author = {Feihu Zhang and
Guang Chen and
Hauke Stahle and
Christian Buckl and
Alois C. Knoll},
title = {Visual odometry based on Random Finite Set Statistics in urban environment},
booktitle = {2012 {IEEE} Intelligent Vehicles Symposium, {IV} 2012, Alcal de Henares,
Madrid, Spain, June 3-7, 2012},
pages = {69--74},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IVS.2012.6232201},
doi = {10.1109/IVS.2012.6232201},
timestamp = {Wed, 11 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ivs/ZhangCSBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfi/ZhangSCCSBK12,
author = {Feihu Zhang and
Hauke Stahle and
Guang Chen and
Chao Chen and
Carsten Simon and
Christian Buckl and
Alois C. Knoll},
title = {A sensor fusion approach for localization with cumulative error elimination},
booktitle = {{IEEE} International Conference on Multisensor Fusion and Integration
for Intelligent Systems, {MFI} 2012, Hamburg, Germany, September 13-15,
2012},
pages = {1--6},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/MFI.2012.6343009},
doi = {10.1109/MFI.2012.6343009},
timestamp = {Wed, 11 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfi/ZhangSCCSBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KainzBK12,
author = {Gerd Kainz and
Christian Buckl and
Alois C. Knoll},
editor = {Robert B. France and
J{\"{u}}rgen Kazmeier and
Ruth Breu and
Colin Atkinson},
title = {A Generic Approach Simplifying Model-to-Model Transformation Chains},
booktitle = {Model Driven Engineering Languages and Systems - 15th International
Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October
5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7590},
pages = {579--594},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33666-9\_37},
doi = {10.1007/978-3-642-33666-9\_37},
timestamp = {Sun, 25 Jul 2021 11:43:55 +0200},
biburl = {https://dblp.org/rec/conf/models/KainzBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengBCYJRBK11,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Yu{-}Fang Chen and
Rongjie Yan and
Barbara Jobstmann and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Algorithms for Synthesizing Priorities in Component-Based Systems},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {150--167},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_12},
doi = {10.1007/978-3-642-24372-1\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/ChengBCYJRBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/HuangBRBK11,
author = {Jia Huang and
Jan Olaf Blech and
Andreas Raabe and
Christian Buckl and
Alois C. Knoll},
editor = {Robert P. Dick and
Jan Madsen},
title = {Analysis and optimization of fault-tolerant task scheduling on multiprocessor
embedded systems},
booktitle = {Proceedings of the 9th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2011, part of ESWeek '11
Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011},
pages = {247--256},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039370.2039409},
doi = {10.1145/2039370.2039409},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codes/HuangBRBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HuangRBK11,
author = {Jia Huang and
Andreas Raabe and
Christian Buckl and
Alois C. Knoll},
title = {A workflow for runtime adaptive task allocation on heterogeneous MPSoCs},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {1119--1134},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763189},
doi = {10.1109/DATE.2011.5763189},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/HuangRBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/HuangBRBK11,
author = {Jia Huang and
Jan Olaf Blech and
Andreas Raabe and
Christian Buckl and
Alois C. Knoll},
title = {Reliability-Aware Design Optimization for Multiprocessor Embedded
Systems},
booktitle = {14th Euromicro Conference on Digital System Design, Architectures,
Methods and Tools, {DSD} 2011, August 31 - September 2, 2011, Oulu,
Finland},
pages = {239--246},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DSD.2011.34},
doi = {10.1109/DSD.2011.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/HuangBRBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/BarnerRBK11,
author = {Simon Barner and
Andreas Raabe and
Christian Buckl and
Alois C. Knoll},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {Beschreibung der Plattformabh{\"{a}}ngigkeit eingebetteter Applikationen
mit Dienstmodellen},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
pages = {31--40},
publisher = {fortiss GmbH, M{\"{u}}nchen},
year = {2011},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbees/BarnerRBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KainzBK11,
author = {Gerd Kainz and
Christian Buckl and
Alois C. Knoll},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Automated Model-to-Metamodel Transformations Based on the Concepts
of Deep Instantiation},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {17--31},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_3},
doi = {10.1007/978-3-642-24485-8\_3},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/KainzBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/HuangBRK11,
author = {Jia Huang and
Christian Buckl and
Andreas Raabe and
Alois C. Knoll},
editor = {Yiannis Cotronis and
Marco Danelutto and
George Angelos Papadopoulos},
title = {Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous
Multiprocessor Systems},
booktitle = {Proceedings of the 19th International Euromicro Conference on Parallel,
Distributed and Network-based Processing, {PDP} 2011, Ayia Napa, Cyprus,
9-11 February 2011},
pages = {447--454},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PDP.2011.10},
doi = {10.1109/PDP.2011.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/HuangBRK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SojerKB11,
author = {Dominik Sojer and
Dominik Knoll and
Christian Buckl},
title = {Synthesis of diagnostic techniques based on an {IEC} 61508-aware metamodel},
booktitle = {Industrial Embedded Systems (SIES), 2011 6th {IEEE} International
Symposium on, {SIES} 2011. Vasteras, Sweden, June 15-17, 2011},
pages = {59--62},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/SIES.2011.5953680},
doi = {10.1109/SIES.2011.5953680},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/SojerKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/WeissmannBBK11,
author = {Markus Wei{\ss}mann and
Stefan Bedenk and
Christian Buckl and
Alois C. Knoll},
editor = {Alex Groce and
Madanlal Musuvathi},
title = {Model Checking Industrial Robot Systems},
booktitle = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
UT, USA, July 14-15, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6823},
pages = {161--176},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22306-8\_11},
doi = {10.1007/978-3-642-22306-8\_11},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/WeissmannBBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChengKLB11,
author = {Chih{-}Hong Cheng and
Alois C. Knoll and
Michael Luttenberger and
Christian Buckl},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {{GAVS+:} An Open Platform for the Research of Algorithmic Game Solving},
booktitle = {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, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {258--261},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_22},
doi = {10.1007/978-3-642-19835-9\_22},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChengKLB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChengRKB11,
author = {Chih{-}Hong Cheng and
Harald Rue{\ss} and
Alois C. Knoll and
Christian Buckl},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory
to Practice},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {118--133},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_10},
doi = {10.1007/978-3-642-18275-4\_10},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ChengRKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/ChengJBK11,
author = {Chih{-}Hong Cheng and
Barbara Jobstmann and
Christian Buckl and
Alois C. Knoll},
editor = {B{\'{e}}atrice Bouchou{-}Markhoff and
Pascal Caron and
Jean{-}Marc Champarnaud and
Denis Maurel},
title = {On the Hardness of Priority Synthesis},
booktitle = {Implementation and Application of Automata - 16th International Conference,
{CIAA} 2011, Blois, France, July 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6807},
pages = {110--117},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22256-6\_11},
doi = {10.1007/978-3-642-22256-6\_11},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/ChengJBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-1383,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Yu{-}Fang Chen and
Rongjie Yan and
Barbara Jobstmann and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
title = {Algorithms for Synthesizing Priorities in Component-based Systems},
journal = {CoRR},
volume = {abs/1107.1383},
year = {2011},
url = {http://arxiv.org/abs/1107.1383},
eprinttype = {arXiv},
eprint = {1107.1383},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/SommerSGKKBKHS10,
author = {Stephan Sommer and
Andreas Scholz and
Irina Gaponova and
Alois C. Knoll and
Alfons Kemper and
Christian Buckl and
Gerd Kainz and
J{\"{o}}rg Heuer and
Anton Schmitt},
title = {Service Migration Scenarios for Embedded Networks},
booktitle = {24th {IEEE} International Conference on Advanced Information Networking
and Applications Workshops, {WAINA} 2010, Perth, Australia, 20-13
April 2010},
pages = {502--507},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/WAINA.2010.84},
doi = {10.1109/WAINA.2010.84},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/SommerSGKKBKHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengBLK10,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Michael Luttenberger and
Alois C. Knoll},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {{GAVS:} Game Arena Visualization and Synthesis},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {347--352},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_26},
doi = {10.1007/978-3-642-15643-4\_26},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChengBLK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/HuangRBK10,
author = {Jia Huang and
Andreas Raabe and
Christian Buckl and
Alois C. Knoll},
title = {Runtime adaptive allocation of dynamically mixed tasks on a heterogeneous
MPSoC platform},
booktitle = {Proceedings of the 2010 Conference on Design {\&} Architectures
for Signal {\&} Image Processing, {DASIP} 2010, Edinburgh, Scotland,
UK, October 26-28, 2010, Electronic Chips {\&} Systems design
Initiative, {ECSI}},
pages = {34--41},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/DASIP.2010.5706243},
doi = {10.1109/DASIP.2010.5706243},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasip/HuangRBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BucklGGKL10,
author = {Christian Buckl and
Irina Gaponova and
Michael Geisinger and
Alois C. Knoll and
Edward A. Lee},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Model-based specification of timing requirements},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {239--248},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879053},
doi = {10.1145/1879021.1879053},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BucklGGKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BucklSK10,
author = {Christian Buckl and
Dominik Sojer and
Alois C. Knoll},
title = {{FTOS:} Model-driven development of fault-tolerant automation systems},
booktitle = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
Spain},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ETFA.2010.5641211},
doi = {10.1109/ETFA.2010.5641211},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BucklSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ScholzSKKBKHS10,
author = {Andreas Scholz and
Stephan Sommer and
Alfons Kemper and
Alois C. Knoll and
Christian Buckl and
Gerd Kainz and
J{\"{o}}rg Heuer and
Anton Schmitt},
editor = {Kurt Geihs and
Stefan Gruner and
Kay R{\"{o}}mer},
title = {Towards an adaptive execution of applications in heterogeneous embedded
networks},
booktitle = {Proceedings of the 2010 {ICSE} Workshop on Software Engineering for
Sensor Network Applications, {SESENA} 2010, Cape Town, South Africa,
May 3, 2010},
pages = {26--31},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1809111.1809120},
doi = {10.1145/1809111.1809120},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ScholzSKKBKHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/SommerKBBS10,
author = {Stephan Sommer and
Alois C. Knoll and
Christian Buckl and
Gerd Bauer and
Jens Schulz},
title = {MultiNet: An intelligent sensor cable},
booktitle = {The 35th Annual {IEEE} Conference on Local Computer Networks, {LCN}
2010, 10-14 October 2010, Denver, Colorado, USA, Proceedings},
pages = {946--952},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LCN.2010.5735839},
doi = {10.1109/LCN.2010.5735839},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcn/SommerKBBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/BucklKSK10,
author = {Christian Buckl and
Gerd Kainz and
Stephan Sommer and
Alois C. Knoll},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten
Systemen},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
pages = {23--32},
publisher = {fortiss GmbH, M{\"{u}}nchen},
year = {2010},
url = {http://www.tu-braunschweig.de/Medien-DB/sse/mbees2010\_tagungsband.pdf},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbees/BucklKSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KainzBSK10,
author = {Gerd Kainz and
Christian Buckl and
Stephan Sommer and
Alois C. Knoll},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {Model-to-Metamodel Transformation for the Development of Component-Based
Systems},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6395},
pages = {391--405},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16129-2\_28},
doi = {10.1007/978-3-642-16129-2\_28},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/KainzBSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-0268,
author = {Chih{-}Hong Cheng and
Harald Ruess and
Alois C. Knoll and
Christian Buckl},
title = {A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded
Systems},
journal = {CoRR},
volume = {abs/1011.0268},
year = {2010},
url = {http://arxiv.org/abs/1011.0268},
eprinttype = {arXiv},
eprint = {1011.0268},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ScholzBSKKHS09,
author = {Andreas Scholz and
Christian Buckl and
Stephan Sommer and
Alfons Kemper and
Alois C. Knoll and
J{\"{o}}rg Heuer and
Anton Schmitt},
title = {eSOA - {SOA} f{\"{u}}r eingebettete Netze},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {17},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.17.209},
doi = {10.14279/TUJ.ECEASST.17.209},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ScholzBSKKHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BucklSSKKHS09,
author = {Christian Buckl and
Stephan Sommer and
Andreas Scholz and
Alois C. Knoll and
Alfons Kemper and
J{\"{o}}rg Heuer and
Anton Schmitt},
title = {Services to the Field: An Approach for Resource Constrained Sensor/Actor
Networks},
booktitle = {23rd International Conference on Advanced Information Networking and
Applications, {AINA} 2009, Workshops Proceedings, Bradford, United
Kingdom, May 26-29, 2009},
pages = {476--481},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WAINA.2009.20},
doi = {10.1109/WAINA.2009.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/BucklSSKKHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cira/ChengKBEC09,
author = {Chih{-}Hong Cheng and
Alois C. Knoll and
Christian Buckl and
Javier Esparza and
Yang Chen},
title = {Examining robotic systems with shape-adjustable manipulators under
dynamic environments: From simulation to verification},
booktitle = {Proceedings of the {IEEE} International Symposium on Computational
Intelligence in Robotics and Automation, {CIRA} 2009, 15-18 December
2009, Daejeon, Korea},
pages = {72--77},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CIRA.2009.5423243},
doi = {10.1109/CIRA.2009.5423243},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cira/ChengKBEC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChengRBLK09,
author = {Chih{-}Hong Cheng and
Markus Rickert and
Christian Buckl and
Edward A. Lee and
Alois C. Knoll},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Ming Hua and
Rajesh Subramanyan},
title = {Toward the Design of Robotic Software with Verifiable Safety},
booktitle = {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},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.89},
doi = {10.1109/COMPSAC.2009.89},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ChengRBLK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/ChengBEK09,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Javier Esparza and
Alois C. Knoll},
editor = {Stephen John Turner and
David J. Roberts and
Wentong Cai and
Abdulmotaleb El{-}Saddik},
title = {Modeling and Verification for Timing Satisfaction of Fault-Tolerant
Systems with Finiteness},
booktitle = {13th {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications, Singapore, 25-28 October 2009},
pages = {208--215},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DS-RT.2009.20},
doi = {10.1109/DS-RT.2009.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/ChengBEK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ScholzGSKKBHS09,
author = {Andreas Scholz and
Irina Gaponova and
Stephan Sommer and
Alfons Kemper and
Alois C. Knoll and
Christian Buckl and
J{\"{o}}rg Heuer and
Anton Schmitt},
title = {Efficient Communication in Control-oriented Embedded Networks},
booktitle = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
de Mallorca, Spain},
pages = {1--8},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ETFA.2009.5347065},
doi = {10.1109/ETFA.2009.5347065},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/ScholzGSKKBHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/0001GSKKBHS09,
author = {Andreas Scholz and
Irina Gaponova and
Stephan Sommer and
Alfons Kemper and
Alois C. Knoll and
Christian Buckl and
J{\"{o}}rg Heuer and
Anton Schmitt},
title = {{\(\in\)}SOA - Service Oriented Architectures adapted for embedded
networks},
booktitle = {7th {IEEE} International Conference on Industrial Informatics, {INDIN}
2009, Cardiff, UK, 23-26 June 2009},
pages = {599--605},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/INDIN.2009.5195871},
doi = {10.1109/INDIN.2009.5195871},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/0001GSKKBHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/SommerBK09,
author = {Stephan Sommer and
Christian Buckl and
Alois C. Knoll},
editor = {Shahram Latifi},
title = {Developing Service Oriented Sensor/Actuator Networks Using a Tailored
Middleware},
booktitle = {Sixth International Conference on Information Technology: New Generations,
{ITNG} 2009, Las Vegas, Nevada, USA, 27-29 April 2009},
pages = {1036--1041},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ITNG.2009.256},
doi = {10.1109/ITNG.2009.256},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itng/SommerBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3946,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Javier Esparza and
Alois C. Knoll},
title = {FTOS-Verify: Analysis and Verification of Non-Functional Properties
for Fault-Tolerant Systems},
journal = {CoRR},
volume = {abs/0905.3946},
year = {2009},
url = {http://arxiv.org/abs/0905.3946},
eprinttype = {arXiv},
eprint = {0905.3946},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3951,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Javier Esparza and
Alois C. Knoll},
title = {Modeling and Verification for Timing Satisfaction of Fault-Tolerant
Systems with Finiteness},
journal = {CoRR},
volume = {abs/0905.3951},
year = {2009},
url = {http://arxiv.org/abs/0905.3951},
eprinttype = {arXiv},
eprint = {0905.3951},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3951.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Buckl2008,
author = {Christian Buckl},
title = {Model-based development of fault-tolerant real-time systems},
school = {Technical University Munich, Germany},
year = {2008},
url = {http://mediatum2.ub.tum.de/doc/650042/document.pdf},
urn = {urn:nbn:de:bvb:91-diss-20080424-650042-1-3},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Buckl2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ScholzBKKHW08,
author = {Andreas Scholz and
Christian Buckl and
Alfons Kemper and
Alois C. Knoll and
J{\"{o}}rg Heuer and
Martin Winter},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {{WS-AMUSE} - web service architecture for multimedia services},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {703--712},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368188},
doi = {10.1145/1368088.1368188},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ScholzBKKHW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sutc/BucklSSKK08,
author = {Christian Buckl and
Stephan Sommer and
Andreas Scholz and
Alois C. Knoll and
Alfons Kemper},
editor = {Mukesh Singhal and
Giovanna Di Marzo Serugendo and
Jeffrey J. P. Tsai and
Wang{-}Chien Lee and
Kay R{\"{o}}mer and
Yu{-}Chee Tseng and
Han C. W. Hsiao},
title = {Generating a Tailored Middleware for Wireless Sensor Network Applications},
booktitle = {{IEEE} International Conference on Sensor Networks, Ubiquitous, and
Trustworthy Computing {(SUTC} 2008), 11-13 June 2008, Taichung, Taiwan},
pages = {162--169},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SUTC.2008.57},
doi = {10.1109/SUTC.2008.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sutc/BucklSSKK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/BucklRKS07,
author = {Christian Buckl and
Matthias Regensburger and
Alois C. Knoll and
Gerhard Schrott},
title = {Models for automatic generation of safety-critical real-time systems},
booktitle = {Proceedings of the The Second International Conference on Availability,
Reliability and Security, {ARES} 2007, The International Dependability
Conference - Bridging Theory and Practice, April 10-13 2007, Vienna,
Austria},
pages = {580--587},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ARES.2007.106},
doi = {10.1109/ARES.2007.106},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/BucklRKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BucklKSZ07,
author = {Christian Buckl and
Alois C. Knoll and
Ina Schieferdecker and
Justyna Zander},
editor = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Model-Based Analysis and Development of Dependable Systems},
booktitle = {Model-Based Engineering of Embedded Real-Time Systems - International
Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6100},
pages = {271--293},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-16277-0\_10},
doi = {10.1007/978-3-642-16277-0\_10},
timestamp = {Sat, 30 Sep 2023 09:38:34 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BucklKSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BucklRKS07,
author = {Christian Buckl and
Matthias Regensburger and
Alois C. Knoll and
Gerhard Schrott},
title = {Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution
Time},
booktitle = {13th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2007), 17-19 December, 2007, Melbourne, Victoria, Australia},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PRDC.2007.14},
doi = {10.1109/PRDC.2007.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/BucklRKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/RegensburgerBKS07,
author = {Matthias Regensburger and
Christian Buckl and
Alois C. Knoll and
Gerhard Schrott},
title = {Model Based Development of Safety-Critical Systems Using Template
Based Code Generation},
booktitle = {13th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2007), 17-19 December, 2007, Melbourne, Victoria, Australia},
pages = {89--92},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PRDC.2007.25},
doi = {10.1109/PRDC.2007.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/RegensburgerBKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/BucklKS06,
author = {Christian Buckl and
Alois C. Knoll and
Gerhard Schrott},
title = {Template-Based Development of Fault-Tolerant Embedded Software},
booktitle = {Proceedings of the International Conference on Software Engineering
Advances {(ICSEA} 2006), October 28 - November 2, 2006, Papeete, Tahiti,
French Polynesia},
pages = {65},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICSEA.2006.261321},
doi = {10.1109/ICSEA.2006.261321},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/BucklKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BucklKS06,
author = {Christian Buckl and
Alois C. Knoll and
Gerhard Schrott},
title = {Model-Based Development of Fault-Tolerant Embedded Software},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {103--110},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.22},
doi = {10.1109/ISOLA.2006.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BucklKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BucklKS05,
author = {Christian Buckl and
Alois C. Knoll and
Gerhard Schrott},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {The Zerberus Language: Describing the Functional Model of Dependable
Real-Time Systems},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {101--120},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_10},
doi = {10.1007/11572329\_10},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BucklKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BucklKS05,
author = {Christian Buckl and
Alois C. Knoll and
Gerhard Schrott},
title = {Development of Dependable Real-Time Systems with Zerberus},
booktitle = {11th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2005), 12-14 December, 2005, Changsha, Hunan, China},
pages = {404--408},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PRDC.2005.32},
doi = {10.1109/PRDC.2005.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/BucklKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
