default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wolfgang Müller 0003
@inproceedings{DBLP:conf/date/EckerAMHKHDAWMS22,
author = {Wolfgang Ecker and
Peer Adelt and
Wolfgang M{\"{u}}ller and
Reinhold Heckmann and
Milos Krstic and
Vladimir Herdt and
Rolf Drechsler and
Gerhard Angst and
Ralf Wimmer and
Andreas Mauderer and
Rafael Stahl and
Karsten Emrich and
Daniel Mueller{-}Gritschneder and
Bernd Becker and
Philipp Scholl and
Eyck Jentzsch and
Jan Schlamelcher and
Kim Gr{\"{u}}ttner and
Paul Palomero Bernardo and
Oliver Bringmann and
Mihaela Damian and
Julian Oppermann and
Andreas Koch and
J{\"{o}}rg Bormann and
Johannes Partzsch and
Christian Mayr and
Wolfgang Kunz},
editor = {Cristiana Bolchini and
Ingrid Verbauwhede and
Ioana Vatajelu},
title = {The Scale4Edge {RISC-V} Ecosystem},
booktitle = {2022 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
pages = {808--813},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/DATE54114.2022.9774593},
doi = {10.23919/DATE54114.2022.9774593},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/EckerAMHKHDAWMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/WuHA0SE18,
author = {Liang Wu and
Mohammad Khizer Hussain and
Saed Abughannam and
Wolfgang M{\"{u}}ller and
Christoph Scheytt and
Wolfgang Ecker},
title = {Analog fault simulation automation at schematic level with random
sampling techniques},
booktitle = {13th International Conference on Design {\&} Technology of Integrated
Systems In Nanoscale Era, {DTIS} 2018, Taormina, Italy, April 9-12,
2018},
pages = {1--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/DTIS.2018.8368549},
doi = {10.1109/DTIS.2018.8368549},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dtis/WuHA0SE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/AdeltKMBKS16,
author = {Peer Adelt and
Bastian Koppelmann and
Wolfgang M{\"{u}}ller and
Markus Becker and
Bernd Kleinjohann and
Christoph Scheytt},
title = {Fast dynamic fault injection for virtual microcontroller platforms},
booktitle = {2016 {IFIP/IEEE} International Conference on Very Large Scale Integration,
VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/VLSI-SoC.2016.7753545},
doi = {10.1109/VLSI-SOC.2016.7753545},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsi/AdeltKMBKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/OetjensBBBBCCDEGKKLM0MPPRRRSSTV14,
author = {Jan{-}Hendrik Oetjens and
Nico Bannow and
Markus Becker and
Oliver Bringmann and
Andreas Burger and
Moomen Chaari and
Samarjit Chakraborty and
Rolf Drechsler and
Wolfgang Ecker and
Kim Gr{\"{u}}ttner and
Thomas Kruse and
Christoph Kuznik and
Hoang Minh Le and
Andreas Mauderer and
Wolfgang M{\"{u}}ller and
Daniel M{\"{u}}ller{-}Gritschneder and
Frank Poppen and
Hendrik Post and
Sebastian Reiter and
Wolfgang Rosenstiel and
S. Roth and
Ulf Schlichtmann and
Andreas von Schwerin and
Bogdan{-}Andrei Tabacaru and
Alexander Viehl},
title = {Safety Evaluation of Automotive Electronics Using Virtual Prototypes:
State of the Art and Research Challenges},
booktitle = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
Francisco, CA, USA, June 1-5, 2014},
pages = {113:1--113:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593069.2602976},
doi = {10.1145/2593069.2602976},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/OetjensBBBBCCDEGKKLM0MPPRRRSSTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/Joy0R14,
author = {Mabel Mary Joy and
Wolfgang M{\"{u}}ller and
Franz{-}Josef Rammig},
title = {Source Code Annotated Memory Leak Detection for Soft Real Time Embedded
Systems with Resource Constraints},
booktitle = {{IEEE} 12th International Conference on Dependable, Autonomic and
Secure Computing, {DASC} 2014, Dalian, China, August 24-27, 2014},
pages = {166--172},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/DASC.2014.38},
doi = {10.1109/DASC.2014.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasc/Joy0R14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/BeckerKM14,
author = {Markus Becker and
Christoph Kuznik and
Wolfgang M{\"{u}}ller},
title = {WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual
platform framework for cyber-physical systems},
booktitle = {{ACM/IEEE} International Conference on Cyber-Physical Systems, ICCPS,
Berlin, Germany, April 14-17, 2014},
pages = {213},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICCPS.2014.6843726},
doi = {10.1109/ICCPS.2014.6843726},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/BeckerKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/KoppelmannB014,
author = {Bastian Koppelmann and
Markus Becker and
Wolfgang M{\"{u}}ller},
editor = {J{\"{u}}rgen Ruf and
Dirk Allmendinger and
Matteo Michel},
title = {Portierung der TriCore-Architektur auf {QEMU}},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
pages = {49--60},
publisher = {Cuvillier},
year = {2014},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/KoppelmannB014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/KuznikD014,
author = {Christoph Kuznik and
Bertrand Defo and
Wolfgang M{\"{u}}ller},
editor = {J{\"{u}}rgen Ruf and
Dirk Allmendinger and
Matteo Michel},
title = {Semi-automatische Generierung von {\"{U}}berdeckungsmetriken
mittels methodischer Verikationsplan Verarbeitung},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
pages = {113--124},
publisher = {Cuvillier},
year = {2014},
timestamp = {Thu, 13 Mar 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/KuznikD014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/MischkallaM14,
author = {Fabian Mischkalla and
Wolfgang M{\"{u}}ller},
title = {Advanced SoC virtual prototyping for system-level power planning and
validation},
booktitle = {24th International Workshop on Power and Timing Modeling, Optimization
and Simulation, PATMOS), Palma de Mallorca, Spain, September 29 -
Oct. 1, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/PATMOS.2014.6951882},
doi = {10.1109/PATMOS.2014.6951882},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/patmos/MischkallaM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/MischkallaM14,
author = {Fabian Mischkalla and
Wolfgang M{\"{u}}ller},
title = {Architectural low-power design using transaction-based system modeling
and simulation},
booktitle = {XIVth International Conference on Embedded Computer Systems: Architectures,
Modeling, and Simulation, {SAMOS} 2014, Agios Konstantinos, Samos,
Greece, July 14-17, 2014},
pages = {258--265},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SAMOS.2014.6893219},
doi = {10.1109/SAMOS.2014.6893219},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/samos/MischkallaM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/AnackerDFGHHHKKKK0OOPPRRRRSSSTTWXZ14,
author = {Harald Anacker and
Michael Dellnitz and
Kathrin Fla{\ss}kamp and
Stefan Groesbrink and
Philip Hartmann and
Christian Heinzemann and
Christian Horenkamp and
Bernd Kleinjohann and
Lisa Kleinjohann and
Sebastian Korf and
Martin Kr{\"{u}}ger and
Wolfgang M{\"{u}}ller and
Sina Ober{-}Bl{\"{o}}baum and
Simon Oberth{\"{u}}r and
Mario Porrmann and
Claudia Priesterjahn and
Rafael Radkowski and
Christoph Rasche and
Jan Rieke and
Maik Ringkamp and
Katharina Stahl and
Dominik Steenken and
J{\"{o}}rg St{\"{o}}cklein and
Robert Timmermann and
Ansgar Tr{\"{a}}chtler and
Katrin Witting and
Tao Xie and
Steffen Ziegert},
editor = {J{\"{u}}rgen Gausemeier and
Franz{-}Josef Rammig and
Wilhelm Sch{\"{a}}fer},
title = {Methods for the Design and Development},
booktitle = {Design Methodology for Intelligent Technical Systems, Develop Intelligent
Technical Systems of the Future},
pages = {183--350},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-45435-6\_5},
doi = {10.1007/978-3-642-45435-6\_5},
timestamp = {Mon, 13 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/AnackerDFGHHHKKKK0OOPPRRRRSSSTTWXZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/KlobedanzJRM13,
author = {Kay Klobedanz and
Jan Jatzkowski and
Achim Rettberg and
Wolfgang M{\"{u}}ller},
editor = {Gunar Schirner and
Marcelo G{\"{o}}tz and
Achim Rettberg and
Mauro Cesar Zanella and
Franz J. Rammig},
title = {Fault-Tolerant Deployment of Real-Time Software in {AUTOSAR} {ECU}
Networks},
booktitle = {Embedded Systems: Design, Analysis and Verification - 4th {IFIP} {TC}
10 International Embedded Systems Symposium, {IESS} 2013, Paderborn,
Germany, June 17-19, 2013. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {403},
pages = {238--249},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38853-8\_22},
doi = {10.1007/978-3-642-38853-8\_22},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/KlobedanzJRM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BeckerK013,
author = {Markus Becker and
Ulrich Kiffmeier and
Wolfgang M{\"{u}}ller},
title = {HeroeS: Virtual platform driven integration of heterogeneous software
components for multi-core real-time architectures},
booktitle = {16th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2013, Paderborn, Germany,
June 19-21, 2013},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISORC.2013.6913192},
doi = {10.1109/ISORC.2013.6913192},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BeckerK013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/Mischkalla013,
author = {Fabian Mischkalla and
Wolfgang M{\"{u}}ller},
editor = {Christian Haubelt and
Dirk Timmermann},
title = {Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller
Prototypen},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
March 12-14, 2013},
pages = {171--181},
publisher = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
Universit{\"{a}}t Rostock},
year = {2013},
timestamp = {Mon, 18 Mar 2013 20:33:43 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/Mischkalla013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/MischkallaM13,
author = {Fabian Mischkalla and
Wolfgang M{\"{u}}ller},
title = {Efficient power Intent validation using loosely-timed simulation models},
booktitle = {2013 23rd International Workshop on Power and Timing Modeling, Optimization
and Simulation (PATMOS), Karlsruhe, Germany, September 9-11, 2013},
pages = {172--179},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/PATMOS.2013.6662171},
doi = {10.1109/PATMOS.2013.6662171},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/patmos/MischkallaM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/MullerBED12,
author = {Wolfgang M{\"{u}}ller and
Markus Becker and
Ahmed Elfeky and
Anthony DiPasquale},
title = {Virtual prototyping of Cyber-Physical Systems},
booktitle = {Proceedings of the 17th Asia and South Pacific Design Automation Conference,
{ASP-DAC} 2012, Sydney, Australia, January 30 - February 2, 2012},
pages = {219--226},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ASPDAC.2012.6164948},
doi = {10.1109/ASPDAC.2012.6164948},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/MullerBED12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/MullerE12,
author = {Wolfgang M{\"{u}}ller and
Wolfgang Ecker},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Naehyuck Chang and
Franco Fummi},
title = {Testbenches for advanced {TLM} verification},
booktitle = {Proceedings of the 10th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2012, part of ESWeek '12
Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012},
pages = {305--306},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380445.2380495},
doi = {10.1145/2380445.2380495},
timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
biburl = {https://dblp.org/rec/conf/codes/MullerE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/OliveiraKLGH0DEE12,
author = {Marcio Ferreira da Silva Oliveira and
Christoph Kuznik and
Hoang Minh Le and
Daniel Gro{\ss}e and
Finn Haedicke and
Wolfgang M{\"{u}}ller and
Rolf Drechsler and
Wolfgang Ecker and
Volkan Esen},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Naehyuck Chang and
Franco Fummi},
title = {The system verification methodology for advanced {TLM} verification},
booktitle = {Proceedings of the 10th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2012, part of ESWeek '12
Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012},
pages = {313--322},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380445.2380497},
doi = {10.1145/2380445.2380497},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codes/OliveiraKLGH0DEE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BeckerDFMPV12,
author = {Markus Becker and
Gilles B. Defo and
Franco Fummi and
Wolfgang M{\"{u}}ller and
Graziano Pravadelli and
Sara Vinco},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {{MOUSSE:} Scaling modelling and verification to complex Heterogeneous
Embedded Systems evolution},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {296--299},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176482},
doi = {10.1109/DATE.2012.6176482},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BeckerDFMPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BeckerKJXM12,
author = {Markus Becker and
Christoph Kuznik and
Mabel M. Joy and
Tao Xie and
Wolfgang M{\"{u}}ller},
editor = {Robert S. Swarz and
Philip Koopman and
Michel Cukier},
title = {Binary mutation testing through dynamic translation},
booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks,
{DSN} 2012, Boston, MA, USA, June 25-28, 2012},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DSN.2012.6263914},
doi = {10.1109/DSN.2012.6263914},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BeckerKJXM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BeckerBKJX012,
author = {Markus Becker and
Daniel Baldin and
Christoph Kuznik and
Mabel M. Joy and
Tao Xie and
Wolfgang M{\"{u}}ller},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Florence Maraninchi and
John Regehr},
title = {{XEMU:} an efficient {QEMU} based binary mutation testing framework
for embedded software},
booktitle = {Proceedings of the 12th International Conference on Embedded Software,
{EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012,
Tampere, Finland, October 7-12, 2012},
pages = {33--42},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380356.2380368},
doi = {10.1145/2380356.2380368},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BeckerBKJX012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/HeM12,
author = {Da He and
Wolfgang M{\"{u}}ller},
editor = {Chunming Hu and
Gabor Karsai and
Jie Xu and
Andreas Polze and
Ji Wang and
Andy J. Wellings},
title = {Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented
Systems},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2012, Shenzhen, China, April
11-13, 2012},
pages = {56--63},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORC.2012.16},
doi = {10.1109/ISORC.2012.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/HeM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KlobedanzMR12,
author = {Kay Klobedanz and
Wolfgang M{\"{u}}ller and
Achim Rettberg},
title = {An Approach for Self-Reconfiguring and Fault-Tolerant Distributed
Real-Time Systems},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2012,
Shenzhen, China, April 11, 2012},
pages = {196--203},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORCW.2012.41},
doi = {10.1109/ISORCW.2012.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KlobedanzMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socc/XieML12,
author = {Tao Xie and
Wolfgang M{\"{u}}ller and
Florian Letombe},
editor = {Ramalingam Sridhar and
Norbert Schuhmann and
Kaijian Shi},
title = {Mutation-analysis driven functional verification of a soft microprocessor},
booktitle = {{IEEE} 25th International {SOC} Conference, {SOCC} 2012, Niagara Falls,
NY, USA, September 12-14, 2012},
pages = {283--288},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SOCC.2012.6398362},
doi = {10.1109/SOCC.2012.6398362},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/socc/XieML12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KlobedanzK011,
author = {Kay Klobedanz and
Andreas K{\"{o}}nig and
Wolfgang M{\"{u}}ller},
title = {A reconfiguration approach for fault-tolerant FlexRay networks},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {82--87},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763022},
doi = {10.1109/DATE.2011.5763022},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/KlobedanzK011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/XieML11,
author = {Tao Xie and
Wolfgang M{\"{u}}ller and
Florian Letombe},
title = {HDL-Mutation Based Simulation Data Generation by Propagation Guided
Search},
booktitle = {14th Euromicro Conference on Digital System Design, Architectures,
Methods and Tools, {DSD} 2011, August 31 - September 2, 2011, Oulu,
Finland},
pages = {608--615},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DSD.2011.83},
doi = {10.1109/DSD.2011.83},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/XieML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/XieML11,
author = {Tao Xie and
Wolfgang M{\"{u}}ller and
Florian Letombe},
editor = {Zeljko Zilic and
Sandeep K. Shukla},
title = {{IP-XACT} based system level mutation testing},
booktitle = {2011 {IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2011, Napa Valley, CA, USA, November 9-11, 2011},
pages = {65--71},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HLDVT.2011.6114167},
doi = {10.1109/HLDVT.2011.6114167},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/XieML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isocc/Kuznik011,
author = {Christoph Kuznik and
Wolfgang M{\"{u}}ller},
title = {Aspect enhanced functional coverage driven verification in the SystemC
{HDVL}},
booktitle = {International SoC Design Conference, {ISOCC} 2011, Jeju, South Korea,
November 17-18, 2011},
pages = {154--157},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISOCC.2011.6138670},
doi = {10.1109/ISOCC.2011.6138670},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/isocc/Kuznik011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KlobedanzK0R11,
author = {Kay Klobedanz and
Andreas K{\"{o}}nig and
Wolfgang M{\"{u}}ller and
Achim Rettberg},
title = {Self-Reconfiguration for Fault-Tolerant FlexRay Networks},
booktitle = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2011,
Newport Beach, CA, USA, March 28-31, 2011},
pages = {207--216},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISORCW.2011.38},
doi = {10.1109/ISORCW.2011.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KlobedanzK0R11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/Defo0R11,
author = {Gilles B. Defo and
Wolfgang M{\"{u}}ller and
Heinrich Rommel},
editor = {Frank Oppenheimer},
title = {Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop
FlexRay Netzwerk},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
21-23, 2011},
pages = {219--228},
publisher = {OFFIS-Institut f{\"{u}}r Informatik},
year = {2011},
timestamp = {Wed, 27 Jun 2012 22:40:36 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/Defo0R11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KuznikM11,
author = {Christoph Kuznik and
Wolfgang M{\"{u}}ller},
editor = {Leon Alkalai and
Timothy Tsai and
Tomohiro Yoneda},
title = {Native Binary Mutation Analysis for Embedded Software and Virtual
Prototypes in SystemC},
booktitle = {17th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2011, Pasadena, CA, USA, December 12-14, 2011},
pages = {290--291},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PRDC.2011.47},
doi = {10.1109/PRDC.2011.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/KuznikM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Krupp010,
author = {Alexander Krupp and
Wolfgang M{\"{u}}ller},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {A systematic approach to the test of combined {HW/SW} systems},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {323--326},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457186},
doi = {10.1109/DATE.2010.5457186},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/Krupp010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/OliveiraZ010,
author = {Marcio Ferreira da Silva Oliveira and
Henning Zabel and
Wolfgang M{\"{u}}ller},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Assertion-based verification of {RTOS} properties},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {630--633},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457130},
doi = {10.1109/DATE.2010.5457130},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/OliveiraZ010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KlobedanzKT010,
author = {Kay Klobedanz and
Christoph Kuznik and
Andreas Thuy and
Wolfgang M{\"{u}}ller},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Timing modeling and analysis for AUTOSAR-based software development
- a case study},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {642--645},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457125},
doi = {10.1109/DATE.2010.5457125},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/KlobedanzKT010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BeckerGF0PX10,
author = {Markus Becker and
Giuseppe Di Guglielmo and
Franco Fummi and
Wolfgang M{\"{u}}ller and
Graziano Pravadelli and
Tao Xie},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {RTOS-aware refinement for TLM2.0-based {HW/SW} designs},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {1053--1058},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5456965},
doi = {10.1109/DATE.2010.5456965},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/BeckerGF0PX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MischkallaH010,
author = {Fabian Mischkalla and
Da He and
Wolfgang M{\"{u}}ller},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Closing the gap between UML-based modeling, simulation and synthesis
of combined {HW/SW} systems},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {1201--1206},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5456990},
doi = {10.1109/DATE.2010.5456990},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/MischkallaH010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/0003OZB10,
author = {Wolfgang M{\"{u}}ller and
Marcio Ferreira da Silva Oliveira and
Henning Zabel and
Markus Becker},
title = {Verification of real-time properties for Hardware-dependent Software},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},
pages = {154--159},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HLDVT.2010.5496644},
doi = {10.1109/HLDVT.2010.5496644},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/0003OZB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/KlobedanzDZ0Z10,
author = {Kay Klobedanz and
Gilles B. Defo and
Henning Zabel and
Wolfgang M{\"{u}}ller and
Yuan Zhi},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {Task Migration for Fault-Tolerant FlexRay Networks},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {55--65},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_7},
doi = {10.1007/978-3-642-15234-4\_7},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/KlobedanzDZ0Z10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/0003BKL10,
author = {Wolfgang M{\"{u}}ller and
Alexander Bol and
Alexander Krupp and
Ola Lundkvist},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {Generation of Executable Testbenches from Natural Language Requirement
Specifications for Embedded Real-Time Systems},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {78--89},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_9},
doi = {10.1007/978-3-642-15234-4\_9},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/0003BKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/XieML10,
author = {Tao Xie and
Wolfgang M{\"{u}}ller and
Florian Letombe},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {Efficient Mutation-Analysis Coverage for Constrained Random Verification},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {114--124},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_12},
doi = {10.1007/978-3-642-15234-4\_12},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/XieML10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/BeckerZ010,
author = {Markus Becker and
Henning Zabel and
Wolfgang M{\"{u}}ller},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {A Mixed Level Simulation Environment for Stepwise {RTOS} Software
Refinement},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {145--156},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_15},
doi = {10.1007/978-3-642-15234-4\_15},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/BeckerZ010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/MuellerHMWLWPVM10,
author = {Wolfgang M{\"{u}}ller and
Da He and
Fabian Mischkalla and
Arthur Wegele and
Adrian Larkham and
Paul Whiston and
Pablo Pe{\~{n}}il and
Eugenio Villar and
Nikolaos Mitas and
Dimitrios Kritharidis and
Florent Azcarate and
Manuel Carballeda},
editor = {Nikolaos S. Voros and
Amar Mukherjee and
Nicolas Sklavos and
Konstantinos Masselos and
Michael H{\"{u}}bner},
title = {The {SATURN} Approach to SysML-Based {HW/SW} Codesign},
booktitle = {{VLSI} 2010 Annual Symposium - Selected papers},
series = {Lecture Notes in Electrical Engineering},
volume = {105},
pages = {151--164},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-94-007-1488-5\_9},
doi = {10.1007/978-94-007-1488-5\_9},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isvlsi/MuellerHMWLWPVM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/MullerHMWWPVMKAC10,
author = {Wolfgang M{\"{u}}ller and
Da He and
Fabian Mischkalla and
Arthur Wegele and
Paul Whiston and
Pablo Pe{\~{n}}il and
Eugenio Villar and
Nikolaos Mitas and
Dimitrios Kritharidis and
Florent Azcarate and
Manuel Carballeda},
title = {The {SATURN} Approach to SysML-Based {HW/SW} Codesign},
booktitle = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2010, 5-7
July 2010, Lixouri Kefalonia, Greece},
pages = {506--511},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISVLSI.2010.95},
doi = {10.1109/ISVLSI.2010.95},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/MullerHMWWPVMKAC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/Bol0K10,
author = {Alexander Bol and
Wolfgang M{\"{u}}ller and
Alexander Krupp},
editor = {Manfred Dietrich},
title = {Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen
aus textuellen Anforderungsbeschreibungen},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24,
2010},
pages = {167--176},
publisher = {Fraunhofer Verlag},
year = {2010},
timestamp = {Thu, 28 Jun 2012 08:20:28 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/Bol0K10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/OliveiraN0W10,
author = {Marcio Ferreira da Silva Oliveira and
Francisco Assis Moreira do Nascimento and
Wolfgang M{\"{u}}ller and
Fl{\'{a}}vio Rech Wagner},
title = {Design space abstraction and metamodeling for embedded systems design
space exploration},
booktitle = {Proceedings of the 7th International Workshop on Model-Based Methodologies
for Pervasive and Embedded Software, {MOMPES} 2010, Antwerp, Belgium,
September 20-24, 2010},
pages = {29--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1865875.1865880},
doi = {10.1145/1865875.1865880},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mompes/OliveiraN0W10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/KuznikDM10,
author = {Christoph Kuznik and
Gilles B. Defo and
Wolfgang M{\"{u}}ller},
title = {Verification of a {CAN} bus model in SystemC with functional coverage},
booktitle = {{IEEE} Fifth International Symposium on Industrial Embedded Systems,
{SIES} 2010, University of Trento, Italy, July 7-9, 2010},
pages = {28--35},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/SIES.2010.5551379},
doi = {10.1109/SIES.2010.5551379},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/KuznikDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/KlobedanzDMK10,
author = {Kay Klobedanz and
Gilles B. Defo and
Wolfgang M{\"{u}}ller and
Timo Kerstan},
title = {Distributed Coordination of Task Migration for Fault-Tolerant FlexRay
Networks},
booktitle = {{IEEE} Fifth International Symposium on Industrial Embedded Systems,
{SIES} 2010, University of Trento, Italy, July 7-9, 2010},
pages = {79--87},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/SIES.2010.5551384},
doi = {10.1109/SIES.2010.5551384},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sies/KlobedanzDMK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2010,
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5450668/proceeding},
isbn = {978-1-4244-7054-9},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/DomerG009,
author = {Rainer D{\"{o}}mer and
Andreas Gerstlauer and
Wolfgang M{\"{u}}ller},
editor = {Kazutoshi Wakabayashi},
title = {Introduction to hardware-dependent software design hardware-dependent
software for multi- and many-core embedded systems},
booktitle = {Proceedings of the 14th Asia South Pacific Design Automation Conference,
{ASP-DAC} 2009, Yokohama, Japan, January 19-22, 2009},
pages = {290--292},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ASPDAC.2009.4796495},
doi = {10.1109/ASPDAC.2009.4796495},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/DomerG009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SchattkowskyXM09,
author = {Tim Schattkowsky and
Tao Xie and
Wolfgang M{\"{u}}ller},
editor = {Luca Benini and
Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller},
title = {A {UML} frontend for IP-XACT-based {IP} management},
booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
April 20-24, 2009},
pages = {238--243},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/DATE.2009.5090664},
doi = {10.1109/DATE.2009.5090664},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/SchattkowskyXM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ZabelM09,
author = {Henning Zabel and
Wolfgang M{\"{u}}ller},
editor = {Luca Benini and
Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller},
title = {Increased accuracy through noise injection in abstract {RTOS} simulation},
booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
April 20-24, 2009},
pages = {1632--1637},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/DATE.2009.5090925},
doi = {10.1109/DATE.2009.5090925},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ZabelM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/Krupp009,
author = {Alexander Krupp and
Wolfgang M{\"{u}}ller},
editor = {Achim Rettberg and
Mauro Cesar Zanella and
Michael Amann and
Michael Keckeisen and
Franz J. Rammig},
title = {Systematic Model-in-the-Loop Test of Embedded Control Systems},
booktitle = {Analysis, Architectures and Modelling of Embedded Systems, Third {IFIP}
{TC} 10 International Embedded Systems Symposium, {IESS} 2009, Langenargen,
Germany, September 14-16, 2009. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {310},
pages = {171--184},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04284-3\_16},
doi = {10.1007/978-3-642-04284-3\_16},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/Krupp009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/KlobedanzKEM09,
author = {Kay Klobedanz and
Christoph Kuznik and
Ahmed Elfeky and
Wolfgang M{\"{u}}ller},
editor = {Achim Rettberg and
Mauro Cesar Zanella and
Michael Amann and
Michael Keckeisen and
Franz J. Rammig},
title = {Development of Automotive Communication Based Real-Time Systems -
{A} Steer-by-Wire Case Study},
booktitle = {Analysis, Architectures and Modelling of Embedded Systems, Third {IFIP}
{TC} 10 International Embedded Systems Symposium, {IESS} 2009, Langenargen,
Germany, September 14-16, 2009. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {310},
pages = {218--225},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04284-3\_20},
doi = {10.1007/978-3-642-04284-3\_20},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/KlobedanzKEM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BeckerZMK09,
author = {Markus Becker and
Henning Zabel and
Wolfgang M{\"{u}}ller and
Ulrich Kiffmeier},
editor = {Carsten Gremzow and
Nico Moser},
title = {Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter
automobiler E/E-Systeme},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009},
pages = {167--176},
publisher = {Universit{\"{a}}tsbibliothek Berlin, Germany},
year = {2009},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/BeckerZMK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2009,
editor = {Luca Benini and
Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller},
title = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
April 20-24, 2009},
publisher = {{IEEE}},
year = {2009},
url = {https://ieeexplore.ieee.org/xpl/conhome/4926138/proceeding},
isbn = {978-1-4244-3781-8},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmui/Schaefer008,
author = {Robbie Schaefer and
Wolfgang M{\"{u}}ller},
title = {Assessment of a multimodal interaction and rendering system against
established design principles},
journal = {J. Multimodal User Interfaces},
volume = {2},
number = {1},
pages = {25--41},
year = {2008},
url = {https://doi.org/10.1007/s12193-008-0003-3},
doi = {10.1007/S12193-008-0003-3},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmui/Schaefer008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/ZabelM08,
author = {Henning Zabel and
Wolfgang M{\"{u}}ller},
editor = {Bernd Kleinjohann and
Lisa Kleinjohann and
Wayne H. Wolf},
title = {An Efficient Time Annotation Technique in Abstract {RTOS} Simulations
for Multiprocessor Task Migration},
booktitle = {Distributed Embedded Systems: Design, Middleware and Resources, {IFIP}
20th World Computer Congress, {TC10} Working Conference on Distributed
and Parallel Embedded Systems {(DIPES} 2008), September 7-10, 2008,
Milano, Italy},
series = {{IFIP}},
volume = {271},
pages = {181--190},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09661-2\_18},
doi = {10.1007/978-0-387-09661-2\_18},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/ZabelM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/Zabel008,
author = {Henning Zabel and
Wolfgang M{\"{u}}ller},
editor = {Christoph Scholl and
Stefan Disch},
title = {Pr{\"{a}}zises Interrupt Scheduling in abstrakten {RTOS} Modellen
in SystemC},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5,
2008},
pages = {31--39},
publisher = {Shaker},
year = {2008},
timestamp = {Wed, 03 Aug 2022 12:31:57 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/Zabel008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobility/SchaeferMLS07,
author = {Robbie Schaefer and
Wolfgang M{\"{u}}ller and
Andr{\'{e}}s Mar{\'{\i}}n L{\'{o}}pez and
Daniel D{\'{\i}}az S{\'{a}}nchez},
editor = {Peter Han Joo Chong and
Adrian David Cheok},
title = {Using smart cards for secure and device independent user interfaces},
booktitle = {Proceedings of the 4th International Conference on Mobile Technology,
Applications, and Systems and the 1st International Symposium on Computer
Human Interaction in Mobile Technology, Mobility Conference 2007,
Singapore, September 10-12, 2007},
pages = {743--750},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1378063.1378189},
doi = {10.1145/1378063.1378189},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobility/SchaeferMLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/MarinMSMDZ07,
author = {Andr{\'{e}}s Mar{\'{\i}}n L{\'{o}}pez and
Wolfgang M{\"{u}}ller and
Robbie Schaefer and
Florina Almen{\'{a}}rez and
Daniel D{\'{\i}}az S{\'{a}}nchez and
Max Ziegler},
title = {Middleware for Secure Home Access and Control},
booktitle = {Fifth Annual {IEEE} International Conference on Pervasive Computing
and Communications - Workshops (PerCom Workshops 2007), 19-23 March
2007, White Plains, New York, {USA}},
pages = {489--494},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PERCOMW.2007.80},
doi = {10.1109/PERCOMW.2007.80},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/MarinMSMDZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswsd/GrossmannFKCWM06,
author = {Juergen Grossmann and
Ines Fey and
Alexander Krupp and
Mirko Conrad and
Christian Wewetzer and
Wolfgang M{\"{u}}ller},
editor = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {TestML - {A} Test Exchange Language for Model-Based Testing of Embedded
Software},
booktitle = {Model-Driven Development of Reliable Automotive Services, Second Automotive
Software Workshop, {ASWSD} 2006, San Diego, CA, USA, March 15-17,
2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4922},
pages = {98--117},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70930-5\_7},
doi = {10.1007/978-3-540-70930-5\_7},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aswsd/GrossmannFKCWM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KruppM06,
author = {Alexander Krupp and
Wolfgang M{\"{u}}ller},
editor = {Georges G. E. Gielen},
title = {Classification trees for random tests and functional coverage},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2006, Munich, Germany, March 6-10, 2006},
pages = {1031--1032},
publisher = {European Design and Automation Association, Leuven, Belgium},
year = {2006},
url = {https://doi.org/10.1109/DATE.2006.243902},
doi = {10.1109/DATE.2006.243902},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/KruppM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrossmannM06,
author = {J{\"{u}}rgen Gro{\ss}mann and
Wolfgang M{\"{u}}ller},
title = {A Formal Behavioral Semantics for TestML},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {441--448},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.37},
doi = {10.1109/ISOLA.2006.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GrossmannM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamodia/SchaeferBM06,
author = {Robbie Schaefer and
Steffen Bleul and
Wolfgang M{\"{u}}ller},
editor = {Karin Coninx and
Kris Luyten and
Kevin A. Schneider},
title = {Dialog Modeling for Multiple Devices and Multiple Interaction Modalities},
booktitle = {Task Models and Diagrams for Users Interface Design, 5th International
Workshop, {TAMODIA} 2006, Hasselt, Belgium, October 23-24, 2006. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {4385},
pages = {39--53},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70816-2\_4},
doi = {10.1007/978-3-540-70816-2\_4},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamodia/SchaeferBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/SchaeferMG06,
author = {Robbie Schaefer and
Wolfgang M{\"{u}}ller and
Jinghua Groppe},
editor = {Jianhua Ma and
Hai Jin and
Laurence Tianruo Yang and
Jeffrey J. P. Tsai},
title = {Profile Processing and Evolution for Smart Environments},
booktitle = {Ubiquitous Intelligence and Computing, Third International Conference,
{UIC} 2006, Wuhan, China, September 3-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4159},
pages = {746--755},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11833529\_76},
doi = {10.1007/11833529\_76},
timestamp = {Thu, 01 Feb 2024 20:40:31 +0100},
biburl = {https://dblp.org/rec/conf/uic/SchaeferMG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SchattkowskyMR05,
author = {Tim Schattkowsky and
Wolfgang M{\"{u}}ller and
Achim Rettberg},
title = {A Model-Based Approach for Executable Specifications on Reconfigurable
Hardware},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {692--697},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DATE.2005.20},
doi = {10.1109/DATE.2005.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/SchattkowskyMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/ZieglerMSL05,
author = {Max Ziegler and
Wolfgang M{\"{u}}ller and
Robbie Schaefer and
Chris Loeser},
title = {Secure Profile Management in Smart Home Networks},
booktitle = {16th International Workshop on Database and Expert Systems Applications
{(DEXA} 2005), 22-26 August 2005, Copenhagen, Denmark},
pages = {209--213},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DEXA.2005.171},
doi = {10.1109/DEXA.2005.171},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/ZieglerMSL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/KruppM05,
author = {Alexander Krupp and
Wolfgang M{\"{u}}ller},
editor = {Armin B. Cremers and
Rainer Manthey and
Peter Martini and
Volker Steinhage},
title = {Die Klassifikationsbaummethode f{\"{u}}r eingebettete Systeme
mit Testmustern f{\"{u}}r nichtkontinuierliche Reglerelemente},
booktitle = {35. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
LIVE!, {INFORMATIK} 2005, Bonn, Germany, September 19-22, 2005, Band
2},
series = {{LNI}},
volume = {{P-68}},
pages = {191--195},
publisher = {{GI}},
year = {2005},
url = {https://dl.gi.de/handle/20.500.12116/28195},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/KruppM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-5/RettbergSR0R05,
author = {Achim Rettberg and
Tim Schattkowsky and
Carsten Rust and
Wolfgang M{\"{u}}ller and
Franz J. Rammig},
editor = {Achim Rettberg and
Christophe Bobda},
title = {The Reconfigurable {UML} Machine Project Group},
booktitle = {New Trends and Technologies in Computer-Aided Learning for Computer-Aided
Design - {IFIP} {TC10} Working Conference: EduTech 2005, October 20-21,
Perth, Australia},
series = {{IFIP}},
volume = {192},
pages = {139--147},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/0-387-30761-3\_12},
doi = {10.1007/0-387-30761-3\_12},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-5/RettbergSR0R05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/SchattkowskyM05,
author = {Tim Schattkowsky and
Wolfgang M{\"{u}}ller},
title = {Transformation of {UML} State Machines for Direct Execution},
booktitle = {2005 {IEEE} Symposium on Visual Languages and Human-Centric Computing
{(VL/HCC} 2005), 21-24 September 2005, Dallas, TX, {USA}},
pages = {117--124},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/VLHCC.2005.64},
doi = {10.1109/VLHCC.2005.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/SchattkowskyM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/SchattkowskyLM04,
author = {Tim Schattkowsky and
Christoph Loeser and
Wolfgang M{\"{u}}ller},
title = {Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous
Networks},
booktitle = {18th International Conference on Advanced Information Networking and
Applications {(AINA} 2004), 29-31 March 2004, Fukuoka, Japan},
pages = {611--617},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/AINA.2004.1283977},
doi = {10.1109/AINA.2004.1283977},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/SchattkowskyLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KruppMO04,
author = {Alexander Krupp and
Wolfgang M{\"{u}}ller and
Ian Oliver},
title = {Formal Refinement and Model Checking of an Echo Cancellation Unit},
booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2004), 16-20 February 2004, Paris, France},
pages = {102--107},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DATE.2004.1269214},
doi = {10.1109/DATE.2004.1269214},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/KruppMO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SchattkowskyM04,
author = {Tim Schattkowsky and
Wolfgang M{\"{u}}ller},
title = {Model-Based Specification and Execution of Embedded Real-Time Systems},
booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2004), 16-20 February 2004, Paris, France},
pages = {1392--1393},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DATE.2004.1269103},
doi = {10.1109/DATE.2004.1269103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/SchattkowskyM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/FlakeMPR04,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller and
Ulrich Pape and
J{\"{u}}rgen Ruf},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Specification and Formal Verification of Temporal Properties of Production
Automation Systems},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {206--226},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_13},
doi = {10.1007/978-3-540-27863-4\_13},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/FlakeMPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehci/SchaeferBM04,
author = {Robbie Schaefer and
Steffen Bleul and
Wolfgang M{\"{u}}ller},
editor = {R{\'{e}}mi Bastide and
Philippe A. Palanque and
J{\"{o}}rg Roth},
title = {A Novel Dialog Model for the Design of Multimodal User Interfaces},
booktitle = {Engineering Human Computer Interaction and Interactive Systems, Joint
Working Conferences {EHCI-DSVIS} 2004, Hamburg, Germany, July 11-13,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3425},
pages = {221--223},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11431879\_13},
doi = {10.1007/11431879\_13},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ehci/SchaeferBM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ZambaldiEKM04,
author = {Martin Zambaldi and
Wolfgang Ecker and
Thomas Kruse and
Wolfgang M{\"{u}}ller},
title = {The Formal Simulation Semantics of SystemVerilog},
booktitle = {Forum on specification and Design Languages, {FDL} 2004, September
14-17, 2004, Lille, France, Proceedings},
pages = {568--578},
publisher = {{ECSI}},
year = {2004},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=614},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/ZambaldiEKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/MuellerSB04,
author = {Wolfgang M{\"{u}}ller and
Robbie Schaefer and
Steffen Bleul},
title = {Interactive Multimodal User Interfaces for Mobile Devices},
booktitle = {37th Hawaii International Conference on System Sciences {(HICSS-37}
2004), {CD-ROM} / Abstracts Proceedings, 5-8 January 2004, Big Island,
HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HICSS.2004.1265674},
doi = {10.1109/HICSS.2004.1265674},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/MuellerSB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/SchattkowskyM04,
author = {Tim Schattkowsky and
Wolfgang M{\"{u}}ller},
title = {Model-Based Design of Embedded Systems},
booktitle = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
pages = {121--128},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISORC.2004.1300337},
doi = {10.1109/ISORC.2004.1300337},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/SchattkowskyM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FlakeM04,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller},
title = {Past- and Future-Oriented Time-Bounded Temporal Properties with {OCL}},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {154--163},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.29},
doi = {10.1109/SEFM.2004.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/FlakeM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simvis/MullerP04,
author = {Wolfgang M{\"{u}}ller and
Volker Paelke},
editor = {Thomas Schulze and
Stefan Schlechtweg and
Volkmar Hinz},
title = {A Formal Model of a Framework for Simulation-Based Animation},
booktitle = {Simulation und Visualisierung 2004 (SimVis 2004) 4-5 M{\"{a}}rz
2004, Magdeburg},
pages = {165--178},
publisher = {{SCS} Publishing House e.V.},
year = {2004},
timestamp = {Thu, 01 Jun 2017 11:38:15 +0200},
biburl = {https://dblp.org/rec/conf/simvis/MullerP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simvis/GausemeierBRSMP04,
author = {J{\"{u}}rgen Gausemeier and
Jochen Bauch and
Rafael Radkowski and
Qing Shen and
Wolfgang M{\"{u}}ller and
Volker Paelke},
editor = {Thomas Schulze and
Stefan Schlechtweg and
Volkmar Hinz},
title = {L{\"{o}}sungselement-basiertes Virtual Prototyping von selbstoptimierenden
mechatronischen Systemen},
booktitle = {Simulation und Visualisierung 2004 (SimVis 2004) 4-5 M{\"{a}}rz
2004, Magdeburg},
pages = {275--286},
publisher = {{SCS} Publishing House e.V.},
year = {2004},
timestamp = {Mon, 02 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/simvis/GausemeierBRSMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/FlakeM04,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller},
editor = {Thomas Baar and
Alfred Strohmeier and
Ana M. D. Moreira and
Stephen J. Mellor},
title = {An {ASM} Definition of the Dynamic {OCL} 2.0 Semantics},
booktitle = {{\guillemotleft}UML{\guillemotright} 2004 - The Unified Modelling
Language: Modelling Languages and Applications. 7th International
Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3273},
pages = {226--240},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30187-5\_17},
doi = {10.1007/978-3-540-30187-5\_17},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/FlakeM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FlakeM03,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller},
title = {Formal semantics of static and temporal state-oriented {OCL} constraints},
journal = {Softw. Syst. Model.},
volume = {2},
number = {3},
pages = {164--186},
year = {2003},
url = {https://doi.org/10.1007/s10270-003-0026-x},
doi = {10.1007/S10270-003-0026-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FlakeM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MuellerSEW03,
author = {Wolfgang M{\"{u}}ller and
Tim Schattkowsky and
Heinz{-}Josef Eikerling and
Jan Wegner},
title = {Dynamic Tool Integration in Heterogeneous Computer Networks},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {10946--10953},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10201},
doi = {10.1109/DATE.2003.10201},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/MuellerSEW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KruppM03,
author = {Alexander Krupp and
Wolfgang M{\"{u}}ller},
title = {Combining Formal Refinement and Model Checking for Real-Time Systems
Verification},
booktitle = {Forum on specification and Design Languages, {FDL} 2003, September
23-26, 2003, Frankfurt, Germany, Proceedings},
pages = {515--525},
publisher = {{ECSI}},
year = {2003},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=842},
doi = {10.1007/1-4020-7991-5\_19},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/KruppM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/LoeserMBE03,
author = {Chris Loeser and
Wolfgang M{\"{u}}ller and
Frank Berger and
Heinz{-}Josef Eikerling},
title = {Peer-to-Peer Networks for Virtual Home Environments},
booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36}
2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island,
HI, {USA}},
pages = {282},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HICSS.2003.1174817},
doi = {10.1109/HICSS.2003.1174817},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/LoeserMBE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/Kostienko0PS03,
author = {Tomasz Kostienko and
Wolfgang M{\"{u}}ller and
Adam Pawlak and
Tim Schattkowsky},
editor = {Ricardo Jardim{-}Gon{\c{c}}alves and
Jianzhong Cha and
Adolfo Steiger{-}Gar{\c{c}}{\~{a}}o},
title = {An advanced infrastructure for collaborative engineering in electronic
design automation},
booktitle = {Enhanced Interoperable Systems. Proceedings of the 10th {ISPE} International
Conference on Concurrent Engineering {(ISPE} {CE} 2003), July 26-30,
2003, Madeira, Portugal},
pages = {703--710},
publisher = {A. A. Balkema Publishers},
year = {2003},
timestamp = {Thu, 21 Sep 2023 11:30:06 +0200},
biburl = {https://dblp.org/rec/conf/ispe/Kostienko0PS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/Krupp003,
author = {Alexander Krupp and
Wolfgang M{\"{u}}ller},
editor = {Rolf Drechsler},
title = {Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen
Automaten},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25,
2003},
pages = {219--228},
publisher = {Shaker},
year = {2003},
timestamp = {Thu, 28 Jun 2012 12:33:11 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/Krupp003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/FlakeM03,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller},
title = {Semantics of State-Oriented Expressions in the Object Constraint Language},
booktitle = {Proceedings of the Fifteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
San Francisco Bay, CA, USA, July 1-3, 2003},
pages = {142--149},
year = {2003},
timestamp = {Mon, 02 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/FlakeM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/FlakeM03,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller},
editor = {Ban Al{-}Ani and
Hamid R. Arabnia and
Youngsong Mun},
title = {Expressing Property Specification Patterns with {OCL}},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} '03, June 23 - 26, 2003, Las Vegas,
Nevada, USA, Volume 2},
pages = {595--603},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Mon, 02 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serp/FlakeM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FlakeM04,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller},
editor = {Peter H. Schmitt},
title = {Formal Semantics of {OCL} Messages},
booktitle = {Proceedings of the Workshop {OCL} 2.0 - Industry Standard or Scientific
Playground?, {OCL} 2.0, San Francisco, CA, USA, October 21, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {102},
pages = {77--97},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.009},
doi = {10.1016/J.ENTCS.2004.09.009},
timestamp = {Fri, 09 Dec 2022 11:27:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FlakeM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/EikerlingMW02,
author = {Heinz{-}Josef Eikerling and
Wolfgang M{\"{u}}ller and
Jan Wegner},
title = {Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken
(Tool Integration and Management in Heterogeneous Computer Networks)},
journal = {Informationstechnik Tech. Inform.},
volume = {44},
number = {3},
pages = {128--136},
year = {2002},
url = {https://doi.org/10.1524/itit.2002.44.3.128},
doi = {10.1524/ITIT.2002.44.3.128},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/EikerlingMW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/extreme/PlompSM02,
author = {Johan Plomp and
Robbie Schaefer and
Wolfgang M{\"{u}}ller},
title = {Comparing Transcoding Tools for Use with a Generic User Interface
Format},
booktitle = {Proceedings of the Extreme Markup Languages{\textregistered} 2002
Conference, 4-9 August 2002, Montr{\'{e}}al, Quebec, Canada},
year = {2002},
url = {http://www.mulberrytech.com/Extreme/Proceedings/html/2002/Schaefer01/EML2002Schaefer01.html},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/extreme/PlompSM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/SchaeferDM02,
author = {Robbie Schaefer and
Andreas Dangberg and
Wolfgang M{\"{u}}ller},
title = {Fuzzy Rules for {HTML} Transcoding},
booktitle = {35th Hawaii International Conference on System Sciences {(HICSS-35}
2002), {CD-ROM} / Abstracts Proceedings, 7-10 January 2002, Big Island,
HI, {USA}},
pages = {81},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/HICSS.2002.994004},
doi = {10.1109/HICSS.2002.994004},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/SchaeferDM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/FlakeM02,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller},
title = {Specification of Real-Time Properties for {UML} Models},
booktitle = {35th Hawaii International Conference on System Sciences {(HICSS-35}
2002), {CD-ROM} / Abstracts Proceedings, 7-10 January 2002, Big Island,
HI, {USA}},
pages = {277},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/HICSS.2002.994469},
doi = {10.1109/HICSS.2002.994469},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/FlakeM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss/DomerGM02,
author = {Rainer D{\"{o}}mer and
Andreas Gerstlauer and
Wolfgang M{\"{u}}ller},
editor = {El Mostapha Aboulhamid and
Yukihiro Nakamura},
title = {The Formal Execution Semantics of SpecC},
booktitle = {Proceedings of the 15th International Symposium on System Synthesis
{(ISSS} 2002), October 2-4, 2002, Kyoto, Japan},
pages = {150--155},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2002},
url = {https://doi.ieeecomputersociety.org/10.1109/ISSS.2002.1227168},
doi = {10.1109/ISSS.2002.1227168},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isss/DomerGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/FlakeM02,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller},
editor = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Heinrich Hu{\ss}mann and
Stephen Cook},
title = {A {UML} Profile for Real-Time Constraints with the {OCL}},
booktitle = {{UML} 2002 - The Unified Modeling Language, 5th International Conference,
Dresden, Germany, September 30 - October 4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2460},
pages = {179--195},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45800-X\_16},
doi = {10.1007/3-540-45800-X\_16},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/FlakeM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/ocl/FlakeM02,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller},
editor = {Tony Clark and
Jos Warmer},
title = {An {OCL} Extension for Real-Time Constraints},
booktitle = {Object Modeling with the OCL, The Rationale behind the Object Constraint
Language},
series = {Lecture Notes in Computer Science},
volume = {2263},
pages = {150--171},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45669-4\_8},
doi = {10.1007/3-540-45669-4\_8},
timestamp = {Wed, 23 Feb 2022 12:58:08 +0100},
biburl = {https://dblp.org/rec/conf/ocl/FlakeM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RufHGKRM01,
author = {J{\"{u}}rgen Ruf and
Dirk W. Hoffmann and
Joachim Gerlach and
Thomas Kropf and
Wolfgang Rosenstiel and
Wolfgang M{\"{u}}ller},
editor = {Wolfgang Nebel and
Ahmed Jerraya},
title = {The simulation semantics of systemC},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2001, Munich, Germany, March 12-16, 2001},
pages = {64--70},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DATE.2001.915002},
doi = {10.1109/DATE.2001.915002},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/RufHGKRM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/MuellerMZ01,
author = {Wolfgang M{\"{u}}ller and
Arne Meyer and
Henning Zabel},
title = {A Language for the Rapid Prototyping of Mobile Evolving Agents},
booktitle = {34th Annual Hawaii International Conference on System Sciences (HICSS-34),
January 3-6, 2001, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HICSS.2001.926319},
doi = {10.1109/HICSS.2001.926319},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/MuellerMZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/FlakeGMPRR01,
author = {Stephan Flake and
Christian Geiger and
Wolfgang M{\"{u}}ller and
Volker Paelke and
Waldemar Rosenbach and
J{\"{u}}rgen Ruf},
title = {Customer-Oriented Systems Design through Virtual Prototypes},
booktitle = {10th {IEEE} International Workshops on Enabling Technologies: Infrastructure
for Collaborative Enterprises {(WETICE} 2001), 20-22 June 2001, Cambridge,
MA, {USA}},
pages = {263--268},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ENABL.2001.953425},
doi = {10.1109/ENABL.2001.953425},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/FlakeGMPRR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/Flake0R00,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller and
J{\"{u}}rgen Ruf},
editor = {Klaus Waldschmidt and
Christoph Grimm},
title = {Structured English for Model Checking Specification},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
28 - March 1, 2000},
pages = {99--108},
publisher = {{VDE}},
year = {2000},
timestamp = {Mon, 22 Dec 2014 14:03:11 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/Flake0R00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simvis/BraatzFMW00,
author = {Arnulf Braatz and
Stephan Flake and
Wolfgang M{\"{u}}ller and
Engelbert Westk{\"{a}}mper},
editor = {Thomas Schulze and
Peter Lorenz and
Volkmar Hinz},
title = {Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung},
booktitle = {Simulation und Visualisierung 2000 (SimVis 2000), 23-24 M{\"{a}}rz
2000, Magdeburg},
pages = {319--332},
publisher = {{SCS} Publishing House e.V.},
year = {2000},
timestamp = {Thu, 01 Jun 2017 11:38:15 +0200},
biburl = {https://dblp.org/rec/conf/simvis/BraatzFMW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/MuellerMZ00,
author = {Wolfgang M{\"{u}}ller and
Arne Meyer and
Henning Zabel},
title = {A Visual Framework for the Scripting of Parallel Agents},
booktitle = {2000 {IEEE} International Symposium on Visual Languages, {VL} 2000,
Seattle, Washington, USA, September 10-13, 2000, Proceedings},
pages = {77--78},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/VL.2000.874360},
doi = {10.1109/VL.2000.874360},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/MuellerMZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/DueckerMR99,
author = {Marita D{\"{u}}cker and
Wolfgang M{\"{u}}ller and
Jessica Rubart},
title = {Innovative Concepts for Configuring Shared Workspaces through Visual
Programming},
booktitle = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32),
January 5-8, 1999, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HICSS.1999.773046},
doi = {10.1109/HICSS.1999.773046},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/DueckerMR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/GeigerLM99,
author = {Christian Geiger and
Georg Lehrenfeld and
Wolfgang M{\"{u}}ller},
title = {Visual Specification, Modelling, and Illustration of Complex Systems},
booktitle = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32),
January 5-8, 1999, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HICSS.1999.772621},
doi = {10.1109/HICSS.1999.772621},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/GeigerLM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simvis/GeigerLM99,
author = {Christian Geiger and
Georg Lehrenfeld and
Wolfgang M{\"{u}}ller},
editor = {Oliver Deussen and
Volkmar Hinz and
Peter Lorenz},
title = {Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation},
booktitle = {Simulation und Visualisierung 1999 (SimVis 1999), 4-5 M{\"{a}}rz
1999, Magdeburg},
pages = {139--152},
publisher = {{SCS} Publishing House e.V.},
year = {1999},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/simvis/GeigerLM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/0003S98,
author = {Wolfgang M{\"{u}}ller and
J{\"{o}}rgen Sturm},
title = {Visuelle Spezifikations- und Modellierungstechniken},
journal = {Informationstechnik Tech. Inform.},
volume = {40},
number = {3},
pages = {32--36},
year = {1998},
url = {https://doi.org/10.1524/itit.1998.40.3.32},
doi = {10.1524/ITIT.1998.40.3.32},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/0003S98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simvis/Geiger098,
author = {Christian Geiger and
Wolfgang M{\"{u}}ller},
editor = {Peter Lorenz and
Bernhard Preim},
title = {Visuelle Spezifikation, Modellierung und Animation im Systementwurf},
booktitle = {Simulation und Visualisierung 1998 (SimVis 1998), 5-6 M{\"{a}}rz
1998, Magdeburg},
pages = {206--220},
publisher = {{SCS} Publishing House e.V.},
year = {1998},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/simvis/Geiger098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/DuckerMR98,
author = {Marita D{\"{u}}cker and
Wolfgang M{\"{u}}ller and
Jessica Rubart},
title = {VIPspace - {A} Visual Programmable Shared Workspace},
booktitle = {Proceedings 1998 {IEEE} Symposium on Visual Languages, Nova Scotia,
Canada, September 1-4, 1998},
pages = {94--95},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/VL.1998.706150},
doi = {10.1109/VL.1998.706150},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/DuckerMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/GeigerMR98,
author = {Christian Geiger and
Wolfgang M{\"{u}}ller and
Waldemar Rosenbach},
title = {{SAM} - An Animated 3D Programming Language},
booktitle = {Proceedings 1998 {IEEE} Symposium on Visual Languages, Nova Scotia,
Canada, September 1-4, 1998},
pages = {228--235},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/VL.1998.706167},
doi = {10.1109/VL.1998.706167},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/GeigerMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/1998,
editor = {Franz{-}Josef Rammig and
Wolfgang M{\"{u}}ller},
title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11,
1998},
publisher = {HNI-Verlagsschriften},
year = {1998},
timestamp = {Thu, 02 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/DuckerLMT97,
author = {Marita D{\"{u}}cker and
Georg Lehrenfeld and
Wolfgang M{\"{u}}ller and
Christoph Tahedl},
title = {A generic system for interactive real-time animation},
booktitle = {1997 Workshop on Engineering of Computer-Based Systems {(ECBS} '97),
March 24-28, 1997, Monterey, CA, {USA}},
pages = {263--270},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ECBS.1997.581876},
doi = {10.1109/ECBS.1997.581876},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/DuckerLMT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/DueckerGLMT97,
author = {Marita D{\"{u}}cker and
Christian Geiger and
Georg Lehrenfeld and
Wolfgang M{\"{u}}ller and
Christoph Tahedl},
title = {A Visual Language for Qualitative Data},
booktitle = {Proceedings 1997 {IEEE} Symposium on Visual Languages, Isle of Capri,
Italy, September 23-26, 1997},
pages = {272--273},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/VL.1997.626593},
doi = {10.1109/VL.1997.626593},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/DueckerGLMT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/DueckerGHLM97,
author = {Marita D{\"{u}}cker and
Christian Geiger and
Ralf Hunstock and
Georg Lehrenfeld and
Wolfgang M{\"{u}}ller},
title = {Visual-Textual Prototyping of 4D Scenes},
booktitle = {Proceedings 1997 {IEEE} Symposium on Visual Languages, Isle of Capri,
Italy, September 23-26, 1997},
pages = {332--339},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/VL.1997.626601},
doi = {10.1109/VL.1997.626601},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/DueckerGHLM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0093262,
author = {Wolfgang M{\"{u}}ller},
title = {Executable graphics for VHDL-based systems design},
school = {University of Paderborn, Germany},
year = {1996},
url = {https://d-nb.info/954068114},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0093262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esm/DuckerL0T96,
author = {Marita D{\"{u}}cker and
Georg Lehrenfeld and
Wolfgang M{\"{u}}ller and
Christoph Tahedi},
editor = {Andr{\'{a}}s J{\'{a}}vor and
Axel Lehmann and
Istvan Moln{\'{a}}r},
title = {Specification and Analysis of Concurrent Systems in a Complete Visual
Environment},
booktitle = {Modelling and Simulation, ESM96, June 2-6, 1996, Budapest University
of Economic Sciences},
pages = {491--496},
publisher = {SCS, The Society for Computer Simulation International},
year = {1996},
timestamp = {Mon, 27 Feb 2023 10:45:50 +0100},
biburl = {https://dblp.org/rec/conf/esm/DuckerL0T96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/GriebelLMTU96,
author = {Peer Griebel and
Georg Lehrenfeld and
Wolfgang M{\"{u}}ller and
Christoph Tahedl and
Holger Uhr},
title = {Integrating a Constraint Solver into a Real-Time Animation Environment},
booktitle = {Proceedings of the 1996 {IEEE} Symposium on Visual Languages, Boulder,
Colorado, USA, September 3-6, 1996},
pages = {12--19},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/VL.1996.545262},
doi = {10.1109/VL.1996.545262},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/GriebelLMTU96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/GeigerHLMQTW96,
author = {Christian Geiger and
Ralf Hunstock and
Georg Lehrenfeld and
Wolfgang M{\"{u}}ller and
Julia Quintanilla and
Christoph Tahedl and
Anke Weber},
title = {Visual Modeling and 3D-Representation with a Complete Visual Programming
Language - {A} Case Study in Manufacturing},
booktitle = {Proceedings of the 1996 {IEEE} Symposium on Visual Languages, Boulder,
Colorado, USA, September 3-6, 1996},
pages = {304--305},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/VL.1996.545302},
doi = {10.1109/VL.1996.545302},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/GeigerHLMQTW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/LehrenfeldMT95,
author = {Georg Lehrenfeld and
Wolfgang M{\"{u}}ller and
Christoph Tahedl},
title = {Transforming {SDL} Diagrams into a Complete Visual Representation},
booktitle = {Proceedings 11th International {IEEE} Symposium on Visual Languages,
Darmstadt, Germany, September 5-9, 1995},
pages = {148--155},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/VL.1995.520803},
doi = {10.1109/VL.1995.520803},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/LehrenfeldMT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/MullerBG94,
author = {Wolfgang M{\"{u}}ller and
Egon B{\"{o}}rger and
Uwe Gl{\"{a}}sser},
editor = {Jean Mermet},
title = {The semantics of behavioral {VHDL} '93 descriptions},
booktitle = {Proceedings EURO-DAC'94, European Design Automation Conference, Grenoble,
France, September 19-22, 1994},
pages = {500--505},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=198312},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/MullerBG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2024-09-12 03:28 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:
