default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Herrmann
@inproceedings{DBLP:conf/models/HerrmannE23,
author = {Peter Herrmann and
Stein Erik Ellevseth},
title = {15th System Analysis and Modelling Conference {(SAM} 2023)},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {199},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00048},
doi = {10.1109/MODELS-C59198.2023.00048},
timestamp = {Fri, 05 Jan 2024 16:35:45 +0100},
biburl = {https://dblp.org/rec/conf/models/HerrmannE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/OplenskedalHT22,
author = {Magnus Karsten Oplenskedal and
Peter Herrmann and
Amir Taherkordi},
title = {DeepMatch2: {A} comprehensive deep learning-based approach for in-vehicle
presence detection},
journal = {Inf. Syst.},
volume = {108},
pages = {101927},
year = {2022},
url = {https://doi.org/10.1016/j.is.2021.101927},
doi = {10.1016/J.IS.2021.101927},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/OplenskedalHT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/petra/BieberKHBBH22,
author = {Gerald Bieber and
Dimitri Kraft and
Bernd H{\"{o}}lle and
Dennis Blenke and
Rainer Bader and
Peter Herrmann},
title = {Determination of the healing corridor of patients with knee arthroplasty
by a motor-powered rollator},
booktitle = {{PETRA} '22: The 15th International Conference on PErvasive Technologies
Related to Assistive Environments, Corfu, Greece, 29 June 2022 - 1
July 2022},
pages = {390--395},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3529190.3534730},
doi = {10.1145/3529190.3534730},
timestamp = {Tue, 12 Jul 2022 16:32:52 +0200},
biburl = {https://dblp.org/rec/conf/petra/BieberKHBBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogmi/OplenskedalTH21,
author = {Magnus Karsten Oplenskedal and
Amir Taherkordi and
Peter Herrmann},
title = {{ATARAXIS:} {A} Deep Learning Approach for Hardwareless In-Vehicle
Presence Detection},
booktitle = {Third {IEEE} International Conference on Cognitive Machine Intelligence,
CogMI 2021, Atlanta, GA, USA, December 13-15, 2021},
pages = {1--10},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CogMI52975.2021.00012},
doi = {10.1109/COGMI52975.2021.00012},
timestamp = {Wed, 20 Apr 2022 16:01:05 +0200},
biburl = {https://dblp.org/rec/conf/cogmi/OplenskedalTH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/PukaH21,
author = {Ergys Puka and
Peter Herrmann},
title = {Mitigating Dead Spots in Cellular Networks with the Hybrid Communication
Protocol {CAMFLOOP}},
booktitle = {24th {IEEE} International Intelligent Transportation Systems Conference,
{ITSC} 2021, Indianapolis, IN, USA, September 19-22, 2021},
pages = {1041--1048},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ITSC48978.2021.9564660},
doi = {10.1109/ITSC48978.2021.9564660},
timestamp = {Wed, 03 Nov 2021 08:38:45 +0100},
biburl = {https://dblp.org/rec/conf/itsc/PukaH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/KhanH21,
author = {Zeeshan Ali Khan and
Peter Herrmann},
title = {Energy-efficient Protection of IoT Networks using Trust Management
on the {IEEE} 802.15.4 Protocol},
booktitle = {11th {IFIP} International Conference on New Technologies, Mobility
and Security, {NTMS} 2021, Paris, France, April 19-21, 2021},
pages = {1--7},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/NTMS49979.2021.9432670},
doi = {10.1109/NTMS49979.2021.9432670},
timestamp = {Thu, 20 May 2021 17:50:41 +0200},
biburl = {https://dblp.org/rec/conf/ntms/KhanH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/petra/BieberAKHBH21,
author = {Gerald Bieber and
Niklas Antony and
Dimitri Kraft and
Bernd H{\"{o}}lle and
Dennis Blenke and
Peter Herrmann},
editor = {Fillia Makedon},
title = {Barcode-based Navigation Concept for Autonomous Wheelchairs and Walking
Frames},
booktitle = {{PETRA} '21: The 14th PErvasive Technologies Related to Assistive
Environments Conference, Virtual Event, Greece, 29 June - 2 July,
2021},
pages = {373--378},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453892.3461329},
doi = {10.1145/3453892.3461329},
timestamp = {Mon, 05 Jul 2021 15:32:30 +0200},
biburl = {https://dblp.org/rec/conf/petra/BieberAKHBH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/OplenskedalTH20,
author = {Magnus Karsten Oplenskedal and
Amir Taherkordi and
Peter Herrmann},
editor = {Julien Gascon{-}Samson and
Kaiwen Zhang and
Khuzaima Daudjee and
Bettina Kemme},
title = {DeepMatch: deep matching for in-vehicle presence detection in transportation},
booktitle = {14th {ACM} International Conference on Distributed and Event-based
Systems, {DEBS} 2020, Montreal, Quebec, Canada, July 13-17, 2020},
pages = {97--108},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3401025.3401741},
doi = {10.1145/3401025.3401741},
timestamp = {Wed, 20 Jul 2022 14:24:56 +0200},
biburl = {https://dblp.org/rec/conf/debs/OplenskedalTH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BejaranoPBPHV20,
author = {Ronal Bejarano and
Roope P{\"{a}}{\"{a}}kk{\"{o}}nen and
Jan Olaf Blech and
Ian Peake and
Peter Herrmann and
Valeriy Vyatkin},
title = {Assessing Long Distance Communication Alternatives for the Remote
Control of AGVs},
booktitle = {25th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11,
2020},
pages = {69--76},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ETFA46521.2020.9211954},
doi = {10.1109/ETFA46521.2020.9211954},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BejaranoPBPHV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isci/HerrmannPS20,
author = {Peter Herrmann and
Ergys Puka and
Tor Rune Skoglund},
editor = {Guojun Wang and
Zhong Fan and
Md. Zakirul Alam Bhuiyan and
Kouichi Sakurai},
title = {Machine Learning-based Update-time Prediction for Battery-friendly
Passenger Information Displays},
booktitle = {8th {IEEE} International Conference on Smart City and Informatization,
iSCI 2020, Guangzhou, China, December 31, 2020 - January 1, 2021},
pages = {49--59},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/iSCI50694.2020.00016},
doi = {10.1109/ISCI50694.2020.00016},
timestamp = {Fri, 30 Apr 2021 12:35:39 +0200},
biburl = {https://dblp.org/rec/conf/isci/HerrmannPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/PukaHT20,
author = {Ergys Puka and
Peter Herrmann and
Amir Taherkordi},
title = {Hybrid Context-aware Message Flooding for Dead Spot Mitigation in
{V2I} Communication},
booktitle = {92nd {IEEE} Vehicular Technology Conference, {VTC} Fall 2020, Victoria,
BC, Canada, November 18 - December 16, 2020},
pages = {1--7},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/VTC2020-Fall49728.2020.9348721},
doi = {10.1109/VTC2020-FALL49728.2020.9348721},
timestamp = {Mon, 20 Dec 2021 11:29:51 +0100},
biburl = {https://dblp.org/rec/conf/vtc/PukaHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcps/PukaH19,
author = {Ergys Puka and
Peter Herrmann},
title = {Data Dissemination for Vehicles in Temporary Cellular Network Dead
Spots},
journal = {Int. J. Cyber Phys. Syst.},
volume = {1},
number = {2},
pages = {38--55},
year = {2019},
url = {https://doi.org/10.4018/ijcps.2019070103},
doi = {10.4018/IJCPS.2019070103},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcps/PukaH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/KhanH19,
author = {Zeeshan Ali Khan and
Peter Herrmann},
title = {Recent Advancements in Intrusion Detection Systems for the Internet
of Things},
journal = {Secur. Commun. Networks},
volume = {2019},
pages = {4301409:1--4301409:19},
year = {2019},
url = {https://doi.org/10.1155/2019/4301409},
doi = {10.1155/2019/4301409},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scn/KhanH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iov/MeyerPH19,
author = {Jon Arild Ekberg Meyer and
Ergys Puka and
Peter Herrmann},
editor = {Ching{-}Hsien Hsu and
Sond{\`{e}}s Khemiri{-}Kallel and
Kun{-}Chan Lan and
Zibin Zheng},
title = {Utilizing Connectivity Maps to Accelerate {V2I} Communication in Cellular
Network Dead Spots},
booktitle = {Internet of Vehicles. Technologies and Services Toward Smart Cities
- 6th International Conference, {IOV} 2019, Kaohsiung, Taiwan, November
18-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11894},
pages = {76--87},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-38651-1\_8},
doi = {10.1007/978-3-030-38651-1\_8},
timestamp = {Thu, 13 Feb 2020 22:18:49 +0100},
biburl = {https://dblp.org/rec/conf/iov/MeyerPH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdm/OplenskedalTH19,
author = {Magnus Karsten Oplenskedal and
Amirhosein Taherkordi and
Peter Herrmann},
title = {Automated Product Localization Through Mobile Data Analysis},
booktitle = {20th {IEEE} International Conference on Mobile Data Management, {MDM}
2019, Hong Kong, SAR, China, June 10-13, 2019},
pages = {18--26},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MDM.2019.00-78},
doi = {10.1109/MDM.2019.00-78},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mdm/OplenskedalTH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/petra/BieberCBHHD19,
author = {Gerald Bieber and
Wencke Chodan and
Rainer Bader and
Bernd H{\"{o}}lle and
Peter Herrmann and
Ingo Dreher},
editor = {Fillia Makedon},
title = {RoRo: a new robotic rollator concept to assist the elderly and caregivers},
booktitle = {Proceedings of the 12th {ACM} International Conference on PErvasive
Technologies Related to Assistive Environments, {PETRA} 2019, Island
of Rhodes, Greece, June 5-7, 2019},
pages = {430--434},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3316782.3322779},
doi = {10.1145/3316782.3322779},
timestamp = {Sun, 26 May 2019 19:05:38 +0200},
biburl = {https://dblp.org/rec/conf/petra/BieberCBHHD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/PukaH19,
author = {Ergys Puka and
Peter Herrmann},
title = {A Data Dissemination Protocol for Vehicles with Temporary Cellular
Network Inaccessibility},
booktitle = {20th {IEEE} International Symposium on "A World of Wireless, Mobile
and Multimedia Networks", WoWMoM 2019, Washington, DC, USA, June 10-12,
2019},
pages = {1--7},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/WoWMoM.2019.8793021},
doi = {10.1109/WOWMOM.2019.8793021},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wowmom/PukaH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comsnets/PukaHLS18,
author = {Ergys Puka and
Peter Herrmann and
Tomas Levin and
Christian B. Skjetne},
title = {A way to measure and analyze cellular network connectivity on the
norwegian road system},
booktitle = {10th International Conference on Communication Systems {\&} Networks,
{COMSNETS} 2018, Bengaluru, India, January 3-7, 2018},
pages = {595--600},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/COMSNETS.2018.8328280},
doi = {10.1109/COMSNETS.2018.8328280},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comsnets/PukaHLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/ZamanskySRHB18,
author = {Anna Zamansky and
Maria Spichkova and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Peter Herrmann and
Jan Olaf Blech},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Towards Classification of Lightweight Formal Methods},
booktitle = {Proceedings of the 13th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2018, Funchal, Madeira,
Portugal, March 23-24, 2018},
pages = {305--313},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006770803050313},
doi = {10.5220/0006770803050313},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/ZamanskySRHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbta/TaherkordiH18,
author = {Amir Taherkordi and
Peter Herrmann},
title = {Pervasive Smart Contracts for Blockchains in IoT Systems},
booktitle = {Proceedings of the 2018 International Conference on Blockchain Technology
and Application, {ICBTA} 2018, Xi'an, China, December 10-12, 2018},
pages = {6--11},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3301403.3301405},
doi = {10.1145/3301403.3301405},
timestamp = {Tue, 08 Mar 2022 14:54:37 +0100},
biburl = {https://dblp.org/rec/conf/icbta/TaherkordiH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netsoft/OplenskedalHBT18,
author = {Magnus Karsten Oplenskedal and
Peter Herrmann and
Jan Olaf Blech and
Amir Taherkordi},
title = {Simulation-driven Development of Self-adaptive Transportation Systems},
booktitle = {4th {IEEE} Conference on Network Softwarization and Workshops, NetSoft
2018, Montreal, QC, Canada, June 25-29, 2018},
pages = {372--377},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/NETSOFT.2018.8460073},
doi = {10.1109/NETSOFT.2018.8460073},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netsoft/OplenskedalHBT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-01923,
author = {Anna Zamansky and
Maria Spichkova and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Peter Herrmann and
Jan Olaf Blech},
title = {Towards Classification of Lightweight Formal Methods},
journal = {CoRR},
volume = {abs/1807.01923},
year = {2018},
url = {http://arxiv.org/abs/1807.01923},
eprinttype = {arXiv},
eprint = {1807.01923},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-01923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/KhanUVH17,
author = {Zeeshan Ali Khan and
Johanna Ullrich and
Artemios G. Voyiatzis and
Peter Herrmann},
title = {A Trust-based Resilient Routing Mechanism for the Internet of Things},
booktitle = {Proceedings of the 12th International Conference on Availability,
Reliability and Security, Reggio Calabria, Italy, August 29 - September
01, 2017},
pages = {27:1--27:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3098954.3098963},
doi = {10.1145/3098954.3098963},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/KhanUVH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/KhanH17,
author = {Zeeshan Ali Khan and
Peter Herrmann},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Hui{-}Huang Hsu and
Chi{-}Yi Lin},
title = {A Trust Based Distributed Intrusion Detection Mechanism for Internet
of Things},
booktitle = {31st {IEEE} International Conference on Advanced Information Networking
and Applications, {AINA} 2017, Taipei, Taiwan, March 27-29, 2017},
pages = {1169--1176},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/AINA.2017.161},
doi = {10.1109/AINA.2017.161},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/KhanH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/HerrmannB17,
author = {Peter Herrmann and
Jan Olaf Blech},
title = {Formal Analysis of Control Software for Cyber-Physical Systems},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS-C} 2017, Prague, Czech Republic, July
25-29, 2017},
pages = {563--564},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS-C.2017.130},
doi = {10.1109/QRS-C.2017.130},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/HerrmannB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SvaeTHB17,
author = {Alexander Svae and
Amir Taherkordi and
Peter Herrmann and
Jan Olaf Blech},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {Self-adaptive control in cyber-physical systems: the autonomous train
experiment},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1436--1443},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019651},
doi = {10.1145/3019612.3019651},
timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/SvaeTHB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/KhanH17,
author = {Zeeshan Ali Khan and
Peter Herrmann},
title = {How to Secure Internet of Things Devices in an Energy Efficient Way},
journal = {{ERCIM} News},
volume = {2017},
number = {109},
year = {2017},
url = {https://ercim-news.ercim.eu/en109/r-i/how-to-secure-internet-of-things-devices-in-an-energy-efficient-way},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/KhanH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwsr/HerrmannBHS16,
author = {Peter Herrmann and
Jan Olaf Blech and
Fenglin Han and
Heinz W. Schmidt},
title = {A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical
Systems},
journal = {Int. J. Web Serv. Res.},
volume = {13},
number = {1},
pages = {40--52},
year = {2016},
url = {https://doi.org/10.4018/IJWSR.2016010103},
doi = {10.4018/IJWSR.2016010103},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jwsr/HerrmannBHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/HordvikOSBH16,
author = {Simon Hordvik and
Kristoffer {\O}seth and
Henrik Heggelund Svendsen and
Jan Olaf Blech and
Peter Herrmann},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {Model-Based Engineering and Spatiotemporal Analysis of Transport Systems},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 11th International
Conference, {ENASE} 2016, Rome, Italy, April 27-28, 2016, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {703},
pages = {44--65},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-56390-9\_3},
doi = {10.1007/978-3-319-56390-9\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/HordvikOSBH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/HordvikOBH16,
author = {Simon Hordvik and
Kristoffer {\O}seth and
Jan Olaf Blech and
Peter Herrmann},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {A Methodology for Model-based Development and Safety Analysis of Transport
Systems},
booktitle = {{ENASE} 2016 - Proceedings of the 11th International Conference on
Evaluation of Novel Approaches to Software Engineering, Rome, Italy
27-28 April, 2016},
pages = {91--101},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005828800910101},
doi = {10.5220/0005828800910101},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/HordvikOBH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/HerrmannSSB16,
author = {Peter Herrmann and
Alexander Svae and
Henrik Heggelund Svendsen and
Jan Olaf Blech},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {Collaborative Model-based Development of a Remote Train Monitoring
System},
booktitle = {{ENASE} 2016 - Proceedings of the 11th International Conference on
Evaluation of Novel Approaches to Software Engineering, Rome, Italy
27-28 April, 2016},
pages = {383--390},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005929403830390},
doi = {10.5220/0005929403830390},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/HerrmannSSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/TaherkordiHBF16,
author = {Amir Taherkordi and
Peter Herrmann and
Jan Olaf Blech and
{\'{A}}lvaro Fern{\'{a}}ndez},
editor = {Khalil Drira and
Hongbing Wang and
Qi Yu and
Yan Wang and
Yuhong Yan and
Fran{\c{c}}ois Charoy and
Jan Mendling and
Mohamed Mohamed and
Zhongjie Wang and
Sami Bhiri},
title = {Service Virtualization for Self-adaptation in Mobile Cyber-Physical
Systems},
booktitle = {Service-Oriented Computing - {ICSOC} 2016 Workshops - ASOCA, ISyCC,
BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10380},
pages = {56--68},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-68136-8\_5},
doi = {10.1007/978-3-319-68136-8\_5},
timestamp = {Mon, 26 Jun 2023 20:44:14 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/TaherkordiHBF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/HerrmannB16,
author = {Peter Herrmann and
Jan Olaf Blech},
editor = {Paolo Milazzo and
D{\'{a}}niel Varr{\'{o}} and
Manuel Wimmer},
title = {Formal Model-Based Development in Industrial Automation with Reactive
Blocks},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2016
Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna,
Austria, July 4-8, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9946},
pages = {253--261},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50230-4\_19},
doi = {10.1007/978-3-319-50230-4\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/HerrmannB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HanBHS15,
author = {Fenglin Han and
Jan Olaf Blech and
Peter Herrmann and
Heinz W. Schmidt},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {Model-Based Engineering and Analysis of Space-Aware Systems Communicating
via {IEEE} 802.11},
booktitle = {39th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},
pages = {638--646},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.46},
doi = {10.1109/COMPSAC.2015.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/HanBHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/BlechHPS15,
author = {Jan Olaf Blech and
Peter Herrmann and
Ian D. Peake and
Heinz W. Schmidt},
editor = {Joaquim Filipe and
Leszek A. Maciaszek},
title = {Towards a Model-based Toolchain for Remote Configuration and Maintenance
of Space-aware Systems},
booktitle = {{ENASE} 2015 - Proceedings of the 10th International Conference on
Evaluation of Novel Approaches to Software Engineering, Barcelona,
Spain, 29-30 April, 2015},
pages = {331--336},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005454703310336},
doi = {10.5220/0005454703310336},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/BlechHPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BlechH15,
author = {Jan Olaf Blech and
Peter Herrmann},
editor = {Iulia Dragomir and
Susanne Graf and
Gabor Karsai and
Florian Noyrit and
Iulian Ober and
Damiano Torre and
Yvan Labiche and
Marcela Genero and
Maged Elaasar},
title = {Behavioral Types for Space-aware Systems},
booktitle = {Joint Proceedings of the 8th International Workshop on Model-based
Architecting of Cyber-physical and Embedded Systems and 1st International
Workshop on {UML} Consistency Rules {(ACES-MB} 2015 {\&} {WUCOR}
2015) co-located with {ACM/IEEE} 18th International Conference on
Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa,
Canada, September 28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1508},
pages = {11--18},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1508/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BlechH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BlechH15,
author = {Jan Olaf Blech and
Peter Herrmann},
editor = {Domenico Bianculli and
Radu Calinescu and
Bernhard Rumpe},
title = {Behavioral Types for Component-Based Development of Cyber-Physical
Systems},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9509},
pages = {43--52},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-49224-6\_5},
doi = {10.1007/978-3-662-49224-6\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BlechH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/KraemerH15,
author = {Frank Alexander Kraemer and
Peter Herrmann},
title = {Creating Internet of Things Applications from Building Blocks},
journal = {{ERCIM} News},
volume = {2015},
number = {101},
year = {2015},
url = {http://ercim-news.ercim.eu/en101/special/creating-internet-of-things-applications-from-building-blocks},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/KraemerH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/VasilevskayaGNH14,
author = {Maria Vasilevskaya and
Linda Ariani Gunawan and
Simin Nadjm{-}Tehrani and
Peter Herrmann},
title = {Integrating security mechanisms into embedded systems by domain-specific
modelling},
journal = {Secur. Commun. Networks},
volume = {7},
number = {12},
pages = {2815--2832},
year = {2014},
url = {https://doi.org/10.1002/sec.819},
doi = {10.1002/SEC.819},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scn/VasilevskayaGNH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SpichkovaBHS14,
author = {Maria Spichkova and
Jan Olaf Blech and
Peter Herrmann and
Heinz W. Schmidt},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Michalis Famelis and
Daniel Ratiu},
title = {Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST},
booktitle = {Proceedings of the 11th Workshop on Model-Driven Engineering, Verification
and Validation co-located with 17th International Conference on Model
Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia,
Spain, September 30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1235},
pages = {49--58},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1235/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/SpichkovaBHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HanBHS14,
author = {Fenglin Han and
Jan Olaf Blech and
Peter Herrmann and
Heinz W. Schmidt},
editor = {Barbora Buhnova and
Lucia Happe and
Jan Kofron},
title = {Towards Verifying Safety Properties of Real-Time Probabilistic Systems},
booktitle = {Proceedings 11th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2014, Grenoble,
France, 12th April 2014},
series = {{EPTCS}},
volume = {147},
pages = {1--15},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.147.1},
doi = {10.4204/EPTCS.147.1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HanBHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/SlattenHK13,
author = {Vidar Sl{\aa}tten and
Peter Herrmann and
Frank Alexander Kraemer},
title = {Model-Driven Engineering of Reliable Fault-Tolerant Systems - {A}
State-of-the-Art Survey},
journal = {Adv. Comput.},
volume = {91},
pages = {119--205},
year = {2013},
url = {https://doi.org/10.1016/B978-0-12-408089-8.00004-5},
doi = {10.1016/B978-0-12-408089-8.00004-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/SlattenHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/GunawanH13,
author = {Linda Ariani Gunawan and
Peter Herrmann},
editor = {Jan J{\"{u}}rjens and
Benjamin Livshits and
Riccardo Scandariato},
title = {Compositional Verification of Application-Level Security Properties},
booktitle = {Engineering Secure Software and Systems - 5th International Symposium,
ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7781},
pages = {75--90},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36563-8\_6},
doi = {10.1007/978-3-642-36563-8\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/GunawanH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icawst/HanH13,
author = {Fenglin Han and
Peter Herrmann},
title = {Modeling real-time system performance with respect to scheduling analysis},
booktitle = {International Joint Conference on Awareness Science and Technology
{\&} Ubi-Media Computing, iCAST 2013 {\&} {UMEDIA} 2013, Aizuwakamatsu,
Japan, November 2-4, 2013},
pages = {663--671},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICAwST.2013.6765522},
doi = {10.1109/ICAWST.2013.6765522},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/icawst/HanH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HanHL13,
author = {Fenglin Han and
Peter Herrmann and
Hien Le},
title = {Modeling and Verifying Real-Time Properties of Reactive Systems},
booktitle = {2013 18th International Conference on Engineering of Complex Computer
Systems, Singapore, July 17-19, 2013},
pages = {14--23},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.13},
doi = {10.1109/ICECCS.2013.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/HanHL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/GladyshH13,
author = {Sergiy Gladysh and
Peter Herrmann},
editor = {M. Carmen Fern{\'{a}}ndez Gago and
Fabio Martinelli and
Siani Pearson and
Isaac Agudo},
title = {Modeling Reactive Trust Acquisition Using State Transition Systems},
booktitle = {Trust Management {VII} - 7th {IFIP} {WG} 11.11 International Conference,
{IFIPTM} 2013, Malaga, Spain, June 3-7, 2013. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {401},
pages = {247--254},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38323-6\_19},
doi = {10.1007/978-3-642-38323-6\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/GladyshH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HanH12,
author = {Fenglin Han and
Peter Herrmann},
title = {Remedy of Mixed Initiative Conflicts in Model-based System Engineering},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {47},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.47.717},
doi = {10.14279/TUJ.ECEASST.47.717},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HanH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/GunawanKH12,
author = {Linda Ariani Gunawan and
Frank Alexander Kraemer and
Peter Herrmann},
editor = {Karl M. G{\"{o}}schka and
Seif Haridi},
title = {Behavioral Singletons to Consistently Handle Global States of Security
Patterns},
booktitle = {Distributed Applications and Interoperable Systems - 12th {IFIP} {WG}
6.1 International Conference, {DAIS} 2012, Stockholm, Sweden, June
13-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7272},
pages = {73--86},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30823-9\_6},
doi = {10.1007/978-3-642-30823-9\_6},
timestamp = {Tue, 21 Mar 2023 20:54:01 +0100},
biburl = {https://dblp.org/rec/conf/dais/GunawanKH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/VasilevskayaNGH12,
author = {Maria Vasilevskaya and
Simin Nadjm{-}Tehrani and
Linda Ariani Gunawan and
Peter Herrmann},
title = {Security asset elicitation for collaborative models},
booktitle = {Model-Driven Security Workshop, MDsec 2012, In conjunction with MoDELS
2012, Innsbruck, Austria, October 1, 2012},
pages = {7},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2422498.2422505},
doi = {10.1145/2422498.2422505},
timestamp = {Wed, 23 Feb 2022 12:16:49 +0100},
biburl = {https://dblp.org/rec/conf/models/VasilevskayaNGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaacs/CsorbaHH11,
author = {M{\'{a}}t{\'{e}} J. Csorba and
Poul E. Heegaard and
Peter Herrmann},
title = {Component deployment using parallel ant-nests},
journal = {Int. J. Auton. Adapt. Commun. Syst.},
volume = {4},
number = {1},
pages = {78--99},
year = {2011},
url = {https://doi.org/10.1504/IJAACS.2011.037750},
doi = {10.1504/IJAACS.2011.037750},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaacs/CsorbaHH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GunawanVKSSHK11,
author = {Linda Ariani Gunawan and
Michael Vogel and
Frank Alexander Kraemer and
Sebastian Schmerl and
Vidar Sl{\aa}tten and
Peter Herrmann and
Hartmut K{\"{o}}nig},
title = {Modeling a distributed intrusion detection system using collaborative
building blocks},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {36},
number = {1},
pages = {1--8},
year = {2011},
url = {https://doi.org/10.1145/1921532.1921564},
doi = {10.1145/1921532.1921564},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/GunawanVKSSHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/GunawanKH11,
author = {Linda Ariani Gunawan and
Frank Alexander Kraemer and
Peter Herrmann},
editor = {{\'{U}}lfar Erlingsson and
Roel J. Wieringa and
Nicola Zannone},
title = {A Tool-Supported Method for the Design and Implementation of Secure
Distributed Applications},
booktitle = {Engineering Secure Software and Systems - Third International Symposium,
ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6542},
pages = {142--155},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19125-1\_11},
doi = {10.1007/978-3-642-19125-1\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/GunawanKH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SlattenH11,
author = {Vidar Sl{\aa}tten and
Peter Herrmann},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Contracts for Multi-instance {UML} Activities},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {304--318},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_20},
doi = {10.1007/978-3-642-21461-5\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/SlattenH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/SlattenKH11,
author = {Vidar Sl{\aa}tten and
Frank Alexander Kraemer and
Peter Herrmann},
editor = {Ewen Denney and
Ulrik Pagh Schultz},
title = {Towards automatic generation of formal specifications to validate
and verify reliable distributed systems: a method exemplified by an
industrial case study},
booktitle = {Generative Programming And Component Engineering, Proceedings of the
10th International Conference on Generative Programming and Component
Engineering, {GPCE} 2011, Portland, Oregon, USA, October 22-24, 2011},
pages = {147--156},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2047862.2047888},
doi = {10.1145/2047862.2047888},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/SlattenKH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nldb/SaetreKSFHG11,
author = {Rune S{\ae}tre and
Mohammad Ullah Khan and
Erlend Stav and
Alfredo Perez Fernandez and
Peter Herrmann and
Jon Atle Gulla},
editor = {Rafael Mu{\~{n}}oz and
Andr{\'{e}}s Montoyo and
Elisabeth M{\'{e}}tais},
title = {Towards Ontology-Driven End-User Composition of Personalized Mobile
Services},
booktitle = {Natural Language Processing and Information Systems - 16th International
Conference on Applications of Natural Language to Information Systems,
{NLDB} 2011, Alicante, Spain, June 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6716},
pages = {242--245},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22327-3\_29},
doi = {10.1007/978-3-642-22327-3\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nldb/SaetreKSFHG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sam/2010,
editor = {Frank Alexander Kraemer and
Peter Herrmann},
title = {System Analysis and Modeling: About Models - 6th International Workshop,
{SAM} 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6598},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21652-7},
doi = {10.1007/978-3-642-21652-7},
isbn = {978-3-642-21651-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ecr/HerrmannT10,
author = {Peter Herrmann and
Mozhgan Tavakolifard},
title = {Special issue on trust and privacy in electronic commerce - Editors'
introduction},
journal = {Electron. Commer. Res.},
volume = {10},
number = {3-4},
pages = {235--237},
year = {2010},
url = {https://doi.org/10.1007/s10660-010-9065-x},
doi = {10.1007/S10660-010-9065-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ecr/HerrmannT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KraemerH10,
author = {Frank Alexander Kraemer and
Peter Herrmann},
editor = {John Hatcliff and
Elena Zucca},
title = {Reactive Semantics for Distributed {UML} Activities},
booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6117},
pages = {17--31},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7\_3},
doi = {10.1007/978-3-642-13464-7\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/KraemerH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/SlattenKH10,
author = {Vidar Sl{\aa}tten and
Frank Alexander Kraemer and
Peter Herrmann},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Towards a model-driven method for reliable applications: from ideal
to realistic transmission semantics},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {2--11},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401737},
doi = {10.1145/2401736.2401737},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/SlattenKH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/Sanchez-Esguevillas09,
author = {Antonio S{\'{a}}nchez{-}Esguevillas and
Jos{\'{e}} Jimenez and
Bel{\'{e}}n Carro and
Heinz Br{\"{u}}ggemann and
Peter Herrmann and
Ken Young},
title = {Telecommunication solutions for European leadership in telecommunications
[Very Large Projects]},
journal = {{IEEE} Commun. Mag.},
volume = {47},
number = {3},
pages = {18--20},
year = {2009},
url = {https://doi.org/10.1109/MCOM.2009.4804378},
doi = {10.1109/MCOM.2009.4804378},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cm/Sanchez-Esguevillas09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KraemerSH09,
author = {Frank Alexander Kraemer and
Vidar Sl{\aa}tten and
Peter Herrmann},
title = {Tool support for the rapid composition, analysis and implementation
of reactive services},
journal = {J. Syst. Softw.},
volume = {82},
number = {12},
pages = {2068--2080},
year = {2009},
url = {https://doi.org/10.1016/j.jss.2009.06.057},
doi = {10.1016/J.JSS.2009.06.057},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/KraemerSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/CsorbaMHH09,
author = {M{\'{a}}t{\'{e}} J. Csorba and
Hein Meling and
Poul E. Heegaard and
Peter Herrmann},
editor = {Twittie Senivongse and
Rui Oliveira},
title = {Foraging for Better Deployment of Replicated Service Components},
booktitle = {Distributed Applications and Interoperable Systems, 9th {IFIP} {WG}
6.1 International Conference, {DAIS} 2009, Lisbon, Portugal, June
9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5523},
pages = {87--101},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02164-0\_7},
doi = {10.1007/978-3-642-02164-0\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dais/CsorbaMHH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/GunawanHK09,
author = {Linda Ariani Gunawan and
Peter Herrmann and
Frank Alexander Kraemer},
editor = {Dominik Slezak and
Tai{-}Hoon Kim and
Wai{-}Chi Fang and
Kirk P. Arnett},
title = {Towards the Integration of Security Aspects into System Development
Using Collaboration-Oriented Models},
booktitle = {Security Technology - International Conference, SecTech 2009, Held
as Part of the Future Generation Information Technology Conference,
{FGIT} 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings},
series = {Communications in Computer and Information Science},
volume = {58},
pages = {72--85},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10847-1\_10},
doi = {10.1007/978-3-642-10847-1\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgit/GunawanHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/TavakolifardHK09,
author = {Mozhgan Tavakolifard and
Peter Herrmann and
Svein J. Knapskog},
editor = {Elena Ferrari and
Ninghui Li and
Elisa Bertino and
Y{\"{u}}cel Karabulut},
title = {Inferring Trust Based on Similarity with {TILLIT}},
booktitle = {Trust Management III, Third {IFIP} {WG} 11.11 International Conference,
{IFIPTM} 2009 , West Lafayette, IN, USA, June 15-19, 2009. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {300},
pages = {133--148},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02056-8\_9},
doi = {10.1007/978-3-642-02056-8\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/TavakolifardHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/TavakolifardHO09,
author = {Mozhgan Tavakolifard and
Peter Herrmann and
Pinar {\"{O}}zt{\"{u}}rk},
editor = {Elena Ferrari and
Ninghui Li and
Elisa Bertino and
Y{\"{u}}cel Karabulut},
title = {Analogical Trust Reasoning},
booktitle = {Trust Management III, Third {IFIP} {WG} 11.11 International Conference,
{IFIPTM} 2009 , West Lafayette, IN, USA, June 15-19, 2009. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {300},
pages = {149--163},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02056-8\_10},
doi = {10.1007/978-3-642-02056-8\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/TavakolifardHO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KraemerH09,
author = {Frank Alexander Kraemer and
Peter Herrmann},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {Automated Encapsulation of {UML} Activities for Incremental Development
and Verification},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {571--585},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_44},
doi = {10.1007/978-3-642-04425-0\_44},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/KraemerH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/KraemerSH09,
author = {Frank Alexander Kraemer and
Vidar Sl{\aa}tten and
Peter Herrmann},
editor = {Rick Reed and
Attila Bilgic and
Reinhard Gotzhein},
title = {Model-Driven Construction of Embedded Applications Based on Reusable
Building Blocks - An Example},
booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL}
Forum, Bochum, Germany, September 22-24, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5719},
pages = {1--18},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04554-7\_1},
doi = {10.1007/978-3-642-04554-7\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/KraemerSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/autonomics/CsorbaHH08,
author = {M{\'{a}}t{\'{e}} J. Csorba and
Poul E. Heegaard and
Peter Herrmann},
editor = {Antonio Manzalini},
title = {Adaptable model-based component deployment guided by artificial ants},
booktitle = {Proceedings of the 2nd International Conference on Autonomic Computing
and Communication Systems, Autonomics 2008, September 23-25, 2008,
Turin, Italy},
pages = {15},
publisher = {{ICST}},
year = {2008},
url = {https://doi.org/10.4108/ICST.AUTONOMICS2008.4581},
doi = {10.4108/ICST.AUTONOMICS2008.4581},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/autonomics/CsorbaHH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/CsorbaHH08,
author = {M{\'{a}}t{\'{e}} J. Csorba and
Poul E. Heegaard and
Peter Herrmann},
editor = {Ren{\'{e}} Meier and
Sotirios Terzis},
title = {Cost-Efficient Deployment of Collaborating Components},
booktitle = {Distributed Applications and Interoperable Systems, 8th {IFIP} {WG}
6.1 International Conference, {DAIS} 2008, Oslo, Norway, June 4-6,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5053},
pages = {253--268},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68642-2\_20},
doi = {10.1007/978-3-540-68642-2\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dais/CsorbaHH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/TavakolifardKH08,
author = {Mozhgan Tavakolifard and
Svein J. Knapskog and
Peter Herrmann},
title = {Cross-Situation Trust Reasoning},
booktitle = {Proceedings of the 2008 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia},
pages = {67--71},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WIIAT.2008.41},
doi = {10.1109/WIIAT.2008.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/TavakolifardKH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/TavakolifardKH08,
author = {Mozhgan Tavakolifard and
Svein J. Knapskog and
Peter Herrmann},
editor = {Albert Y. Zomaya and
Matteo Cesana},
title = {Trust transferability among similar contexts},
booktitle = {Q2SWinet'08 - Proceedings of the 4th {ACM} Workshop on {Q2S} and Security
for Wireless and Mobile Networks, Vancouver, British Columbia, Canada,
October 27-28, 2008},
pages = {91--97},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1454586.1454603},
doi = {10.1145/1454586.1454603},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mswim/TavakolifardKH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifiptm/2008,
editor = {Y{\"{u}}cel Karabulut and
John Mitchell and
Peter Herrmann and
Christian Damsgaard Jensen},
title = {Trust Management {II} - Proceedings of {IFIPTM} 2008: Joint iTrust
and {PST} Conferences on Privacy, Trust Management and Security, June
18-20, 2008, Trondheim, Norway},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {263},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09428-1},
doi = {10.1007/978-0-387-09428-1},
isbn = {978-0-387-09427-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KemmererBFKHWJDHZH08,
author = {Richard A. Kemmerer and
Roland B{\"{u}}schkes and
Ali Fessi and
Hartmut K{\"{o}}nig and
Peter Herrmann and
Stephen D. Wolthusen and
Marko Jahnke and
Herv{\'{e}} Debar and
Ralph Holz and
Tanja Zseby and
Dirk Haage},
editor = {Georg Carle and
Falko Dressler and
Richard A. Kemmerer and
Hartmut K{\"{o}}nig and
Christopher Kruegel},
title = {08102 Outcome Working Group -- Situational Awareness},
booktitle = {Perspectives Workshop: Network Attack Detection and Defense, 2.3.
- 6.3.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08102},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1494},
timestamp = {Thu, 10 Jun 2021 13:02:08 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KemmererBFKHWJDHZH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/KraemerH07,
author = {Frank Alexander Kraemer and
Peter Herrmann},
title = {Transforming Collaborative Service Specifications into Efficiently
Executable State Machines},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {6},
year = {2007},
url = {https://doi.org/10.14279/tuj.eceasst.6.53},
doi = {10.14279/TUJ.ECEASST.6.53},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/KraemerH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/HerrmannK07,
author = {Peter Herrmann and
Frank Alexander Kraemer},
editor = {Sandro Etalle and
Stephen Marsh},
title = {Design of Trusted Systems with Reusable Collaboration Models},
booktitle = {Trust Management - Proceedings of {IFIPTM} 2007: Joint iTrust and
{PST} Conferences on Privacy, Trust Management and Security, July
30- August 2, 2007, Moncton, New Brunswick, Canada},
series = {{IFIP}},
volume = {238},
pages = {317--332},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-73655-6\_21},
doi = {10.1007/978-0-387-73655-6\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/HerrmannK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/HerrmannK07a,
author = {Peter Herrmann and
Frank Alexander Kraemer},
editor = {Sandro Etalle and
Stephen Marsh},
title = {Design of Trusted Systems with Reusable Collaboration Models},
booktitle = {Trust Management - Proceedings of {IFIPTM} 2007: Joint iTrust and
{PST} Conferences on Privacy, Trust Management and Security, July
30- August 2, 2007, Moncton, New Brunswick, Canada},
series = {{IFIP}},
volume = {238},
pages = {417},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-73655-6\_30},
doi = {10.1007/978-0-387-73655-6\_30},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/HerrmannK07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/KraemerBH07,
author = {Frank Alexander Kraemer and
Rolv Br{\ae}k and
Peter Herrmann},
editor = {Emmanuel Gaudin and
Elie Najm and
Rick Reed},
title = {Synthesizing Components with Sessions from Collaboration-Oriented
Service Specifications},
booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL}
Forum, Paris, France, September 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4745},
pages = {166--185},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74984-4\_11},
doi = {10.1007/978-3-540-74984-4\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/KraemerBH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ecr/HerrmannH06,
author = {Peter Herrmann and
Gaby Herrmann},
title = {Security requirement analysis of business processes},
journal = {Electron. Commer. Res.},
volume = {6},
number = {3-4},
pages = {305--335},
year = {2006},
url = {https://doi.org/10.1007/s10660-006-8677-7},
doi = {10.1007/S10660-006-8677-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ecr/HerrmannH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/KraemerH06,
author = {Frank Alexander Kraemer and
Peter Herrmann},
title = {Service Specification by Composition of Collaborations--An Example},
booktitle = {Proceedings of the 2006 {IEEE/WIC/ACM} International Conference on
Intelligent Agent Technology - Workshops, Hong Kong, China, 18-22
December 2006},
pages = {129--133},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/WI-IATW.2006.121},
doi = {10.1109/WI-IATW.2006.121},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/KraemerH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itrust/Herrmann06,
author = {Peter Herrmann},
editor = {Ketil St{\o}len and
William H. Winsborough and
Fabio Martinelli and
Fabio Massacci},
title = {Temporal Logic-Based Specification and Verification of Trust Models},
booktitle = {Trust Management, 4th International Conference, iTrust 2006, Pisa,
Italy, May 16-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3986},
pages = {105--119},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11755593\_9},
doi = {10.1007/11755593\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itrust/Herrmann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/KraemerHB06,
author = {Frank Alexander Kraemer and
Peter Herrmann and
Rolv Br{\ae}k},
editor = {Robert Meersman and
Zahir Tari},
title = {Aligning {UML} 2.0 State Machines and Temporal Logic for the Efficient
Execution of Services},
booktitle = {On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA,
and ODBASE, {OTM} Confederated International Conferences, CoopIS,
DOA, GADA, and {ODBASE} 2006, Montpellier, France, October 29 - November
3, 2006. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4276},
pages = {1613--1632},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11914952\_41},
doi = {10.1007/11914952\_41},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/KraemerHB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itrust/2005,
editor = {Peter Herrmann and
Val{\'{e}}rie Issarny and
Simon Shiu},
title = {Trust Management, Third International Conference, iTrust 2005, Paris,
France, May 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3477},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136639},
doi = {10.1007/B136639},
isbn = {3-540-26042-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itrust/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ecr/HerrmannH04,
author = {Gaby Herrmann and
Peter Herrmann},
title = {Introduction: Security and Trust in Electronic Commerce},
journal = {Electron. Commer. Res.},
volume = {4},
number = {1-2},
pages = {5--7},
year = {2004},
url = {https://doi.org/10.1023/B:ELEC.0000009347.14302.62},
doi = {10.1023/B:ELEC.0000009347.14302.62},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ecr/HerrmannH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pik/HerrmannK04,
author = {Peter Herrmann and
Heiko Krumm},
title = {Trust-Based Monitoring of Component-Structured Software},
journal = {Prax. Inf.verarb. Kommun.},
volume = {27},
number = {4},
pages = {237--245},
year = {2004},
url = {https://doi.org/10.1515/PIKO.2004.237},
doi = {10.1515/PIKO.2004.237},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pik/HerrmannK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimva/HerrmannWK04,
author = {Peter Herrmann and
Lars Wiebusch and
Heiko Krumm},
editor = {Ulrich Flegel and
Michael Meier},
title = {Vertrauensbasierte Laufzeit{\"{u}}berwachung verteilter komponentenstrukturierter
E-Commerce-Software},
booktitle = {Detection of Intrusions and Malware {\&} Vulnerability Assessment,
{GI} {SIG} {SIDAR} Workshop, {DIMVA} 2004, Dortmund, Germany, July
6.7, 2004, Proceedings},
series = {{LNI}},
volume = {{P-46}},
pages = {55--70},
publisher = {{GI}},
year = {2004},
url = {https://dl.gi.de/handle/20.500.12116/29206},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimva/HerrmannWK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/GrawH04,
author = {G{\"{u}}nter Graw and
Peter Herrmann},
editor = {Fl{\'{a}}vio Oquendo and
Brian Warboys and
Ronald Morrison},
title = {Generation and Enactment of Controllers for Business Architectures
Using {MDA}},
booktitle = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
UK, May 21-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3047},
pages = {148--166},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24769-2\_11},
doi = {10.1007/978-3-540-24769-2\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ewsa/GrawH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Herrmann03,
author = {Peter Herrmann},
editor = {Hartmut K{\"{o}}nig and
Monika Heiner and
Adam Wolisz},
title = {Formal Security Policy Verification of Distributed Component-Structured
Software},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
September 29 - October 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2767},
pages = {257--272},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39979-7\_17},
doi = {10.1007/978-3-540-39979-7\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Herrmann03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itrust/Herrmann03,
author = {Peter Herrmann},
editor = {Paddy Nixon and
Sotirios Terzis},
title = {Trust-Based Protection of Software Component Users and Designers},
booktitle = {Trust Management, First International Conference, iTrust 2003, Heraklion,
Crete, Greece, May 28-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2692},
pages = {75--90},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44875-6\_6},
doi = {10.1007/3-540-44875-6\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itrust/Herrmann03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrawH04,
author = {G{\"{u}}nter Graw and
Peter Herrmann},
editor = {Frank S. de Boer and
Marcello M. Bonsangue},
title = {Transformation and Verification of Executable {UML} Models},
booktitle = {Proceedings of the Workshop on the Compositional Verification of {UML}
Models, {CVUML} 2003, San Francisco, CA, USA, October 21, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {101},
pages = {3--24},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.006},
doi = {10.1016/J.ENTCS.2004.09.006},
timestamp = {Thu, 08 Dec 2022 23:10:36 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrawH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/HerrmannKDG02,
author = {Peter Herrmann and
Heiko Krumm and
Olaf Dr{\"{o}}gehorn and
Walter Geisselhardt},
title = {Framework and Tool Support for Formal Verification of Highspeed Transfer
Protocol Designs},
journal = {Telecommun. Syst.},
volume = {20},
number = {3-4},
pages = {291--310},
year = {2002},
url = {https://doi.org/10.1023/A:1016501430360},
doi = {10.1023/A:1016501430360},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/telsys/HerrmannKDG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmi/FrerichsHHWHQH02,
author = {In{\'{e}}z Frerichs and
Jose Hinz and
Peter Herrmann and
Gerald Weisser and
G{\"{u}}nter Hahn and
Michael Quintel and
Gerhard Hellige},
title = {Regional Lung Perfusion as Determined by Electrical Impedance Tomography
in Comparison with Electron Beam {CT} Imaging},
journal = {{IEEE} Trans. Medical Imaging},
volume = {21},
number = {6},
pages = {646--652},
year = {2002},
url = {https://doi.org/10.1109/TMI.2002.800585},
doi = {10.1109/TMI.2002.800585},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmi/FrerichsHHWHQH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i3e/HerrmannWK02,
author = {Peter Herrmann and
Lars Wiebusch and
Heiko Krumm},
editor = {Jo{\~{a}}o L. Monteiro and
Paula M. C. Swatman and
Lu{\'{\i}}s Valadares Tavares},
title = {State-Based Security Policy Enforcement in Component-Based E-Commerce
Applications},
booktitle = {Towards The Knowledge Society: eCommerce, eBusiness, and eGovernment,
The Second {IFIP} Conference on E-Commerce, E-Business, E-Government
{(I3E} 2002), October 7-9, 2002, Lisbon, Portugal},
series = {{IFIP} Conference Proceedings},
volume = {233},
pages = {195--209},
publisher = {Kluwer},
year = {2002},
timestamp = {Wed, 09 Oct 2002 13:14:37 +0200},
biburl = {https://dblp.org/rec/conf/i3e/HerrmannWK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/Herrmann01,
author = {Peter Herrmann},
title = {Information Flow Analysis of Component-Structured Applications},
booktitle = {17th Annual Computer Security Applications Conference {(ACSAC} 2001),
11-14 December 2001, New Orleans, Louisiana, {USA}},
pages = {45--54},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ACSAC.2001.991520},
doi = {10.1109/ACSAC.2001.991520},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/Herrmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/HerrmannWK01,
author = {Peter Herrmann and
Lars Wiebusch and
Heiko Krumm},
editor = {Krzysztof Zielinski and
Kurt Geihs and
Aleksander Laurentowski},
title = {Tool-Assisted Security Assessment of Distributed Applications},
booktitle = {New Developments in Distributed Applications and Interoperable Systems,
{IFIP} {TC6} / {WG6.1} Third International Working Conference on Distributed
Applications and Interoperable Systems, September 17-19, 2001, Krak{\'{o}}w,
Poland},
series = {{IFIP} Conference Proceedings},
volume = {198},
pages = {289--294},
publisher = {Kluwer},
year = {2001},
url = {https://doi.org/10.1007/0-306-47005-5\_24},
doi = {10.1007/0-306-47005-5\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dais/HerrmannWK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/HerrmannK01,
author = {Peter Herrmann and
Heiko Krumm},
title = {Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured
Applications},
booktitle = {Proceedings of the Sixth {IEEE} Symposium on Computers and Communications
{(ISCC} 2001), 3-5 July 2001, Hammamet, Tunisia},
pages = {2--8},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISCC.2001.935347},
doi = {10.1109/ISCC.2001.935347},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/HerrmannK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/HerrmannK00,
author = {Peter Herrmann and
Heiko Krumm},
title = {A framework for modeling transfer protocols},
journal = {Comput. Networks},
volume = {34},
number = {2},
pages = {317--337},
year = {2000},
url = {https://doi.org/10.1016/S1389-1286(00)00089-X},
doi = {10.1016/S1389-1286(00)00089-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/HerrmannK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GrawHK00,
author = {G{\"{u}}nter Graw and
Peter Herrmann and
Heiko Krumm},
title = {Verification of UML-Based Real-Time System Designs by Means of cTLA},
booktitle = {3rd International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2000), 15-17 March 2000, Newport Beach, CA, {USA}},
pages = {86--95},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ISORC.2000.839515},
doi = {10.1109/ISORC.2000.839515},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/GrawHK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/GrawHK99,
author = {G{\"{u}}nter Graw and
Peter Herrmann and
Heiko Krumm},
editor = {Lea Kutvonen and
Hartmut K{\"{o}}nig and
Martti Tienari},
title = {Constraint-oriented formal modelling of OO-systems},
booktitle = {Distributed Applications and Interoperable Systems II, Second {IFIP}
{WG} 6.1 International Working Conference on Distributed Applications
and Interoperable Systems, June 28 - July 1, 1999, Helsinki, Finland},
series = {{IFIP} Conference Proceedings},
volume = {143},
pages = {345},
publisher = {Kluwer},
year = {1999},
timestamp = {Mon, 21 Oct 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dais/GrawHK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/GrawHK99,
author = {G{\"{u}}nter Graw and
Peter Herrmann and
Heiko Krumm},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Composing Object-Oriented Specifications and Verifications with cTLA},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {318},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/GrawHK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HerrmannN99,
author = {Peter Herrmann and
Manfred No{\"{e}}l},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Formale Verifikation eines Reglers f{\"{u}}r Fahrbahnmarkierungsmaschinen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {83--92},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Thu, 27 Mar 2003 09:47:32 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HerrmannN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HerrmannK99,
author = {Peter Herrmann and
Heiko Krumm},
title = {Formal Hazard Analysis of Hybrid Systems in cTLA},
booktitle = {The Eighteenth Symposium on Reliable Distributed Systems, {SRDS} 1999,
Lausanne, Switzerland, October 19-22, 1999, Proceedings},
pages = {68--77},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/RELDIS.1999.805084},
doi = {10.1109/RELDIS.1999.805084},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/HerrmannK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0095221,
author = {Peter Herrmann},
title = {Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen},
series = {{DUV} Informatik},
publisher = {{DUV}},
year = {1998},
url = {https://d-nb.info/952941902},
isbn = {978-3-8244-2101-5},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0095221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pik/HerrmannK98,
author = {Peter Herrmann and
Heiko Krumm},
title = {Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework},
journal = {Prax. Inf.verarb. Kommun.},
volume = {21},
number = {2},
pages = {79--88},
year = {1998},
url = {http://www.degruyter.com/view/j/piko.1998.21.issue-2/piko.1998.21.2.65/piko.1998.21.2.65.xml},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pik/HerrmannK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/HerrmannK98,
author = {Peter Herrmann and
Heiko Krumm},
title = {Modular specification and verification of {XTP}},
journal = {Telecommun. Syst.},
volume = {9},
number = {2},
pages = {207--221},
year = {1998},
url = {https://doi.org/10.1023/A:1019195806819},
doi = {10.1023/A:1019195806819},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/telsys/HerrmannK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/DrogehornH98,
author = {Olaf Dr{\"{o}}gehorn and
Peter Herrmann},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Werkzeugunterst{\"{u}}tzte Protokollverifikation mit dem Transferprotokoll-Framework},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {48--59},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 12:16:22 +0200},
biburl = {https://dblp.org/rec/conf/fbt/DrogehornH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/GruhnHK98,
author = {Volker Gruhn and
Peter Herrmann and
Heiko Krumm},
title = {User-Defined Telecooperation Services},
booktitle = {International Conference on Parallel and Distributed Systems, {ICPADS}
'98, Tainan, Taiwan, December 14-16, 1998},
pages = {590--598},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICPADS.1998.741141},
doi = {10.1109/ICPADS.1998.741141},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/GruhnHK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/HerrmannGK98,
author = {Peter Herrmann and
G{\"{u}}nter Graw and
Heiko Krumm},
title = {Compositional Specification and Structured Verification of Hybrid
Systems in cTLA},
booktitle = {1st International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan},
pages = {335},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ISORC.1998.666805},
doi = {10.1109/ISORC.1998.666805},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/HerrmannGK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/HerrmannK95,
author = {Peter Herrmann and
Heiko Krumm},
editor = {Piotr Dembinski and
Marek Sredniawa},
title = {Re-usable verification elements for high-speed transfer protocol configurations},
booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of
the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Warsaw, Poland, June 1995},
series = {{IFIP} Conference Proceedings},
volume = {38},
pages = {171--186},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/HerrmannK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/HerrmannK94,
author = {Peter Herrmann and
Heiko Krumm},
editor = {Son T. Vuong and
Samuel T. Chanson},
title = {Compositional specification and verification of high-speed transfer
protocols},
booktitle = {Protocol Specification, Testing and Verification XIV, Proceedings
of the Fourteenth {IFIP} {WG6.1} International Symposium on Protocol
Specification, Testing and Verification, Vancouver, BC, Canada, 1994},
series = {{IFIP} Conference Proceedings},
volume = {1},
pages = {339--346},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/HerrmannK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Herrmann83a,
author = {Peter Herrmann},
title = {Grundlagen einer rechnerunterst{\"{u}}tzten Investitionsplanung
und Wirtschaftlichkeitsrechnung f{\"{u}}r flexible Fertigung},
school = {{RWTH} Aachen University, Germany},
year = {1983},
url = {https://d-nb.info/840736541},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Herrmann83a.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-04-24 22:56 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:
