Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bernd Westphal
@inproceedings{DBLP:conf/re/ShakeriKW23,
author = {Ali Shakeri and
Oliver Klemp and
Bernd Westphal},
editor = {Kurt Schneider and
Fabiano Dalpiaz and
Jennifer Horkoff},
title = {Shaping a {GAIA-X} Data Ecosystem through Innovation Modeling},
booktitle = {31st {IEEE} International Requirements Engineering Conference, {RE}
2023, Hannover, Germany, September 4-8, 2023},
pages = {190--200},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RE57278.2023.00027},
doi = {10.1109/RE57278.2023.00027},
timestamp = {Fri, 06 Oct 2023 16:02:57 +0200},
biburl = {https://dblp.org/rec/conf/re/ShakeriKW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seuh/SchlenderSGEWB23,
author = {Henning Schlender and
Ralf Stemmer and
Kim Gr{\"{u}}ttner and
G{\"{u}}nter Ehmen and
Bernd Westphal and
Friederike Bruns},
editor = {Steffen Becker and
Christian Gerth},
title = {Teaching Cyber-Physical Systems in Student Project Groups},
booktitle = {Software Engineering im Unterricht der Hochschulen, {SEUH} 2023, Paderborn,
Germany, February 23-24, 2023},
series = {{LNI}},
volume = {{P-333}},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://doi.org/10.18420/seuh2023\_05},
doi = {10.18420/SEUH2023\_05},
timestamp = {Tue, 08 Aug 2023 15:59:09 +0200},
biburl = {https://dblp.org/rec/conf/seuh/SchlenderSGEWB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-09110,
author = {Oliver Klemp and
Bernd Westphal and
Stefan Puch},
title = {IMoG - a methodology for modeling future microelectronic innovations},
journal = {CoRR},
volume = {abs/2304.09110},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.09110},
doi = {10.48550/ARXIV.2304.09110},
eprinttype = {arXiv},
eprint = {2304.09110},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-09110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14032,
author = {Dominik Grundt and
Anna K{\"{o}}hne and
Ishan Saxena and
Ralf Stemmer and
Bernd Westphal and
Eike M{\"{o}}hlmann},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Towards Runtime Monitoring of Complex System Requirements for Autonomous
Driving Functions},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {53--61},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.4},
doi = {10.4204/EPTCS.371.4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Westphal21,
author = {Bernd Westphal},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {On Education and Training in Formal Methods for Industrial Critical
Systems},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {85--103},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_6},
doi = {10.1007/978-3-030-85248-1\_6},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Westphal21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Westphal21,
author = {Bernd Westphal},
editor = {Aaron Dutle and
Mariano M. Moscato and
Laura Titolo and
C{\'{e}}sar A. Mu{\~{n}}oz and
Ivan Perez},
title = {Quasi-Equal Clock Reduction On-the-Fly},
booktitle = {{NASA} Formal Methods - 13th International Symposium, {NFM} 2021,
Virtual Event, May 24-28, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12673},
pages = {375--391},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76384-8\_23},
doi = {10.1007/978-3-030-76384-8\_23},
timestamp = {Wed, 20 Sep 2023 15:15:29 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Westphal21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/BeckerDHHLPW21,
author = {Samuel Becker and
Daniel Dietsch and
Nico Hauff and
Elisabeth Henkel and
Vincent Langenfeld and
Andreas Podelski and
Bernd Westphal},
editor = {Fatma Basak Aydemir and
Catarina Gralha and
Maya Daneva and
Eduard C. Groen and
Andrea Herrmann and
Patrick Mennig and
Sallam Abualhaija and
Alessio Ferrari and
Jin Guo and
Renata S. S. Guizzardi and
Jennifer Horkoff and
Anna Perini and
Angelo Susi and
Travis D. Breaux and
Xavier Franch and
Neil A. Ernst and
Elda Paja and
Norbert Seyff},
title = {Hanfor: Semantic Requirements Review at Scale},
booktitle = {Joint Proceedings of {REFSQ} 2021 Workshops, OpenRE, Poster and Tools
Track, and Doctoral Symposium co-located with the 27th International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2021), Essen, Germany, April 12, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2857},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2857/pt3.pdf},
timestamp = {Fri, 14 Apr 2023 23:05:44 +0200},
biburl = {https://dblp.org/rec/conf/refsq/BeckerDHHLPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/Westphal20,
author = {Bernd Westphal},
editor = {Marian Daun and
Elke Hochm{\"{u}}ller and
Stephan Krusche and
Bernd Br{\"{u}}gge and
Bastian Tenbergen},
title = {On Complementing an Undergraduate Software Engineering Course with
Formal Methods},
booktitle = {32nd {IEEE} Conference on Software Engineering Education and Training,
CSEE{\&}T 2020, Virtual Conference, Germany, November 9-12, 2020},
pages = {1--10},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CSEET49119.2020.9206234},
doi = {10.1109/CSEET49119.2020.9206234},
timestamp = {Wed, 25 Nov 2020 12:26:44 +0100},
biburl = {https://dblp.org/rec/conf/csee/Westphal20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ArenisVW20,
author = {Sergio Feo{-}Arenis and
Milan Vujinovic and
Bernd Westphal},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {On Implementable Timed Automata},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {78--95},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_5},
doi = {10.1007/978-3-030-50086-3\_5},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ArenisVW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seuh/Westphal20,
author = {Bernd Westphal},
editor = {Stephan Krusche and
Stefan Wagner},
title = {Tutoring with Stylus-enabled Tablets},
booktitle = {Tagungsband des 17. Workshops "Software Engineering im Unterricht
der Hochschulen" 2020, Innsbruck, {\"{O}}sterreich, 26. - 27.02.2020},
series = {{CEUR} Workshop Proceedings},
volume = {2531},
pages = {44--48},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2531/paper07.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:12 +0100},
biburl = {https://dblp.org/rec/conf/seuh/Westphal20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seuh/SteinleW20,
author = {Michael Steinle and
Bernd Westphal},
editor = {Stephan Krusche and
Stefan Wagner},
title = {Automatic Generation of Learning Assignments for Software Engineering
Formalisms},
booktitle = {Tagungsband des 17. Workshops "Software Engineering im Unterricht
der Hochschulen" 2020, Innsbruck, {\"{O}}sterreich, 26. - 27.02.2020},
series = {{CEUR} Workshop Proceedings},
volume = {2531},
pages = {61--65},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2531/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seuh/SteinleW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/LangenfeldWP19,
author = {Vincent Langenfeld and
Bernd Westphal and
Andreas Podelski},
editor = {Ashok K. Goel and
Colleen M. Seifert and
Christian Freksa},
title = {On Formal Verification of {ACT-R} Architectures and Models},
booktitle = {Proceedings of the 41th Annual Meeting of the Cognitive Science Society,
CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada,
July 24-27, 2019},
pages = {618--624},
publisher = {cognitivesciencesociety.org},
year = {2019},
url = {https://mindmodeling.org/cogsci2019/papers/0124/index.html},
timestamp = {Tue, 02 Feb 2021 08:03:44 +0100},
biburl = {https://dblp.org/rec/conf/cogsci/LangenfeldWP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Westphal19,
author = {Bernd Westphal},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {Teaching Software Modelling in an Undergraduate Introduction to Software
Engineering},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {690--699},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00105},
doi = {10.1109/MODELS-C.2019.00105},
timestamp = {Wed, 23 Feb 2022 12:16:49 +0100},
biburl = {https://dblp.org/rec/conf/models/Westphal19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LangenfeldDWHP19,
author = {Vincent Langenfeld and
Daniel Dietsch and
Bernd Westphal and
Jochen Hoenicke and
Amalinda Post},
editor = {Daniela E. Damian and
Anna Perini and
Seok{-}Won Lee},
title = {Scalable Analysis of Real-Time Requirements},
booktitle = {27th {IEEE} International Requirements Engineering Conference, {RE}
2019, Jeju Island, Korea (South), September 23-27, 2019},
pages = {234--244},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RE.2019.00033},
doi = {10.1109/RE.2019.00033},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/LangenfeldDWHP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seuh/Westphal19,
author = {Bernd Westphal},
editor = {Veronika Thurner and
Oliver Radfelder and
Karin Vosseberg},
title = {Formale Methoden in der Softwaretechnik-Vorlesung (Formal Methods
in the Software Engineering Lecture)},
booktitle = {Tagungsband des 16. Workshops "Software Engineering im Unterricht
der Hochschulen" 2019, Bremerhaven, Deutschland, 21. - 22. Februar
2019},
series = {{CEUR} Workshop Proceedings},
volume = {2358},
pages = {21--33},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2358/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:12 +0100},
biburl = {https://dblp.org/rec/conf/seuh/Westphal19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/LangenfeldWAP18,
author = {Vincent Langenfeld and
Bernd Westphal and
Rebecca Albrecht and
Andreas Podelski},
editor = {Chuck Kalish and
Martina A. Rau and
Xiaojin (Jerry) Zhu and
Timothy T. Rogers},
title = {But does it really do that? Using formal analysis to ensure desirable
{ACT-R} model behaviour},
booktitle = {Proceedings of the 40th Annual Meeting of the Cognitive Science Society,
CogSci 2018, Madison, WI, USA, July 25-28, 2018},
publisher = {cognitivesciencesociety.org},
year = {2018},
url = {https://mindmodeling.org/cogsci2018/papers/0141/index.html},
timestamp = {Tue, 02 Feb 2021 08:04:20 +0100},
biburl = {https://dblp.org/rec/conf/cogsci/LangenfeldWAP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Westphal18,
author = {Bernd Westphal},
editor = {Mohammad Moshirpour and
Mahmood Moussavi and
Alicia M. Grubb and
Sarah Gregory and
Behrouz H. Far},
title = {An Undergraduate Requirements Engineering Curriculum with Formal Methods},
booktitle = {8th {IEEE} International Workshop on Requirements Engineering Education
and Training, REET@RE 2018, Banff, AB, Canada, August 21, 2018},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/REET.2018.00006},
doi = {10.1109/REET.2018.00006},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/Westphal18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ArenisVW17,
author = {Sergio Feo{-}Arenis and
Milan Vujinovic and
Bernd Westphal},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {On Global Scheduling Independency in Networks of Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10419},
pages = {42--57},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_3},
doi = {10.1007/978-3-319-65765-3\_3},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/ArenisVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ArenisWDMAP16,
author = {Sergio Feo{-}Arenis and
Bernd Westphal and
Daniel Dietsch and
Marco Mu{\~{n}}iz and
Ahmad Siyar Andisha and
Andreas Podelski},
title = {Ready for testing: ensuring conformance to industrial standards through
formal verification},
journal = {Formal Aspects Comput.},
volume = {28},
number = {3},
pages = {499--527},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0365-3},
doi = {10.1007/S00165-016-0365-3},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ArenisWDMAP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/HerreraW16,
author = {Christian Herrera and
Bernd Westphal},
editor = {Curtis E. Dyreson and
Michael R. Hansen and
Luke Hunsberger},
title = {The Model Checking Problem in Networks with Quasi-Equal Clocks},
booktitle = {23rd International Symposium on Temporal Representation and Reasoning,
{TIME} 2016, Kongens Lyngby, Denmark, October 17-19, 2016},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TIME.2016.10},
doi = {10.1109/TIME.2016.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/HerreraW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HerreraW15,
author = {Christian Herrera and
Bernd Westphal},
editor = {Nir Piterman},
title = {Quasi-equal Clock Reduction: Eliminating Assumptions on Networks},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {173--189},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_11},
doi = {10.1007/978-3-319-26287-1\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HerreraW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/AndishaWW15,
author = {Ahmad Siyar Andisha and
Martin Wehrle and
Bernd Westphal},
editor = {Bernd Fischer and
Jaco Geldenhuys},
title = {Directed Model Checking for {PROMELA} with Relaxation-Based Distance
Functions},
booktitle = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9232},
pages = {153--159},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23404-5\_11},
doi = {10.1007/978-3-319-23404-5\_11},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/AndishaWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ArenisWDMA14,
author = {Sergio Feo{-}Arenis and
Bernd Westphal and
Daniel Dietsch and
Marco Mu{\~{n}}iz and
Ahmad Siyar Andisha},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {The Wireless Fire Alarm System: Ensuring Conformance to Industrial
Standards through Formal Verification},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {658--672},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_44},
doi = {10.1007/978-3-319-06410-9\_44},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ArenisWDMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BogomolovHMWP14,
author = {Sergiy Bogomolov and
Christian Herrera and
Marco Mu{\~{n}}iz and
Bernd Westphal and
Andreas Podelski},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Quasi-dependent variables in hybrid automata},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {93--102},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562142},
doi = {10.1145/2562059.2562142},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BogomolovHMWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/JubranW14,
author = {Oday Jubran and
Bernd Westphal},
title = {Optimizing guard time for {TDMA} in a wireless sensor network - Case
study},
booktitle = {{IEEE} 39th Conference on Local Computer Networks, Edmonton, AB, Canada,
8-11 September, 2014 - Workshop Proceedings},
pages = {597--601},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/LCNW.2014.6927708},
doi = {10.1109/LCNW.2014.6927708},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcn/JubranW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/MahdiWF14,
author = {Ahmed Mahdi and
Bernd Westphal and
Martin Fr{\"{a}}nzle},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Transformations for Compositional Verification of Assumption-Commitment
Properties},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {216--229},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_17},
doi = {10.1007/978-3-319-11439-2\_17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/MahdiWF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HerreraWP14,
author = {Christian Herrera and
Bernd Westphal and
Andreas Podelski},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Quasi-Equal Clock Reduction: More Networks, More Queries},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {295--309},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_20},
doi = {10.1007/978-3-642-54862-8\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HerreraWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DammPRW13,
author = {Werner Damm and
Hans{-}J{\"{o}}rg Peter and
Jan{-}Hendrik Rakow and
Bernd Westphal},
title = {Can we build it: formal synthesis of control strategies for cooperative
driver assistance systems},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {4},
pages = {676--725},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000230},
doi = {10.1017/S0960129512000230},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DammPRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MunizWP13,
author = {Marco Mu{\~{n}}iz and
Bernd Westphal and
Andreas Podelski},
editor = {V{\'{\i}}ctor A. Braberman and
Laurent Fribourg},
title = {Detecting Quasi-equal Clocks in Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International
Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8053},
pages = {198--212},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40229-6\_14},
doi = {10.1007/978-3-642-40229-6\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/MunizWP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ArenisW13,
author = {Sergio Feo{-}Arenis and
Bernd Westphal},
editor = {Dirk Beyer and
Michele Boreale},
title = {Parameterized Verification of Track Topology Aggregation Protocols},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {35--49},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_4},
doi = {10.1007/978-3-642-38592-6\_4},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ArenisW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ArenisW13,
author = {Sergio Feo{-}Arenis and
Bernd Westphal},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Formal Verification of a Parameterized Data Aggregation Protocol},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {428--434},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_29},
doi = {10.1007/978-3-642-38088-4\_29},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ArenisW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/JubranW13,
author = {Oday Jubran and
Bernd Westphal},
editor = {Michel Auguin and
Robert de Simone and
Robert I. Davis and
Emmanuel Grolleau},
title = {Formal approach to guard time optimization for {TDMA}},
booktitle = {21st International Conference on Real-Time Networks and Systems, {RTNS}
2013, Sophia Antipolis, France, October 17-18, 2013},
pages = {223--233},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2516821.2516849},
doi = {10.1145/2516821.2516849},
timestamp = {Tue, 30 Aug 2022 08:51:38 +0200},
biburl = {https://dblp.org/rec/conf/rtns/JubranW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/HerreraWAMP12,
author = {Christian Herrera and
Bernd Westphal and
Sergio Feo{-}Arenis and
Marco Mu{\~{n}}iz and
Andreas Podelski},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Reducing Quasi-Equal Clocks in Networks of Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {155--170},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_12},
doi = {10.1007/978-3-642-33365-1\_12},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/HerreraWAMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MunizWP12,
author = {Marco Mu{\~{n}}iz and
Bernd Westphal and
Andreas Podelski},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Timed Automata with Disjoint Activity},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {188--203},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_14},
doi = {10.1007/978-3-642-33365-1\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/MunizWP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BarthWA12,
author = {Jelena Barth and
Bernd Westphal and
Stephan Arlt},
editor = {Iulian Ober},
title = {Model-based development of embedded systems' user interfaces},
booktitle = {Proceedings of the 5th International Workshop on Model Based Architecting
and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck,
Austria, September 30, 2012},
pages = {37--42},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2432631.2432638},
doi = {10.1145/2432631.2432638},
timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
biburl = {https://dblp.org/rec/conf/models/BarthWA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/WestphalDAPPMSFM12,
author = {Bernd Westphal and
Daniel Dietsch and
Sergio Feo{-}Arenis and
Andreas Podelski and
Louis Pahlow and
Jochen Morsbach and
Barbara Sommer and
Anke Fuchs and
Christine Meierh{\"{o}}fer},
title = {Towards successful subcontracting for software in small to medium-sized
enterprises},
booktitle = {Fifth {IEEE} International Workshop on Requirements Engineering and
Law, {RELAW} 2012, Chicago, IL, USA, September 25, 2012},
pages = {42--51},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/RELAW.2012.6347807},
doi = {10.1109/RELAW.2012.6347807},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/WestphalDAPPMSFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DietschWP11,
author = {Daniel Dietsch and
Bernd Westphal and
Andreas Podelski},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {System Verification through Program Verification},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {27--41},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_5},
doi = {10.1007/978-3-642-21437-0\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/DietschWP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/DietschAWP11,
author = {Daniel Dietsch and
Sergio Feo{-}Arenis and
Bernd Westphal and
Andreas Podelski},
title = {Disambiguation of industrial standards through formalization and graphical
languages},
booktitle = {{RE} 2011, 19th {IEEE} International Requirements Engineering Conference,
Trento, Italy, August 29 2011 - September 2, 2011},
pages = {265--270},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RE.2011.6051634},
doi = {10.1109/RE.2011.6051634},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/DietschAWP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/TobenWR10,
author = {Tobe Toben and
Bernd Westphal and
Jan{-}Hendrik Rakow},
editor = {Bengt Jonsson and
J{\"{o}}rg Kreiker and
Marta Z. Kwiatkowska},
title = {Spotlight Abstraction of Agents and Areas},
booktitle = {Quantitative and Qualitative Analysis of Network Protocols, 31.01.
- 05.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10051},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2517/},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/TobenWR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Westphal2008,
author = {Bernd Westphal},
title = {Specification and verification of dynamic topology systems: on the
applicability of query- and data-type-reduction-based abstractions},
school = {University of Oldenburg, Germany},
year = {2008},
url = {http://docserver.bis.uni-oldenburg.de/publikationen/dissertation/2008/wesspe08/wesspe08.html},
urn = {urn:nbn:de:gbv:715-oops-7900},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Westphal2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/BauerDTW07,
author = {J{\"{o}}rg Bauer and
Werner Damm and
Tobe Toben and
Bernd Westphal},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {Verification and Synthesis of {OCL} Constraints Via Topology Analysis},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {361--376},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_25},
doi = {10.1007/978-3-540-89020-1\_25},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/BauerDTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BauerTW07,
author = {J{\"{o}}rg Bauer and
Tobe Toben and
Bernd Westphal},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Mind the Shapes: Abstraction Refinement Via Topology Invariants},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {35--50},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_5},
doi = {10.1007/978-3-540-75596-8\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BauerTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WachterW07,
author = {Bj{\"{o}}rn Wachter and
Bernd Westphal},
editor = {Byron Cook and
Andreas Podelski},
title = {The Spotlight Principle},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
pages = {182--198},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_13},
doi = {10.1007/978-3-540-69738-1\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/WachterW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BauerSTW06,
author = {J{\"{o}}rg Bauer and
Ina Schaefer and
Tobe Toben and
Bernd Westphal},
title = {Specification and Verification of Dynamic Communication Systems},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {189--200},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.29},
doi = {10.1109/ACSD.2006.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BauerSTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DammTW06,
author = {Werner Damm and
Tobe Toben and
Bernd Westphal},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {On the Expressive Power of Live Sequence Charts},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {225--246},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_11},
doi = {10.1007/978-3-540-71322-7\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DammTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KloseTWW06,
author = {Jochen Klose and
Tobe Toben and
Bernd Westphal and
Hartmut Wittke},
editor = {Thomas Ball and
Robert B. Jones},
title = {Check It Out: On the Efficient Formal Verification of Live Sequence
Charts},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {219--233},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_22},
doi = {10.1007/11817963\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KloseTWW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/WestphalT06,
author = {Bernd Westphal and
Tobe Toben},
editor = {Luciano Baresi and
Reiko Heckel},
title = {The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts},
booktitle = {Fundamental Approaches to Software Engineering, 9th International
Conference, {FASE} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 27-28, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3922},
pages = {230--246},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693017\_18},
doi = {10.1007/11693017\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/WestphalT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DammW05,
author = {Werner Damm and
Bernd Westphal},
title = {Live and let die: {LSC} based verification of {UML} models},
journal = {Sci. Comput. Program.},
volume = {55},
number = {1-3},
pages = {117--159},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.05.013},
doi = {10.1016/J.SCICO.2004.05.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DammW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TobenW06,
author = {Tobe Toben and
Bernd Westphal},
editor = {Ranko Lazic and
Rajagopal Nagarajan},
title = {Concurrent {LSC} Verification: On Decomposition Properties of Partially
Ordered Symbolic Automata},
booktitle = {Proceedings of the 5th International Workshop on Automated Verification
of Critical Systems, AVoCS 2005, University of Warwick, UK, September
12-13, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {145},
pages = {95--111},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.007},
doi = {10.1016/J.ENTCS.2005.10.007},
timestamp = {Thu, 15 Dec 2022 14:59:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TobenW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Westphal06,
author = {Bernd Westphal},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {{LSC} Verification for {UML} Models with Unbounded Creation and Destruction},
booktitle = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {3},
pages = {133--145},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.009},
doi = {10.1016/J.ENTCS.2006.01.009},
timestamp = {Fri, 16 Dec 2022 10:50:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Westphal06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/DammW04,
author = {Werner Damm and
Bernd Westphal},
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 = {Introduction to Subject Area 'Charts'},
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 = {322--324},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_18},
doi = {10.1007/978-3-540-27863-4\_18},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/DammW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/BrillDKWW04,
author = {Matthias Brill and
Werner Damm and
Jochen Klose and
Bernd Westphal and
Hartmut Wittke},
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 = {Live Sequence Charts: An Introduction to Lines, Arrows, and Strange
Boxes in the Context of Formal Verification},
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 = {374--399},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_21},
doi = {10.1007/978-3-540-27863-4\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/BrillDKWW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/BrillBDKWW04,
author = {Matthias Brill and
Ralf Buscherm{\"{o}}hle and
Werner Damm and
Jochen Klose and
Bernd Westphal and
Hartmut Wittke},
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 = {Formal Verification of LSCs in the Development Process},
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 = {494--516},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_27},
doi = {10.1007/978-3-540-27863-4\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/BrillBDKWW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SchinzTMW04,
author = {Ingo Schinz and
Tobe Toben and
Christian Mrugalla and
Bernd Westphal},
title = {The Rhapsody {UML} Verification Environment},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {174--183},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.44},
doi = {10.1109/SEFM.2004.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/SchinzTMW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DammW02,
author = {Werner Damm and
Bernd Westphal},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Live and Let Die: LSC-Based Verification of UML-Models},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {99--135},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_4},
doi = {10.1007/978-3-540-39656-7\_4},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DammW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismda/KosterRWS00,
author = {Frank K{\"{o}}ster and
Roland Radtke and
Bernd Westphal and
Michael Sonnenschein},
editor = {R{\"{u}}diger W. Brause and
Ernst Hanisch},
title = {Combining Methodical Procedures from Knowledge Discovery in Databases
and Individual-Oriented Simulation -- Data Mining in Time Series},
booktitle = {Medical Data Analysis, First International Symposium, {ISMDA} 2000,
Frankfurt, Germany, September 29-30, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1933},
pages = {169--182},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-39949-6\_21},
doi = {10.1007/3-540-39949-6\_21},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ismda/KosterRWS00.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-10-07 21:50 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:
