Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tiziana Margaria
@article{DBLP:journals/sensors/GuevaraRSBM24,
author = {Ivan Guevara and
Stephen Ryan and
Amandeep Singh and
Colm Brandon and
Tiziana Margaria},
title = {Edge IoT Prototyping Using Model-Driven Representations: {A} Use Case
for Smart Agriculture},
journal = {Sensors},
volume = {24},
number = {2},
pages = {495},
year = {2024},
url = {https://doi.org/10.3390/s24020495},
doi = {10.3390/S24020495},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/GuevaraRSBM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecbseerc/2023,
editor = {Jan Kofron and
Tiziana Margaria and
Cristina Seceleanu},
title = {Engineering of Computer-Based Systems - 8th International Conference,
{ECBS} 2023, V{\"{a}}ster{\aa}s, Sweden, October 16-18, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14390},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-49252-5},
doi = {10.1007/978-3-031-49252-5},
isbn = {978-3-031-49251-8},
timestamp = {Thu, 07 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-10684,
author = {Bernhard Steffen and
Tiziana Margaria and
Alexander Bainczyk and
Steve Bo{\ss}elmann and
Daniel Busch and
Marc Driessen and
Markus Frohme and
Falk Howar and
Sven J{\"{o}}rges and
Marvin Krause and
Marco Krumrey and
Anna{-}Lena Lamprecht and
Michael Lybecait and
Alnis Murtovi and
Stefan Naujokat and
Johannes Neubauer and
Alexander Schieweck and
Jonas Sch{\"{u}}rmann and
Steven Smyth and
Barbara Steffen and
Fabian Storek and
Tim Tegeler and
Sebastian Teumert and
Dominic Wirkner and
Philip Zweihoff},
title = {Language-Driven Engineering An Interdisciplinary Software Development
Paradigm},
journal = {CoRR},
volume = {abs/2402.10684},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.10684},
doi = {10.48550/ARXIV.2402.10684},
eprinttype = {arXiv},
eprint = {2402.10684},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-10684.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcss/RehmanJQMJ23,
author = {Muhammad Rehman and
Ibrahim Tariq Javed and
Kashif Naseer Qureshi and
Tiziana Margaria and
Gwanggil Jeon},
title = {A Cyber Secure Medical Management System by Using Blockchain},
journal = {{IEEE} Trans. Comput. Soc. Syst.},
volume = {10},
number = {4},
pages = {2123--2136},
year = {2023},
url = {https://doi.org/10.1109/TCSS.2022.3215455},
doi = {10.1109/TCSS.2022.3215455},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcss/RehmanJQMJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/SinghMD23,
author = {Amandeep Singh and
Tiziana Margaria and
Florenc Demrozi},
title = {CNN-based Human Activity Recognition on Edge Computing Devices},
booktitle = {{IEEE} International Conference on Omni-layer Intelligent Systems,
{COINS} 2023, Berlin, Germany, July 23-25, 2023},
pages = {1--4},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/COINS57856.2023.10189270},
doi = {10.1109/COINS57856.2023.10189270},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coins/SinghMD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BreathnachMSOCM23,
author = {Ciara Breathnach and
Rachel Murphy and
Alexander Schieweck and
Enda O'Shea and
Stuart Clancy and
Tiziana Margaria},
editor = {Hossain Shahriar and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Moushumi Sharmin and
Dave Towey and
A. K. M. Jahangir Alam Majumder and
Hiroki Kashiwazaki and
Ji{-}Jiang Yang and
Michiharu Takemoto and
Nazmus Sakib and
Ryohei Banno and
Sheikh Iqbal Ahamed},
title = {Curating History Datasets and Training Materials as {OER:} An Experience},
booktitle = {47th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2023, Torino, Italy, June 26-30, 2023},
pages = {1570--1575},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/COMPSAC57700.2023.00242},
doi = {10.1109/COMPSAC57700.2023.00242},
timestamp = {Mon, 07 Aug 2023 15:56:21 +0200},
biburl = {https://dblp.org/rec/conf/compsac/BreathnachMSOCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DemroziMMS23,
author = {Florenc Demrozi and
Marina Marchisio and
Tiziana Margaria and
Matteo Sacchet},
editor = {Hossain Shahriar and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Moushumi Sharmin and
Dave Towey and
A. K. M. Jahangir Alam Majumder and
Hiroki Kashiwazaki and
Ji{-}Jiang Yang and
Michiharu Takemoto and
Nazmus Sakib and
Ryohei Banno and
Sheikh Iqbal Ahamed},
title = {Experiences from the first delivery of a new immersive software engineering
course: mathematical foundations and data analytics},
booktitle = {47th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2023, Torino, Italy, June 26-30, 2023},
pages = {1576--1581},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/COMPSAC57700.2023.00243},
doi = {10.1109/COMPSAC57700.2023.00243},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/DemroziMMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/PerucconLGMS23,
author = {Andy Peruccon and
Roisin Lyons and
Amalia de G{\"{o}}tzen and
Tiziana Margaria and
Luca Simeone},
editor = {Hossain Shahriar and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Moushumi Sharmin and
Dave Towey and
A. K. M. Jahangir Alam Majumder and
Hiroki Kashiwazaki and
Ji{-}Jiang Yang and
Michiharu Takemoto and
Nazmus Sakib and
Ryohei Banno and
Sheikh Iqbal Ahamed},
title = {{BC4ECO} - Using Visual Tools for a Shared Understanding and Pedagogical
Approach across an Interdisciplinary Consortium},
booktitle = {47th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2023, Torino, Italy, June 26-30, 2023},
pages = {1890--1895},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/COMPSAC57700.2023.10223442},
doi = {10.1109/COMPSAC57700.2023.10223442},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/PerucconLGMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BrandonM22,
author = {Colm Brandon and
Tiziana Margaria},
title = {Low-Code/No-Code Artificial Intelligence Platforms for the Health
Informatics Domain},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {82},
year = {2022},
url = {https://doi.org/10.14279/tuj.eceasst.82.1221},
doi = {10.14279/TUJ.ECEASST.82.1221},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/BrandonM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/SinghMM22,
author = {Amandeep Singh and
Olga Minguett and
Tiziana Margaria},
title = {Binary Decision Diagrams and Composite Classifiers for Analysis of
Imbalanced Medical Datasets},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {82},
year = {2022},
url = {https://doi.org/10.14279/tuj.eceasst.82.1227},
doi = {10.14279/TUJ.ECEASST.82.1227},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/SinghMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/MargariaS22,
author = {Tiziana Margaria and
Alexander Schieweck},
title = {Active Behavior Mining for Digital Twins Extraction},
journal = {{IT} Prof.},
volume = {24},
number = {4},
pages = {74--80},
year = {2022},
url = {https://doi.org/10.1109/MITP.2022.3193044},
doi = {10.1109/MITP.2022.3193044},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/MargariaS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/MinervaPM22,
author = {Roberto Minerva and
Charalampos Z. Patrikakis and
Tiziana Margaria},
title = {Digitally Cloning the Physical},
journal = {{IT} Prof.},
volume = {24},
number = {6},
pages = {18--19},
year = {2022},
url = {https://doi.org/10.1109/MITP.2022.3224263},
doi = {10.1109/MITP.2022.3224263},
timestamp = {Sun, 29 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/MinervaPM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/osnm/AbbasiMQJMC22,
author = {Faima Abbasi and
Muhammad Muzammal and
Kashif Naseer Qureshi and
Ibrahim Tariq Javed and
Tiziana Margaria and
No{\"{e}}l Crespi},
title = {Exploiting optimised communities in directed weighted graphs for link
prediction},
journal = {Online Soc. Networks Media},
volume = {31},
pages = {100222},
year = {2022},
url = {https://doi.org/10.1016/j.osnem.2022.100222},
doi = {10.1016/J.OSNEM.2022.100222},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/osnm/AbbasiMQJMC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LegayM22,
author = {Axel Legay and
Tiziana Margaria},
title = {Tools and algorithms for the construction and analysis of systems:
a special issue for {TACAS} 2017},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {4},
pages = {611--612},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00664-0},
doi = {10.1007/S10009-022-00664-0},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LegayM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/DohertyMSCBM22,
author = {Adam J. Doherty and
Rachel Murphy and
Alexander Schieweck and
Stuart Clancy and
Ciara Breathnach and
Tiziana Margaria},
editor = {Shusaku Tsumoto and
Yukio Ohsawa and
Lei Chen and
Dirk Van den Poel and
Xiaohua Hu and
Yoichi Motomura and
Takuya Takagi and
Lingfei Wu and
Ying Xie and
Akihiro Abe and
Vijay Raghavan},
title = {CensusIRL: Historical census data preparation with {MDD} support},
booktitle = {{IEEE} International Conference on Big Data, Big Data 2022, Osaka,
Japan, December 17-20, 2022},
pages = {2507--2514},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/BigData55660.2022.10021106},
doi = {10.1109/BIGDATA55660.2022.10021106},
timestamp = {Fri, 18 Aug 2023 17:39:03 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/DohertyMSCBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SchieweckMKBM22,
author = {Alexander Schieweck and
Rachel Murphy and
Rafflesia Khan and
Ciara Breathnach and
Tiziana Margaria},
editor = {Hong Va Leong and
Sahra Sedigh Sarvestani and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Hiroki Kashiwazaki and
Dave Towey and
Ji{-}Jiang Yang and
Hossain Shahriar},
title = {Evolution of the Historian Data Entry Application: Supporting Transcribathons
in the Digital Humanities through {MDD}},
booktitle = {46th {IEEE} Annual Computers, Software, and Applications Conferenc,
{COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022},
pages = {177--186},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/COMPSAC54236.2022.00033},
doi = {10.1109/COMPSAC54236.2022.00033},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SchieweckMKBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FitzgeraldLMWG22,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Tiziana Margaria and
Jim Woodcock and
Cl{\'{a}}udio Gomes},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Engineering of Digital Twins for Cyber-Physical Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {3--8},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_1},
doi = {10.1007/978-3-031-19762-8\_1},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/FitzgeraldLMWG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SmythPSKMHS22,
author = {Steven Smyth and
Jette Petzold and
Jonas Sch{\"{u}}rmann and
Florian Karbus and
Tiziana Margaria and
Reinhard von Hanxleden and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Executable Documentation: Test-First in Action},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {135--156},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_8},
doi = {10.1007/978-3-031-19756-7\_8},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SmythPSKMHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaPM22,
author = {Tiziana Margaria and
Dirk Pesch and
Alan McGibney},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Digital Thread in Smart Manufacturing},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {179--183},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_12},
doi = {10.1007/978-3-031-19762-8\_12},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaPM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChaudharyGJSGPM22,
author = {Hafiz Ahmad Awais Chaudhary and
Ivan Guevara and
Jobish John and
Amandeep Singh and
Amrita Ghosal and
Dirk Pesch and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model-Driven Engineering in Digital Thread Platforms: {A} Practical
Use Case and Future Challenges},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {195--207},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_14},
doi = {10.1007/978-3-031-19762-8\_14},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ChaudharyGJSGPM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaWBBTS22,
author = {Tiziana Margaria and
Dominic Wirkner and
Daniel Busch and
Alexander Bainczyk and
Tim Tegeler and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{DIME} Days (ISoLA 2022 Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {367--373},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_20},
doi = {10.1007/978-3-031-19756-7\_20},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaWBBTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GuevaraCM22,
author = {Ivan Guevara and
Hafiz Ahmad Awais Chaudhary and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {406--421},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_29},
doi = {10.1007/978-3-031-19762-8\_29},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GuevaraCM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/RascheRM22,
author = {Christoph Rasche and
Adriana A. Reinecke and
Tiziana Margaria},
editor = {Mario A. Pfannstiel},
title = {K{\"{u}}nstliche Intelligenz im Gesundheitswesen als Kernkompetenz?
Status quo, Entwicklungslinien und disruptives Potenzial},
booktitle = {K{\"{u}}nstliche Intelligenz im Gesundheitswesen: Entwicklungen,
Beispiele und Perspektiven},
pages = {49--79},
publisher = {Springer Fachmedien Wiesbaden},
year = {2022},
url = {https://doi.org/10.1007/978-3-658-33597-7\_2},
doi = {10.1007/978-3-658-33597-7\_2},
timestamp = {Tue, 26 Jul 2022 15:10:19 +0200},
biburl = {https://dblp.org/rec/books/sp/22/RascheRM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2022-1,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6},
doi = {10.1007/978-3-031-19849-6},
isbn = {978-3-031-19848-9},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2022-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2022-2,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7},
doi = {10.1007/978-3-031-19756-7},
isbn = {978-3-031-19755-0},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2022-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2022-3,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8},
doi = {10.1007/978-3-031-19759-8},
isbn = {978-3-031-19758-1},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2022-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2022-4,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8},
doi = {10.1007/978-3-031-19762-8},
isbn = {978-3-031-19761-1},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2022-4.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/JavedAMCQ21,
author = {Ibrahim Tariq Javed and
Fares Alharbi and
Tiziana Margaria and
No{\"{e}}l Crespi and
Kashif Naseer Qureshi},
title = {PETchain: {A} Blockchain-Based Privacy Enhancing Technology},
journal = {{IEEE} Access},
volume = {9},
pages = {41129--41143},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3064896},
doi = {10.1109/ACCESS.2021.3064896},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/JavedAMCQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ChaudharyM21,
author = {Hafiz Ahmad Awais Chaudhary and
Tiziana Margaria},
title = {DSL-based Interoperability and Integration in the Smart Manufacturing
Digital Thread},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {81},
year = {2021},
url = {https://doi.org/10.14279/tuj.eceasst.81.1198},
doi = {10.14279/TUJ.ECEASST.81.1198},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ChaudharyM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/GossenMS21,
author = {Frederik Gossen and
Tiziana Margaria and
Bernhard Steffen},
title = {Formal Methods Boost Experimental Performance for Explainable {AI}},
journal = {{IT} Prof.},
volume = {23},
number = {6},
pages = {8--12},
year = {2021},
url = {https://doi.org/10.1109/MITP.2021.3123495},
doi = {10.1109/MITP.2021.3123495},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/GossenMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MargariaS21,
author = {Tiziana Margaria and
Alexander Schieweck},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Towards Engineering Digital Twins by Active Behaviour Mining},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {138--163},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_8},
doi = {10.1007/978-3-030-91384-7\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MargariaS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BreathnachMM21,
author = {Ciara Breathnach and
Rachel Murphy and
Tiziana Margaria},
title = {Transcribathons as Practice-Based Learning for Historians and Computer
Scientists},
booktitle = {{IEEE} 45th Annual Computers, Software, and Applications Conference,
{COMPSAC} 2021, Madrid, Spain, July 12-16, 2021},
pages = {1131--1136},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/COMPSAC51774.2021.00155},
doi = {10.1109/COMPSAC51774.2021.00155},
timestamp = {Thu, 23 Sep 2021 08:33:11 +0200},
biburl = {https://dblp.org/rec/conf/compsac/BreathnachMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/JohnGMP21,
author = {Jobish John and
Amrita Ghosal and
Tiziana Margaria and
Dirk Pesch},
title = {DSLs for Model Driven Development of Secure Interoperable Automation
Systems with EdgeX Foundry},
booktitle = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
Antibes, France, September 8-10, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FDL53530.2021.9568378},
doi = {10.1109/FDL53530.2021.9568378},
timestamp = {Fri, 29 Oct 2021 16:42:37 +0200},
biburl = {https://dblp.org/rec/conf/fdl/JohnGMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChaudharyM21,
author = {Hafiz Ahmad Awais Chaudhary and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Integrating External Services in {DIME}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {41--54},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_3},
doi = {10.1007/978-3-030-89159-6\_3},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ChaudharyM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SteffenMRRM21,
author = {Barbara Steffen and
Frederik M{\"{o}}ller and
Alex Rotgang and
Stephen Ryan and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Living Canvases},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {95--116},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_7},
doi = {10.1007/978-3-030-89159-6\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SteffenMRRM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JohnGMP21,
author = {Jobish John and
Amrita Ghosal and
Tiziana Margaria and
Dirk Pesch},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {DSLs and Middleware Platforms in a Model-Driven Development Approach
for Secure Predictive Maintenance Systems in Smart Factories},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {146--161},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_10},
doi = {10.1007/978-3-030-89159-6\_10},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JohnGMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaCGRS21,
author = {Tiziana Margaria and
Hafiz Ahmad Awais Chaudhary and
Ivan Guevara and
Stephen Ryan and
Alexander Schieweck},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Interoperability Challenge: Building a Model-Driven Digital Thread
Platform for {CPS}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {393--413},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_25},
doi = {10.1007/978-3-030-89159-6\_25},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaCGRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/AlamriJM21,
author = {Bandar Alamri and
Ibrahim Tariq Javed and
Tiziana Margaria},
title = {A GDPR-Compliant Framework for IoT-Based Personal Health Records Using
Blockchain},
booktitle = {11th {IFIP} International Conference on New Technologies, Mobility
and Security, {NTMS} 2021, Paris, France, April 19-21, 2021},
pages = {1--5},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/NTMS49979.2021.9432661},
doi = {10.1109/NTMS49979.2021.9432661},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ntms/AlamriJM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2020-4,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12479},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83723-5},
doi = {10.1007/978-3-030-83723-5},
isbn = {978-3-030-83722-8},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2020-4.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2021,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6},
doi = {10.1007/978-3-030-89159-6},
isbn = {978-3-030-89158-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/SchieweckM20,
author = {Alexander Schieweck and
Tiziana Margaria},
title = {Testing Interconnected Systems with Behavior Mining},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {79},
year = {2020},
url = {https://doi.org/10.14279/tuj.eceasst.79.1118},
doi = {10.14279/TUJ.ECEASST.79.1118},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/SchieweckM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/MargariaK20,
author = {Tiziana Margaria and
Joseph Kiniry},
title = {Welcome to Formal Methods in Industry},
journal = {{IT} Prof.},
volume = {22},
number = {1},
pages = {9--12},
year = {2020},
url = {https://doi.org/10.1109/MITP.2020.2968715},
doi = {10.1109/MITP.2020.2968715},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/MargariaK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/GossenMS20,
author = {Frederik Gossen and
Tiziana Margaria and
Bernhard Steffen},
title = {Towards Explainability in Machine Learning: The Formal Methods Way},
journal = {{IT} Prof.},
volume = {22},
number = {4},
pages = {8--12},
year = {2020},
url = {https://doi.org/10.1109/MITP.2020.3005640},
doi = {10.1109/MITP.2020.3005640},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itpro/GossenMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/OSheaKBM20,
author = {Enda O'Shea and
Rafflesia Khan and
Ciara Breathnach and
Tiziana Margaria},
editor = {Xintao Wu and
Chris Jermaine and
Li Xiong and
Xiaohua Hu and
Olivera Kotevska and
Siyuan Lu and
Weija Xu and
Srinivas Aluru and
Chengxiang Zhai and
Eyhab Al{-}Masri and
Zhiyuan Chen and
Jeff Saltz},
title = {Towards Automatic Data Cleansing and Classification of Valid Historical
Data An Incremental Approach Based on {MDD}},
booktitle = {2020 {IEEE} International Conference on Big Data {(IEEE} BigData 2020),
Atlanta, GA, USA, December 10-13, 2020},
pages = {1914--1923},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/BigData50022.2020.9378148},
doi = {10.1109/BIGDATA50022.2020.9378148},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/OSheaKBM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MarchisioMS20,
author = {Marina Marchisio and
Tiziana Margaria and
Matteo Sacchet},
title = {Automatic Formative Assessment in Computer Science: Guidance to Model-Driven
Design},
booktitle = {44th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2020, Madrid, Spain, July 13-17, 2020},
pages = {201--206},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/COMPSAC48688.2020.00035},
doi = {10.1109/COMPSAC48688.2020.00035},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/MarchisioMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SaayM20,
author = {Salim Saay and
Tiziana Margaria},
title = {Model-Driven-Design of NREn Bridging Application: Case Study AfgREN},
booktitle = {44th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2020, Madrid, Spain, July 13-17, 2020},
pages = {1522--1527},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/COMPSAC48688.2020.00-39},
doi = {10.1109/COMPSAC48688.2020.00-39},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SaayM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edge2/AlamriJM20,
author = {Bandar Alamri and
Ibrahim Tariq Javed and
Tiziana Margaria},
editor = {Ajay Katangur and
Shih{-}Chun Lin and
Jinpeng Wei and
Shuhui Yang and
Liang{-}Jie Zhang},
title = {Preserving Patients' Privacy in Medical IoT Using Blockchain},
booktitle = {Edge Computing - {EDGE} 2020 - 4th International Conference, Held
as Part of the Services Conference Federation, {SCF} 2020, Honolulu,
HI, USA, September 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12407},
pages = {103--110},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59824-2\_9},
doi = {10.1007/978-3-030-59824-2\_9},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edge2/AlamriJM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/NaredoRGMUT20,
author = {Enrique Naredo and
Conor Ryan and
Ivan Guevara and
Tiziana Margaria and
Paulo Urbano and
Leonardo Trujillo},
editor = {Carlos Artemio Coello Coello},
title = {General controllers evolved through grammatical evolution with a divergent
search},
booktitle = {{GECCO} '20: Genetic and Evolutionary Computation Conference, Companion
Volume, Canc{\'{u}}n, Mexico, July 8-12, 2020},
pages = {243--244},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377929.3390059},
doi = {10.1145/3377929.3390059},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gecco/NaredoRGMUT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/SaayM20,
author = {Salim Saay and
Tiziana Margaria},
title = {{XMDD} as Key Enabling Technology for Integration of Large scale eLearning
Based on NRENs},
booktitle = {20th {IEEE} International Conference on Advanced Learning Technologies,
{ICALT} 2020, Tartu, Estonia, July 6-9, 2020},
pages = {45--46},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICALT49669.2020.00020},
doi = {10.1109/ICALT49669.2020.00020},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalt/SaayM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FitzgeraldLMW20,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Tiziana Margaria and
Jim Woodcock},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Engineering of Digital Twins for Cyber-Physical Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12479},
pages = {49--53},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83723-5\_4},
doi = {10.1007/978-3-030-83723-5\_4},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/FitzgeraldLMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/edu/LamprechtM20,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {Arthur Tatnall},
title = {Modeling of Scientific Workflows},
booktitle = {Encyclopedia of Education and Information Technologies},
pages = {1--8},
publisher = {Springer International Publishing},
year = {2020},
url = {https://doi.org/10.1007/978-3-319-60013-0\_210-1},
doi = {10.1007/978-3-319-60013-0\_210-1},
timestamp = {Tue, 17 Aug 2021 08:53:17 +0200},
biburl = {https://dblp.org/rec/reference/edu/LamprechtM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/edu/MargariaL20,
author = {Tiziana Margaria and
Anna{-}Lena Lamprecht},
editor = {Arthur Tatnall},
title = {Modeling of Games and Game Strategies},
booktitle = {Encyclopedia of Education and Information Technologies},
pages = {1--12},
publisher = {Springer International Publishing},
year = {2020},
url = {https://doi.org/10.1007/978-3-319-60013-0\_209-1},
doi = {10.1007/978-3-319-60013-0\_209-1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/edu/MargariaL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/edu/MargariaS20,
author = {Tiziana Margaria and
Bernhard Steffen},
editor = {Arthur Tatnall},
title = {eXtreme Model-Driven Development {(XMDD)} Technologies as a Hands-On
Approach to Software Development Without Coding},
booktitle = {Encyclopedia of Education and Information Technologies},
pages = {1--19},
publisher = {Springer International Publishing},
year = {2020},
url = {https://doi.org/10.1007/978-3-319-60013-0\_208-1},
doi = {10.1007/978-3-319-60013-0\_208-1},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/edu/MargariaS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2020-1,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4},
doi = {10.1007/978-3-030-61362-4},
isbn = {978-3-030-61361-7},
timestamp = {Thu, 29 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/2020-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2020-2,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6},
doi = {10.1007/978-3-030-61470-6},
isbn = {978-3-030-61469-0},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/2020-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2020-3,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6},
doi = {10.1007/978-3-030-61467-6},
isbn = {978-3-030-61466-9},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/2020-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BreathnachICM19,
author = {Ciara Breathnach and
Najhan M. Ibrahim and
Stuart Clancy and
Tiziana Margaria},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {Towards Model Checking Product Lines in the Digital Humanities: An
Application to Historical Data},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {338--364},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_20},
doi = {10.1007/978-3-030-30985-5\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BreathnachICM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MargariaS19,
author = {Tiziana Margaria and
Alexander Schieweck},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {The Digital Thread in Industry 4.0},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {3--24},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_1},
doi = {10.1007/978-3-030-34968-4\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/MargariaS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbsi/NetoSFM19,
author = {Geraldo Torres G. Neto and
Wylliams Barbosa Santos and
Roberta A. de A. Fagundes and
Tiziana Margaria},
editor = {F{\'{a}}bio Gomes Rocha and
Igor Vasconcelos and
Rodrigo Pereira dos Santos and
Davi Viana and
Scheila de Avila e Silva},
title = {Towards an Understanding of Value Creation in Agile Software Development},
booktitle = {Proceedings of the {XV} Brazilian Symposium on Information Systems,
{SBSI} 2019, Aracaju, Brazil, May 20-24, 2019},
pages = {46:1--46:8},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3330204.3330256},
doi = {10.1145/3330204.3330256},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbsi/NetoSFM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tale/ToweyRCDTM19,
author = {Dave Towey and
Sorel Reisman and
Henry C. B. Chan and
Claudio Demartini and
Edmundo Tovar and
Tiziana Margaria},
title = {{OER:} Six Perspectives on Global Misconceptions and Challenges},
booktitle = {{IEEE} International Conference on Engineering, Technology and Education,
{TALE} 2019, Yogyakarta, Indonesia, December 10-13, 2019},
pages = {1--7},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/TALE48000.2019.9225943},
doi = {10.1109/TALE48000.2019.9225943},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tale/ToweyRCDTM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/GossenMNS19,
author = {Frederik Gossen and
Tiziana Margaria and
Johannes Neubauer and
Bernhard Steffen},
editor = {Francesco Flammini},
title = {A Model-Driven and Generative Approach to Holistic Security},
booktitle = {Resilience of Cyber-Physical Systems, From Risk Modelling to Threat
Counteraction},
pages = {123--147},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-95597-1\_6},
doi = {10.1007/978-3-319-95597-1\_6},
timestamp = {Fri, 01 Nov 2019 13:32:04 +0100},
biburl = {https://dblp.org/rec/books/sp/19/GossenMNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/SteffenGNM19,
author = {Bernhard Steffen and
Frederik Gossen and
Stefan Naujokat and
Tiziana Margaria},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Language-Driven Engineering: From General-Purpose to Purpose-Specific
Languages},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {311--344},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_17},
doi = {10.1007/978-3-319-91908-9\_17},
timestamp = {Tue, 12 Sep 2023 07:58:41 +0200},
biburl = {https://dblp.org/rec/series/lncs/SteffenGNM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018steffen,
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22348-9},
doi = {10.1007/978-3-030-22348-9},
isbn = {978-3-030-22347-2},
timestamp = {Wed, 26 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2018steffen.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tetc/LambertiMC18,
author = {Fabrizio Lamberti and
Tiziana Margaria and
Henry C. B. Chan},
title = {Guest Editorial: Special Section on Computing Education {\&} Learning
Technologies},
journal = {{IEEE} Trans. Emerg. Top. Comput.},
volume = {6},
number = {1},
pages = {5--6},
year = {2018},
url = {https://doi.org/10.1109/TETC.2017.2769223},
doi = {10.1109/TETC.2017.2769223},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tetc/LambertiMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MargariaGL18,
author = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {Models, Mindsets, Meta: The What, the How, and the Why Not?},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {3--13},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_1},
doi = {10.1007/978-3-030-22348-9\_1},
timestamp = {Wed, 26 Jun 2019 10:29:01 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MargariaGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Margaria18,
author = {Tiziana Margaria},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {Making Sense of Complex Applications: Constructive Design, Features,
and Questions},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {129--148},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_9},
doi = {10.1007/978-3-030-22348-9\_9},
timestamp = {Wed, 26 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Margaria18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MargariaC18,
author = {Tiziana Margaria and
Henry C. B. Chan},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Message from the {CELT} 2018 Symposium Co-Chairs},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1},
pages = {979},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.00173},
doi = {10.1109/COMPSAC.2018.00173},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/MargariaC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GossenKML18,
author = {Frederik Gossen and
Dennis K{\"{u}}hn and
Tiziana Margaria and
Anna{-}Lena Lamprecht},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Computational Thinking: Learning by Doing with the Cinco Adventure
Game Tool},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1},
pages = {990--999},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.00175},
doi = {10.1109/COMPSAC.2018.00175},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/GossenKML18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Margaria18,
author = {Tiziana Margaria},
editor = {Falk Howar and
Jiri Barnat},
title = {Generative Model Driven Design for Agile System Design and Evolution:
{A} Tale of Two Worlds},
booktitle = {Formal Methods for Industrial Critical Systems - 23rd International
Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11119},
pages = {3--18},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00244-2\_1},
doi = {10.1007/978-3-030-00244-2\_1},
timestamp = {Sat, 19 Oct 2019 20:28:59 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Margaria18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/SteffenM18,
author = {Bernhard Steffen and
Tiziana Margaria},
editor = {Falk Howar and
Jiri Barnat},
title = {Predicate Abstraction and Such..},
booktitle = {Formal Methods for Industrial Critical Systems - 23rd International
Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11119},
pages = {181--188},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00244-2\_12},
doi = {10.1007/978-3-030-00244-2\_12},
timestamp = {Thu, 30 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/SteffenM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WickertLM18,
author = {Alexander Wickert and
Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {Stefania Gnesi and
Nico Plat and
Paola Spoletini and
Patrizio Pelliccione},
title = {Domain-specific design of patient classification in cancer-related
cachexia research},
booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
2, 2018},
pages = {60--63},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3193992.3194002},
doi = {10.1145/3193992.3194002},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/WickertLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Margaria18,
author = {Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {From Computational Thinking to Constructive Design with Simple Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {261--278},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_16},
doi = {10.1007/978-3-030-03418-4\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/Margaria18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GossenMMNS18,
author = {Frederik Gossen and
Tiziana Margaria and
Alnis Murtovi and
Stefan Naujokat and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {DSLs for Decision Services: {A} Tutorial Introduction to Language-Driven
Engineering},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {546--564},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_33},
doi = {10.1007/978-3-030-03418-4\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GossenMMNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2018-1,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4},
doi = {10.1007/978-3-030-03418-4},
isbn = {978-3-030-03417-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2018-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2018-2,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4},
doi = {10.1007/978-3-030-03421-4},
isbn = {978-3-030-03420-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2018-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2018-3,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5},
doi = {10.1007/978-3-030-03424-5},
isbn = {978-3-030-03423-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2018-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2018-4,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6},
doi = {10.1007/978-3-030-03427-6},
isbn = {978-3-030-03426-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2018-4.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GossenM17,
author = {Frederik Gossen and
Tiziana Margaria},
title = {Generating Real-time Decision Systems with the new miAamics},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {74},
year = {2017},
url = {https://doi.org/10.14279/tuj.eceasst.74.1056},
doi = {10.14279/TUJ.ECEASST.74.1056},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/GossenM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clei/SantosCMM17,
author = {Wylliams Barbosa Santos and
Jos{\'{e}} Adson O. G. da Cunha and
Hermano P. Moura and
Tiziana Margaria},
editor = {H{\'{e}}ctor Monteverde and
Rodrigo Santos},
title = {Practical implications from a preliminary theory of simplicity in
agile software development based on a qualitative study},
booktitle = {2017 {XLIII} Latin American Computer Conference, {CLEI} 2017, C{\'{o}}rdoba,
Argentina, September 4-8, 2017},
pages = {1--10},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CLEI.2017.8226449},
doi = {10.1109/CLEI.2017.8226449},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clei/SantosCMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/BosselmannKM17,
author = {Steve Bo{\ss}elmann and
Dennis K{\"{u}}hn and
Tiziana Margaria},
title = {A fully model-based approach to the design of the SEcube{\texttrademark}
community web app},
booktitle = {12th International Conference on Design {\&} Technology of Integrated
Systems In Nanoscale Era, {DTIS} 2017, Palma de Mallorca, Spain, April
4-6, 2017},
pages = {1--7},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/DTIS.2017.7930159},
doi = {10.1109/DTIS.2017.7930159},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/dtis/BosselmannKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/KunnappillyLMSS17,
author = {Ashalatha Kunnappilly and
Axel Legay and
Tiziana Margaria and
Cristina Cerschi Seceleanu and
Bernhard Steffen and
Louis{-}Marie Traonouez},
title = {Analyzing ambient assisted living solutions: {A} research perspective},
booktitle = {12th International Conference on Design {\&} Technology of Integrated
Systems In Nanoscale Era, {DTIS} 2017, Palma de Mallorca, Spain, April
4-6, 2017},
pages = {1--7},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/DTIS.2017.7930168},
doi = {10.1109/DTIS.2017.7930168},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dtis/KunnappillyLMSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/IsernRM17,
author = {Eugeni Isern and
Miquel Roca and
Tiziana Margaria},
title = {Foreword},
booktitle = {12th International Conference on Design {\&} Technology of Integrated
Systems In Nanoscale Era, {DTIS} 2017, Palma de Mallorca, Spain, April
4-6, 2017},
pages = {ix},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/DTIS.2017.7929867},
doi = {10.1109/DTIS.2017.7929867},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dtis/IsernRM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/SantosCMM17,
author = {Wylliams Barbosa Santos and
Jos{\'{e}} Adson O. G. da Cunha and
Hermano P. Moura and
Tiziana Margaria},
title = {Towards a Theory of Simplicity in Agile Software Development: {A}
Qualitative Study},
booktitle = {43rd Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2017, Vienna, Austria, August 30 - Sept. 1, 2017},
pages = {40--43},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SEAA.2017.38},
doi = {10.1109/SEAA.2017.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/SantosCMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wbma/SantosCMM17,
author = {Wylliams Barbosa Santos and
Jos{\'{e}} Adson O. G. da Cunha and
Hermano P. Moura and
Tiziana Margaria},
editor = {Viviane Almeida dos Santos and
Gustavo Henrique Lima Pinto and
Adolfo Gustavo Serra Seca Neto},
title = {Towards a Definition of Simplicity in Agile Software Development:
{A} Focus Group Study},
booktitle = {Agile Methods - 8th Brazilian Workshop, {WBMA} 2017, Bel{\'{e}}m,
Brazil, September 13-14, 2017, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {802},
pages = {3--17},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73673-0\_1},
doi = {10.1007/978-3-319-73673-0\_1},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wbma/SantosCMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcce/McInerneyLM17,
author = {Clare McInerney and
Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {Arthur Tatnall and
Mary Webb},
title = {Computing Camps for Girls - {A} First-Time Experience at the University
of Limerick},
booktitle = {Tomorrow's Learning: Involving Everyone. Learning with and about Technologies
and Computing - 11th {IFIP} {TC} 3 World Conference on Computers in
Education, {WCCE} 2017, Dublin, Ireland, July 3-6, 2017, Revised Selected
Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {515},
pages = {494--505},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74310-3\_50},
doi = {10.1007/978-3-319-74310-3\_50},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcce/McInerneyLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/RascheMF17,
author = {Christoph Rasche and
Tiziana Margaria and
Barry D. Floyd},
editor = {Mario A. Pfannstiel and
Christoph Rasche},
title = {Service Model Innovation in Hospitals: Beyond Expert Organizations},
booktitle = {Service Business Model Innovation in Healthcare and Hospital Management},
pages = {1--20},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-46412-1\_1},
doi = {10.1007/978-3-319-46412-1\_1},
timestamp = {Fri, 21 Jan 2022 16:10:18 +0100},
biburl = {https://dblp.org/rec/books/sp/17/RascheMF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/BosselmannM17,
author = {Steve Bo{\ss}elmann and
Tiziana Margaria},
editor = {Mario A. Pfannstiel and
Christoph Rasche},
title = {Guided Business Modeling and Analysis for Business Professionals},
booktitle = {Service Business Model Innovation in Healthcare and Hospital Management},
pages = {195--211},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-46412-1\_11},
doi = {10.1007/978-3-319-46412-1\_11},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/17/BosselmannM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/BosselmannWLM17,
author = {Steve Bo{\ss}elmann and
Alexander Wickert and
Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {Mario A. Pfannstiel and
Christoph Rasche},
title = {Modeling Directly Executable Processes for Healthcare Professionals
with {XMDD}},
booktitle = {Service Business Model Innovation in Healthcare and Hospital Management},
pages = {213--232},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-46412-1\_12},
doi = {10.1007/978-3-319-46412-1\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/BosselmannWLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2017,
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0},
doi = {10.1007/978-3-319-51963-0},
isbn = {978-3-319-51962-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2017-1,
editor = {Axel Legay and
Tiziana Margaria},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5},
doi = {10.1007/978-3-662-54577-5},
isbn = {978-3-662-54576-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2017-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2017-2,
editor = {Axel Legay and
Tiziana Margaria},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5},
doi = {10.1007/978-3-662-54580-5},
isbn = {978-3-662-54579-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2017-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fomac/Margaria16,
author = {Tiziana Margaria},
title = {Knowledge Management for Inclusive System Evolution},
journal = {{LNCS} Trans. Found. Mastering Chang.},
volume = {1},
pages = {7--21},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46508-1\_2},
doi = {10.1007/978-3-319-46508-1\_2},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fomac/Margaria16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LamprechtSM16,
author = {Anna{-}Lena Lamprecht and
Bernhard Steffen and
Tiziana Margaria},
title = {Scientific workflows with the jABC framework - {A} review after a
decade in the field},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {6},
pages = {629--651},
year = {2016},
url = {https://doi.org/10.1007/s10009-016-0427-0},
doi = {10.1007/S10009-016-0427-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LamprechtSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aqtr/GossenM16,
author = {Frederik Gossen and
Tiziana Margaria},
title = {Comprehensible people recognition using the Kinect's face and skeleton
model},
booktitle = {{IEEE} International Conference on Automation, Quality and Testing,
Robotics, {AQTR} 2016, Cluj-Napoca, Romania, May 19-21, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.ieeecomputersociety.org/10.1109/AQTR.2016.7501309},
doi = {10.1109/AQTR.2016.7501309},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aqtr/GossenM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LamprechtMM16,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Clare McInerney},
title = {A Summer Computing Camp Using ChainReaction and jABC},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} Workshops 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {275--280},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.41},
doi = {10.1109/COMPSAC.2016.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/LamprechtMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuMSBSM16,
author = {Tiberiu Seceleanu and
Tiziana Margaria and
Rajesh Subramanyan and
Michele Bugliesi and
Cristina Seceleanu and
Bruce M. McMillin},
title = {Messge from the {ECPE} Organizing Committee},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {281},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.249},
doi = {10.1109/COMPSAC.2016.249},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuMSBSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TovarCDMCSMR16,
author = {Edmundo Tovar and
Manuel Castro and
Claudio Demartini and
Tiziana Margaria and
Henry C. B. Chan and
Timothy K. Shih and
Simanta Mitra and
Sorel Reisman},
title = {Message from the {CELT} Organizing Committee},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {695},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.256},
doi = {10.1109/COMPSAC.2016.256},
timestamp = {Fri, 28 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/TovarCDMCSMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/VarrialeVNPTM16,
author = {Antonio Varriale and
Elena Ioana Vatajelu and
Giorgio Di Natale and
Paolo Prinetto and
Pascal Trotta and
Tiziana Margaria},
title = {SEcube{\texttrademark}: An open-source security platform in a single
SoC},
booktitle = {2016 International Conference on Design and Technology of Integrated
Systems in Nanoscale Era, {DTIS} 2016, Istanbul, Turkey, April 12-14,
2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/DTIS.2016.7483810},
doi = {10.1109/DTIS.2016.7483810},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dtis/VarrialeVNPTM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/Al-AreqiLM16,
author = {Samih Al{-}Areqi and
Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {Osvaldo Gervasi and
Beniamino Murgante and
Sanjay Misra and
Ana Maria Alves Coutinho Rocha and
Carmelo Maria Torre and
David Taniar and
Bernady O. Apduhan and
Elena N. Stankova and
Shangguang Wang},
title = {Constraints-Driven Automatic Geospatial Service Composition: Workflows
for the Analysis of Sea-Level Rise Impacts},
booktitle = {Computational Science and Its Applications - {ICCSA} 2016 - 16th International
Conference, Beijing, China, July 4-7, 2016, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {9788},
pages = {134--150},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42111-7\_12},
doi = {10.1007/978-3-319-42111-7\_12},
timestamp = {Sun, 25 Jul 2021 11:52:54 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/Al-AreqiLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NaujokatNMS16,
author = {Stefan Naujokat and
Johannes Neubauer and
Tiziana Margaria and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Meta-Level Reuse for Mastering Domain Specialization},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {218--237},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_16},
doi = {10.1007/978-3-319-47169-3\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NaujokatNMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JorgesLMNS16,
author = {Sven J{\"{o}}rges and
Anna{-}Lena Lamprecht and
Tiziana Margaria and
Stefan Naujokat and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Synthesis from a Practical Perspective},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {282--302},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_20},
doi = {10.1007/978-3-319-47166-2\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JorgesLMNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BainczykSIMNS16,
author = {Alexander Bainczyk and
Alexander Schieweck and
Malte Isberner and
Tiziana Margaria and
Johannes Neubauer and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{ALEX:} Mixed-Mode Learning of Web Applications at Ease},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {655--671},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_51},
doi = {10.1007/978-3-319-47169-3\_51},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BainczykSIMNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/GianniniLM16,
author = {Paola Giannini and
Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic and
Philippe Desfray},
title = {Exploring the Potential of Global Types for Adding a Choreography
Perspective to the jABC Framework},
booktitle = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
on Model-Driven Engineering and Software Development, Rome, Italy,
19-21 February, 2016},
pages = {368--376},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005799303680376},
doi = {10.5220/0005799303680376},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/GianniniLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2016-1,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2},
doi = {10.1007/978-3-319-47166-2},
isbn = {978-3-319-47165-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2016-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2016-2,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3},
doi = {10.1007/978-3-319-47169-3},
isbn = {978-3-319-47168-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2016-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Margaria15,
author = {Tiziana Margaria},
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 = {Which {IT} Governance for Distributed Intelligent Cyber-Physical Systems?},
booktitle = {39th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},
pages = {46--47},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.337},
doi = {10.1109/COMPSAC.2015.337},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/Margaria15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/McInerneyM15,
author = {Clare McInerney and
Tiziana Margaria},
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 = {Software as a High-Tech Weapon in Ireland's Strategy},
booktitle = {39th Annual Computer Software and Applications Conference, {COMPSAC}
Workshops 2015, Taichung, Taiwan, July 1-5, 2015},
pages = {658--663},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.137},
doi = {10.1109/COMPSAC.2015.137},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/McInerneyM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LamprechtMN15,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Johannes Neubauer},
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 = {On the Use of {XMDD} in Software Development Education},
booktitle = {39th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},
pages = {835--844},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.178},
doi = {10.1109/COMPSAC.2015.178},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/LamprechtMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/Margaria15,
author = {Tiziana Margaria},
title = {Why caring about leading-edge software engineering in healthcare and
assistive technology applications?},
booktitle = {10th International Conference on Design {\&} Technology of Integrated
Systems in Nanoscale Era, {DTIS} 2015, Napoli, Italy, April 21-23,
2015},
pages = {1},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/DTIS.2015.7127393},
doi = {10.1109/DTIS.2015.7127393},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/dtis/Margaria15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BordihnLM15,
author = {Henning Bordihn and
Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {Andreas Bollin and
Tiziana Margaria and
Isabelle Perseil},
title = {Foundations of Semantics and Model Checking in a Software Engineering
Course},
booktitle = {Proceedings of the First Workshop on Formal Methods in Software Engineering
Education and Training, FMSEE{\&}T 2015, co-located with 20th
International Symposium on Formal Methods {(FM} 2015), Oslo, Norway,
June 23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1385},
pages = {19--26},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1385/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/fm/BordihnLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/LamprechtM15,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {Slawomir Koziel and
Leifur {\TH}. Leifsson and
Michael Lees and
Valeria V. Krzhizhanovskaya and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {Scientific Workflows with {XMDD:} {A} Way to Use Process Modeling
in Computational Science Education},
booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2015, Computational Science at the Gates of Nature, Reykjav{\'{\i}}k,
Iceland, 1-3 June, 2015, 2014},
series = {Procedia Computer Science},
volume = {51},
pages = {1927--1936},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.procs.2015.05.457},
doi = {10.1016/J.PROCS.2015.05.457},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/iccS/LamprechtM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SteffenLM15,
author = {Bernhard Steffen and
Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {Douglas C. Schmidt},
title = {User-level synthesis: treating product lines as systems of constraints},
booktitle = {Proceedings of the 19th International Conference on Software Product
Line, {SPLC} 2015, Nashville, TN, USA, July 20-24, 2015},
pages = {427--431},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2791060.2793675},
doi = {10.1145/2791060.2793675},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/SteffenLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/LamprechtM15,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {James Malone and
Robert Stevens and
Kerstin Forsberg and
Andrea Splendiani},
title = {Automatic Synthesis of Bioconductor Pipelines: {A} Domain Modeling
Challenge},
booktitle = {Proceedings of the 8th Semantic Web Applications and Tools for Life
Sciences International Conference, Cambridge UK, December 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1546},
pages = {216--217},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1546/poster\_63.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/swat4ls/LamprechtM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/Margaria-SteffenBW15,
author = {Tiziana Margaria{-}Steffen and
Steve Bo{\ss}elmann and
Alexander Wickert},
editor = {Elisabeth Eppinger and
Bastian Halecker and
Katharina H{\"{o}}lzle and
Martin Kamprath},
title = {Der Business Model Developer - Entwicklung eines Tools zur Erstellung
und Analyse von Gesch{\"{a}}ftsmodellen},
booktitle = {Dienstleistungspotenziale und Gesch{\"{a}}ftsmodelle in der Personalisierten
Medizin},
pages = {95--115},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-658-08403-5\_4},
doi = {10.1007/978-3-658-08403-5\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/Margaria-SteffenBW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2015fmseet,
editor = {Andreas Bollin and
Tiziana Margaria and
Isabelle Perseil},
title = {Proceedings of the First Workshop on Formal Methods in Software Engineering
Education and Training, FMSEE{\&}T 2015, co-located with 20th
International Symposium on Formal Methods {(FM} 2015), Oslo, Norway,
June 23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1385},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1385},
urn = {urn:nbn:de:0074-1385-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/2015fmseet.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2015srf,
editor = {Giuseppe F. Italiano and
Tiziana Margaria{-}Steffen and
Jaroslav Pokorn{\'{y}} and
Jean{-}Jacques Quisquater and
Roger Wattenhofer and
Roman Spanek and
Martin Rimnac},
title = {Proceedings of Student Research Forum Papers and Posters at {SOFSEM}
2015, the 41st International Conference on Current Trends in Theory
and Practice of Computer Science {(SOFSEM} 2015) , Pec pod Snezkou,
Czech Republic, January 24-29, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1326},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1326},
urn = {urn:nbn:de:0074-1326-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/2015srf.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2015,
editor = {Giuseppe F. Italiano and
Tiziana Margaria{-}Steffen and
Jaroslav Pokorn{\'{y}} and
Jean{-}Jacques Quisquater and
Roger Wattenhofer},
title = {{SOFSEM} 2015: Theory and Practice of Computer Science - 41st International
Conference on Current Trends in Theory and Practice of Computer Science,
Pec pod Sn{\v{e}}{\v{z}}kou, Czech Republic, January 24-29, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8939},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46078-8},
doi = {10.1007/978-3-662-46078-8},
isbn = {978-3-662-46077-1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/NaujokatNLSJM14,
author = {Stefan Naujokat and
Johannes Neubauer and
Anna{-}Lena Lamprecht and
Bernhard Steffen and
Sven J{\"{o}}rges and
Tiziana Margaria},
title = {Simplicity-first model-based plug-in development},
journal = {Softw. Pract. Exp.},
volume = {44},
number = {3},
pages = {277--297},
year = {2014},
url = {https://doi.org/10.1002/spe.2243},
doi = {10.1002/SPE.2243},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/NaujokatNLSJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MargariaQY14,
author = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Program verification and testing technologies},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {4},
pages = {335--337},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0327-0},
doi = {10.1007/S10009-014-0327-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MargariaQY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SteffenINMG14,
author = {Bernhard Steffen and
Malte Isberner and
Stefan Naujokat and
Tiziana Margaria and
Maren Geske},
title = {Property-driven benchmark generation: synthesizing programs of realistic
structure},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {465--479},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0336-z},
doi = {10.1007/S10009-014-0336-Z},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SteffenINMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SteffenHINM14,
author = {Bernhard Steffen and
Falk Howar and
Malte Isberner and
Stefan Naujokat and
Tiziana Margaria},
title = {Tailored generation of concurrent benchmarks},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {543--558},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0339-9},
doi = {10.1007/S10009-014-0339-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SteffenHINM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HincheyM14,
author = {Mike Hinchey and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Evolving Critical Systems - Track Introduction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {1--3},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_1},
doi = {10.1007/978-3-662-45234-9\_1},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/HincheyM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NeubauerFSM14,
author = {Johannes Neubauer and
Markus Frohme and
Bernhard Steffen and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Prototype-Driven Development of Web Applications with DyWA},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {56--72},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_5},
doi = {10.1007/978-3-662-45234-9\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NeubauerFSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Al-AreqiKLRWM14,
author = {Samih Al{-}Areqi and
Steffen Kriewald and
Anna{-}Lena Lamprecht and
Dominik Reusser and
Markus Wrobel and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards a Flexible Assessment of Climate Impacts: The Example of Agile
Workflows for the ci: grasp Platform},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {420--435},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_33},
doi = {10.1007/978-3-662-45231-8\_33},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/Al-AreqiKLRWM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaR14,
author = {Tiziana Margaria and
Christoph Rasche},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Processes and Data Integration in the Networked Healthcare - (Track
Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {524--525},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_43},
doi = {10.1007/978-3-662-45231-8\_43},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaFCLNS14,
author = {Tiziana Margaria and
Barry D. Floyd and
Rodolfo Gonzalez Camargo and
Anna{-}Lena Lamprecht and
Johannes Neubauer and
Marilia Seelaender},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Simple Management of High Assurance Data in Long-Lived Interdisciplinary
Healthcare Research: {A} Proposal},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {526--544},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_44},
doi = {10.1007/978-3-662-45231-8\_44},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaFCLNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BosselmannM14,
author = {Steve Bo{\ss}elmann and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Domain-Specific Business Modeling with the Business Model Developer},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {545--560},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_45},
doi = {10.1007/978-3-662-45231-8\_45},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BosselmannM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ccis/LamprechtM14,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {Anna{-}Lena Lamprecht and
Tiziana Margaria},
title = {Scientific Workflows and {XMDD}},
booktitle = {Process Design for Natural Scientists - An Agile Model-Driven Approach},
series = {Communications in Computer and Information Science},
volume = {500},
pages = {1--13},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45006-2\_1},
doi = {10.1007/978-3-662-45006-2\_1},
timestamp = {Sun, 02 Jun 2019 20:42:13 +0200},
biburl = {https://dblp.org/rec/series/ccis/LamprechtM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ccis/LamprechtMS14,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Bernhard Steffen},
editor = {Anna{-}Lena Lamprecht and
Tiziana Margaria},
title = {Modeling and Execution of Scientific Workflows with the jABC Framework},
booktitle = {Process Design for Natural Scientists - An Agile Model-Driven Approach},
series = {Communications in Computer and Information Science},
volume = {500},
pages = {14--29},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45006-2\_2},
doi = {10.1007/978-3-662-45006-2\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ccis/LamprechtMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ccis/LamprechtWM14,
author = {Anna{-}Lena Lamprecht and
Alexander Wickert and
Tiziana Margaria},
editor = {Anna{-}Lena Lamprecht and
Tiziana Margaria},
title = {Lessons Learned},
booktitle = {Process Design for Natural Scientists - An Agile Model-Driven Approach},
series = {Communications in Computer and Information Science},
volume = {500},
pages = {45--64},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45006-2\_4},
doi = {10.1007/978-3-662-45006-2\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ccis/LamprechtWM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2014-1,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9},
doi = {10.1007/978-3-662-45234-9},
isbn = {978-3-662-45233-2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2014-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2014-2,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8},
doi = {10.1007/978-3-662-45231-8},
isbn = {978-3-662-45230-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2014-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/ccis/500,
editor = {Anna{-}Lena Lamprecht and
Tiziana Margaria},
title = {Process Design for Natural Scientists - An Agile Model-Driven Approach},
series = {Communications in Computer and Information Science},
volume = {500},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45006-2},
doi = {10.1007/978-3-662-45006-2},
isbn = {978-3-662-45005-5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ccis/500.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MargariaH13,
author = {Tiziana Margaria and
Mike Hinchey},
title = {Simplicity in {IT:} The Power of Less},
journal = {Computer},
volume = {46},
number = {11},
pages = {23--25},
year = {2013},
url = {https://doi.org/10.1109/MC.2013.397},
doi = {10.1109/MC.2013.397},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MargariaH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/MargariaF13,
author = {Tiziana Margaria and
Barry D. Floyd},
title = {Simplicity in {IT:} a Chance for a New Kind of Design and Process
Science},
journal = {J. Integr. Des. Process. Sci.},
volume = {17},
number = {3},
pages = {1--7},
year = {2013},
url = {https://doi.org/10.3233/jid-2013-0021},
doi = {10.3233/JID-2013-0021},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jid/MargariaF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/MargariaBK13,
author = {Tiziana Margaria and
Steve Bo{\ss}elmann and
Bertold Kujath},
title = {Simple Modeling of Executable Role-Based Workflows: An Application
in the Healthcare Domain},
journal = {J. Integr. Des. Process. Sci.},
volume = {17},
number = {3},
pages = {25--45},
year = {2013},
url = {https://doi.org/10.3233/jid-2013-0017},
doi = {10.3233/JID-2013-0017},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jid/MargariaBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/HowarMW13,
author = {Falk Howar and
Tiziana Margaria and
Christian Wagner},
title = {Simplifying Translation Validation via Model Extrapolation},
journal = {J. Integr. Des. Process. Sci.},
volume = {17},
number = {3},
pages = {71--91},
year = {2013},
url = {https://doi.org/10.3233/jid-2013-0022},
doi = {10.3233/JID-2013-0022},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jid/HowarMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/SteffenINMG13,
author = {Bernhard Steffen and
Malte Isberner and
Stefan Naujokat and
Tiziana Margaria and
Maren Geske},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Property-Driven Benchmark Generation},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {341--357},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_21},
doi = {10.1007/978-3-642-39176-7\_21},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/SteffenINMG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NeubauerSM13,
author = {Johannes Neubauer and
Bernhard Steffen and
Tiziana Margaria},
editor = {Anindya Banerjee and
Olivier Danvy and
Kyung{-}Goo Doh and
John Hatcliff},
title = {Higher-Order Process Modeling: Product-Lining, Variability Modeling
and Beyond},
booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs:
Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth
Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
series = {{EPTCS}},
volume = {129},
pages = {259--283},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.129.16},
doi = {10.4204/EPTCS.129.16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NeubauerSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsob/2013,
editor = {Georg Herzwurm and
Tiziana Margaria},
title = {Software Business. From Physical Products to Software Services and
Solutions - 4th International Conference, {ICSOB} 2013, Potsdam, Germany,
June 11-14, 2013. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {150},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39336-5},
doi = {10.1007/978-3-642-39336-5},
isbn = {978-3-642-39335-8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsob/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JorgesLMSS12,
author = {Sven J{\"{o}}rges and
Anna{-}Lena Lamprecht and
Tiziana Margaria and
Ina Schaefer and
Bernhard Steffen},
title = {A constraint-based variability modeling framework},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {5},
pages = {511--530},
year = {2012},
url = {https://doi.org/10.1007/s10009-012-0254-x},
doi = {10.1007/S10009-012-0254-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JorgesLMSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NaujokatLSJM12,
author = {Stefan Naujokat and
Anna{-}Lena Lamprecht and
Bernhard Steffen and
Sven J{\"{o}}rges and
Tiziana Margaria},
editor = {Diego Garbervetsky and
Sunghun Kim},
title = {Simplicity principles for plug-in development: the jABC approach},
booktitle = {Proceedings of the Second International Workshop on Developing Tools
as Plug-Ins, {TOPI} 2012, Zurich, Switzerland, June 3, 2012},
pages = {7--12},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TOPI.2012.6229816},
doi = {10.1109/TOPI.2012.6229816},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/NaujokatLSJM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NeubauerSBWMMH12,
author = {Johannes Neubauer and
Bernhard Steffen and
Oliver Bauer and
Stephan Windm{\"{u}}ller and
Maik Merten and
Tiziana Margaria and
Falk Howar},
editor = {Stefania Gnesi and
Stefan Gruner and
Nico Plat and
Bernhard Rumpe},
title = {Automated continuous quality assurance},
booktitle = {Proceedings of the First International Workshop on Formal Methods
in Software Engineering - Rigorous and Agile Approaches, FormSERA
2012, Zurich, Switzerland, June 2, 2012},
pages = {37--43},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/FormSERA.2012.6229787},
doi = {10.1109/FORMSERA.2012.6229787},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NeubauerSBWMMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LamprechtM12,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Scientific Workflows: Eternal Components, Changing Interfaces, Varying
Compositions},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {47--63},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_5},
doi = {10.1007/978-3-642-34026-0\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LamprechtM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ReinersdorffMR12,
author = {Andrea Braun von Reinersdorff and
Tiziana Margaria and
Christoph Rasche},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Processes and Data Integration in the Networked Healthcare},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Applications and Case Studies - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7610},
pages = {67--69},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34032-1\_7},
doi = {10.1007/978-3-642-34032-1\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ReinersdorffMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaBK12,
author = {Tiziana Margaria and
Steve Bo{\ss}elmann and
Bertold Kujath},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Simple Modeling of Executable Role-Based Workflows: An Application
in the Healthcare Domain},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Applications and Case Studies - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7610},
pages = {70--72},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34032-1\_8},
doi = {10.1007/978-3-642-34032-1\_8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MertenIHSM12,
author = {Maik Merten and
Malte Isberner and
Falk Howar and
Bernhard Steffen and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automated Learning Setups in Automata Learning},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {591--607},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_44},
doi = {10.1007/978-3-642-34026-0\_44},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MertenIHSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/MargariaS12,
author = {Tiziana Margaria and
Bernhard Steffen},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {Service-Orientation: Conquering Complexity with {XMDD}},
booktitle = {Conquering Complexity},
pages = {217--236},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_10},
doi = {10.1007/978-1-4471-2297-5\_10},
timestamp = {Sat, 19 Oct 2019 19:02:43 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/MargariaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/MargariaKS12,
author = {Tiziana Margaria and
Christian Kubczak and
Bernhard Steffen},
editor = {M. Brian Blake and
Liliana Cabral and
Birgitta K{\"{o}}nig{-}Ries and
Ulrich K{\"{u}}ster and
David Martin},
title = {The {XMDD} Approach to the Semantic Web Services Challenge},
booktitle = {Semantic Web Services, Advancement through Evaluation},
pages = {233--248},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28735-0\_15},
doi = {10.1007/978-3-642-28735-0\_15},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/MargariaKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/MargariaBDFS12,
author = {Tiziana Margaria and
Steve Bo{\ss}elmann and
Markus Doedt and
Barry D. Floyd and
Bernhard Steffen},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {Customer-Oriented Business Process Management: Vision and Obstacles},
booktitle = {Conquering Complexity},
pages = {407--429},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_16},
doi = {10.1007/978-1-4471-2297-5\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/MargariaBDFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2011w,
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34781-8},
doi = {10.1007/978-3-642-34781-8},
isbn = {978-3-642-34780-1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2011w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2012-1,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0},
doi = {10.1007/978-3-642-34026-0},
isbn = {978-3-642-34025-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2012-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2012-2,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Applications and Case Studies - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7610},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34032-1},
doi = {10.1007/978-3-642-34032-1},
isbn = {978-3-642-34031-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2012-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tase/2012,
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6269388/proceeding},
isbn = {978-0-7695-4751-0},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biomedsem/LamprechtNMS11,
author = {Anna{-}Lena Lamprecht and
Stefan Naujokat and
Tiziana Margaria and
Bernhard Steffen},
title = {Semantics-based composition of {EMBOSS} services},
journal = {J. Biomed. Semant.},
volume = {2},
number = {{S-1}},
pages = {S5},
year = {2011},
url = {http://www.jbiomedsem.com/content/2/S1/S5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biomedsem/LamprechtNMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KroeningMW11,
author = {Daniel Kroening and
Tiziana Margaria and
Jim Woodcock},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {23},
number = {5},
pages = {585--588},
year = {2011},
url = {https://doi.org/10.1007/s00165-011-0201-8},
doi = {10.1007/S00165-011-0201-8},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/KroeningMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JorgesMS11,
author = {Sven J{\"{o}}rges and
Tiziana Margaria and
Bernhard Steffen},
title = {Assuring property conformance of code generators via model checking},
journal = {Formal Aspects Comput.},
volume = {23},
number = {5},
pages = {589--606},
year = {2011},
url = {https://doi.org/10.1007/s00165-010-0169-9},
doi = {10.1007/S00165-010-0169-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JorgesMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/BakeraMRS11,
author = {Marco Bakera and
Tiziana Margaria and
Clemens D. Renner and
Bernhard Steffen},
title = {Game-Based Model Checking for Reliable Autonomy in Space},
journal = {J. Aerosp. Comput. Inf. Commun.},
volume = {8},
number = {4},
pages = {100--114},
year = {2011},
url = {https://doi.org/10.2514/1.32013},
doi = {10.2514/1.32013},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/BakeraMRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MargariaFS11,
author = {Tiziana Margaria and
Barry D. Floyd and
Bernhard Steffen},
title = {{IT} Simply Works: Simplicity and Embedded Systems Design},
booktitle = {Workshop Proceedings of the 35th Annual {IEEE} International Computer
Software and Applications Conference, {COMPSAC} Workshops 2011, Munich,
Germany, 18-22 July 2011},
pages = {194--199},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/COMPSACW.2011.42},
doi = {10.1109/COMPSACW.2011.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/MargariaFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Margaria11,
author = {Tiziana Margaria},
title = {Formal Methods in the Era of Service-Oriented Design},
booktitle = {Proceedings of the 35th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2011, Munich, Germany, 18-22
July 2011},
pages = {452--453},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/COMPSAC.2011.111},
doi = {10.1109/COMPSAC.2011.111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/Margaria11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fet/LamprechtMSS11,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Ina Schaefer and
Bernhard Steffen},
editor = {Alessandro Moschitti and
Riccardo Scandariato},
title = {Comparing Structure-Oriented and Behavior-Oriented Variability Modeling
for Workflows},
booktitle = {Eternal Systems - First International Workshop, EternalS@FET 2011,
Budapest, Hungary, May 3, 2011, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {255},
pages = {1--15},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-28033-7\_1},
doi = {10.1007/978-3-642-28033-7\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fet/LamprechtMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/LamprechtMSS11,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Ina Schaefer and
Bernhard Steffen},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Synthesis-Based Variability Control: Correctness by Construction},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {69--88},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_4},
doi = {10.1007/978-3-642-35887-6\_4},
timestamp = {Mon, 26 Jun 2023 20:47:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/LamprechtMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarBMSM11,
author = {Falk Howar and
Oliver Bauer and
Maik Merten and
Bernhard Steffen and
Tiziana Margaria},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata
Learning},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {232--247},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_18},
doi = {10.1007/978-3-642-34781-8\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HowarBMSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MertenHSM11,
author = {Maik Merten and
Falk Howar and
Bernhard Steffen and
Tiziana Margaria},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Automata Learning with On-the-Fly Direct Hypothesis Construction},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {248--260},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_19},
doi = {10.1007/978-3-642-34781-8\_19},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MertenHSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/MargariaS11,
author = {Tiziana Margaria and
Bernhard Steffen},
editor = {James L. Rash and
Christopher A. Rouff},
title = {Special Session on "Simplification through Change of Perspective"},
booktitle = {34th Annual {IEEE} Software Engineering Workshop, {SEW} 2011, Limerick,
Ireland, June 20-21, 2011},
pages = {67--68},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SEW.2011.15},
doi = {10.1109/SEW.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/MargariaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/SchaeferLM11,
author = {Ina Schaefer and
Anna{-}Lena Lamprecht and
Tiziana Margaria},
editor = {James L. Rash and
Christopher A. Rouff},
title = {Constraint-oriented Variability Modeling},
booktitle = {34th Annual {IEEE} Software Engineering Workshop, {SEW} 2011, Limerick,
Ireland, June 20-21, 2011},
pages = {77--83},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SEW.2011.17},
doi = {10.1109/SEW.2011.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/SchaeferLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MertenSHM11,
author = {Maik Merten and
Bernhard Steffen and
Falk Howar and
Tiziana Margaria},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Next Generation LearnLib},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {220--223},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_18},
doi = {10.1007/978-3-642-19835-9\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MertenSHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MargariaS10,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Simplicity as a Driver for Agile Innovation},
journal = {Computer},
volume = {43},
number = {6},
pages = {90--92},
year = {2010},
url = {https://doi.org/10.1109/MC.2010.177},
doi = {10.1109/MC.2010.177},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MargariaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MargariaST10,
author = {Tiziana Margaria and
Bernhard Steffen and
Christian Topnik},
title = {Second-Order Value Numbering},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {30},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.30.439},
doi = {10.14279/TUJ.ECEASST.30.439},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/MargariaST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/MargariaSK10,
author = {Tiziana Margaria and
Bernhard Steffen and
Christian Kubczak},
title = {Evolution support in heterogeneous service-oriented landscapes},
journal = {J. Braz. Comput. Soc.},
volume = {16},
number = {1},
pages = {35--47},
year = {2010},
url = {https://doi.org/10.1007/s13173-010-0004-4},
doi = {10.1007/S13173-010-0004-4},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/MargariaSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/BlumBMM10,
author = {Niklas Blum and
Irina Boldea and
Thomas Magedanz and
Tiziana Margaria},
title = {Service-oriented Access to Next Generation Networks - from Service
Creation to Execution},
journal = {Mob. Networks Appl.},
volume = {15},
number = {3},
pages = {356--365},
year = {2010},
url = {https://doi.org/10.1007/s11036-010-0222-1},
doi = {10.1007/S11036-010-0222-1},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/monet/BlumBMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pik/BlumM10,
author = {Niklas Blum and
Tiziana Margaria},
title = {An Open Service Environment for Service Exposure and Orchestration
of Heterogeneous {NGN} Services},
journal = {Prax. Inf.verarb. Kommun.},
volume = {33},
number = {1},
pages = {16--20},
year = {2010},
url = {https://doi.org/10.1515/piko.2010.005},
doi = {10.1515/PIKO.2010.005},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pik/BlumM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KroeningM10,
author = {Daniel Kroening and
Tiziana Margaria},
title = {Verified software: theories, tools and experiments},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {6},
pages = {405--408},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0175-5},
doi = {10.1007/S10009-010-0175-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KroeningM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/LamprechtNMS10,
author = {Anna{-}Lena Lamprecht and
Stefan Naujokat and
Tiziana Margaria and
Bernhard Steffen},
editor = {Fernando Brito e Abreu and
Jo{\~{a}}o Pascoal Faria and
Ricardo Jorge Machado},
title = {Synthesis-Based Loose Programming},
booktitle = {Quality of Information and Communications Technology, 7th International
Conference on the Quality of Information and Communications Technology,
{QUATIC} 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings},
pages = {262--267},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QUATIC.2010.53},
doi = {10.1109/QUATIC.2010.53},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/quatic/LamprechtNMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/LamprechtNSM10,
author = {Anna{-}Lena Lamprecht and
Stefan Naujokat and
Bernhard Steffen and
Tiziana Margaria},
editor = {Albert Burger and
M. Scott Marshall and
Paolo Romano and
Adrian Paschke and
Andrea Splendiani},
title = {Constraint-Guided Workflow Composition Based on the {EDAM} Ontology},
booktitle = {Proceedings of the Workshop on Semantic Web Applications and Tools
for Life Sciences, Berlin, Germany, December 10, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {698},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-698/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/swat4ls/LamprechtNSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2010-1,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6415},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16558-0},
doi = {10.1007/978-3-642-16558-0},
isbn = {978-3-642-16557-3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2010-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2010-2,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0},
doi = {10.1007/978-3-642-16561-0},
isbn = {978-3-642-16560-3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2010-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/se/LamprechtMS10,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Bernhard Steffen},
editor = {Phillip A. Laplante},
title = {Bioinformatics: Processes and Workflows},
booktitle = {Encyclopedia of Software Engineering},
pages = {118--130},
publisher = {Taylor {\&} Francis},
year = {2010},
url = {http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044612},
doi = {10.1081/E-ESE-120044612},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/se/LamprechtMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/se/SteffenMW10,
author = {Bernhard Steffen and
Tiziana Margaria and
Christian Wagner},
editor = {Phillip A. Laplante},
title = {Round-Trip Engineering},
booktitle = {Encyclopedia of Software Engineering},
pages = {1044--1055},
publisher = {Taylor {\&} Francis},
year = {2010},
url = {http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044648},
doi = {10.1081/E-ESE-120044648},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/se/SteffenMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-1640,
author = {Anna{-}Lena Lamprecht and
Stefan Naujokat and
Bernhard Steffen and
Tiziana Margaria},
title = {Constraint-Guided Workflow Composition Based on the {EDAM} Ontology},
journal = {CoRR},
volume = {abs/1012.1640},
year = {2010},
url = {http://arxiv.org/abs/1012.1640},
eprinttype = {arXiv},
eprint = {1012.1640},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-1640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/LamprechtMS09,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Bernhard Steffen},
title = {Bio-jETI: a framework for semantics-based service composition},
journal = {{BMC} Bioinform.},
volume = {10},
number = {{S-10}},
pages = {8},
year = {2009},
url = {https://doi.org/10.1186/1471-2105-10-S10-S8},
doi = {10.1186/1471-2105-10-S10-S8},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/LamprechtMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MargariaS09,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Continuous Model-Driven Engineering},
journal = {Computer},
volume = {42},
number = {10},
pages = {106--109},
year = {2009},
url = {https://doi.org/10.1109/MC.2009.315},
doi = {10.1109/MC.2009.315},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MargariaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsc/KramerM09,
author = {Bernd J. Kr{\"{a}}mer and
Tiziana Margaria},
title = {A Hindsight on Formal Methods and Prospects of Semantic Computing
in Software Engineering},
journal = {Int. J. Semantic Comput.},
volume = {3},
number = {1},
pages = {5--30},
year = {2009},
url = {https://doi.org/10.1142/S1793351X09000641},
doi = {10.1142/S1793351X09000641},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsc/KramerM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BakeraMRS09,
author = {Marco Bakera and
Tiziana Margaria and
Clemens D. Renner and
Bernhard Steffen},
title = {Tool-supported enhancement of diagnosis in model-driven verification},
journal = {Innov. Syst. Softw. Eng.},
volume = {5},
number = {3},
pages = {211--228},
year = {2009},
url = {https://doi.org/10.1007/s11334-009-0091-6},
doi = {10.1007/S11334-009-0091-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/BakeraMRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HincheyMS09,
author = {Mike Hinchey and
Tiziana Margaria and
Bernhard Steffen},
title = {Guest Editor's introduction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {3},
pages = {173--174},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0114-5},
doi = {10.1007/S10009-009-0114-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HincheyMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RaffeltMSM09,
author = {Harald Raffelt and
Maik Merten and
Bernhard Steffen and
Tiziana Margaria},
title = {Dynamic testing via automata learning},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {4},
pages = {307--324},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0120-7},
doi = {10.1007/S10009-009-0120-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RaffeltMSM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MargariaM09,
author = {Tiziana Margaria and
Mieke Massink},
title = {Preface},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {5},
pages = {355--357},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0121-6},
doi = {10.1007/S10009-009-0121-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MargariaM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RaffeltSBM09,
author = {Harald Raffelt and
Bernhard Steffen and
Therese Berg and
Tiziana Margaria},
title = {LearnLib: a framework for extrapolating behavioral models},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {5},
pages = {393--407},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0111-8},
doi = {10.1007/S10009-009-0111-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RaffeltSBM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/JorgesBML09,
author = {Sven J{\"{o}}rges and
Marco Bakera and
Tiziana Margaria and
Christoph Lattemann},
editor = {Stefan Fischer and
Erik Maehle and
R{\"{u}}diger Reischuk},
title = {Test your Strategy - Intuitive Strategy Definition and Evaluation
for Novices and Experts},
booktitle = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
28 - October 2, 2009, Proceedings},
series = {{LNI}},
volume = {{P-154}},
pages = {3485--3493},
publisher = {{GI}},
year = {2009},
url = {https://dl.gi.de/handle/20.500.12116/31364},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/JorgesBML09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/MargariaWB09,
author = {Tiziana Margaria and
Christian Wagner and
Marco Bakera},
editor = {Stefan Fischer and
Erik Maehle and
R{\"{u}}diger Reischuk},
title = {Using Games for Improved Diagnosis in Trustworthy Design of Autonomic
Systems},
booktitle = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
28 - October 2, 2009, Proceedings},
series = {{LNI}},
volume = {{P-154}},
pages = {3502--3506},
publisher = {{GI}},
year = {2009},
url = {https://dl.gi.de/handle/20.500.12116/31366},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/MargariaWB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gttse/JorgesSM09,
author = {Sven J{\"{o}}rges and
Bernhard Steffen and
Tiziana Margaria},
editor = {Jo{\~{a}}o M. Fernandes and
Ralf L{\"{a}}mmel and
Joost Visser and
Jo{\~{a}}o Saraiva},
title = {Building Code Generators with Genesys: {A} Tutorial Introduction},
booktitle = {Generative and Transformational Techniques in Software Engineering
{III} - International Summer School, {GTTSE} 2009, Braga, Portugal,
July 6-11, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6491},
pages = {364--385},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-18023-1\_10},
doi = {10.1007/978-3-642-18023-1\_10},
timestamp = {Sun, 26 Apr 2020 17:09:18 +0200},
biburl = {https://dblp.org/rec/conf/gttse/JorgesSM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LamprechtMS09,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Bernhard Steffen},
title = {From Bio-jETI Process Models to Native Code},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {95--101},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.50},
doi = {10.1109/ICECCS.2009.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LamprechtMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WagnerMP09,
author = {Christian Wagner and
Tiziana Margaria and
Hans{-}Georg Pagendarm},
title = {Analysis and Code Model Extraction for {C/C++} Source Code},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.46},
doi = {10.1109/ICECCS.2009.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/WagnerMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BakeraJM09,
author = {Marco Bakera and
Sven J{\"{o}}rges and
Tiziana Margaria},
title = {Test your Strategy: Graphical Construction of Strategies for Connect-Four},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {172--181},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.51},
doi = {10.1109/ICECCS.2009.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BakeraJM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BlumMKM09,
author = {Niklas Blum and
Thomas Magedanz and
Jan Kleessen and
Tiziana Margaria},
title = {Enabling eXtreme Model Driven Design of Parlay X-based Communications
Services for End-to-End Multiplatform Service Orchestrations},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {240--247},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.34},
doi = {10.1109/ICECCS.2009.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BlumMKM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/SteffenJWM09,
author = {Bernhard Steffen and
Sven J{\"{o}}rges and
Christian Wagner and
Tiziana Margaria},
title = {Maintenance, or the 3rd dimension of eXtreme model-driven design},
booktitle = {25th {IEEE} International Conference on Software Maintenance {(ICSM}
2009), September 20-26, 2009, Edmonton, Alberta, Canada},
pages = {483--486},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICSM.2009.5306281},
doi = {10.1109/ICSM.2009.5306281},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/SteffenJWM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MargariaBWVHS09,
author = {Tiziana Margaria and
Marco Bakera and
Christian Wagner and
Emil Vassev and
Michael G. Hinchey and
Bernhard Steffen},
editor = {Ewen Denney and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
title = {Component-Oriented Behavior Extraction for Autonomic System Design},
booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
California, USA, April 6-8, 2009},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2009-215407}},
pages = {66--75},
year = {2009},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MargariaBWVHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MargariaMKIS09,
author = {Tiziana Margaria and
Daniel Meyer and
Christian Kubczak and
Malte Isberner and
Bernhard Steffen},
editor = {Abraham Bernstein and
David R. Karger and
Tom Heath and
Lee Feigenbaum and
Diana Maynard and
Enrico Motta and
Krishnaprasad Thirunarayan},
title = {Synthesizing Semantic Web Service Compositions with jMosel and Golog},
booktitle = {The Semantic Web - {ISWC} 2009, 8th International Semantic Web Conference,
{ISWC} 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5823},
pages = {392--407},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04930-9\_25},
doi = {10.1007/978-3-642-04930-9\_25},
timestamp = {Tue, 07 Sep 2021 13:47:49 +0200},
biburl = {https://dblp.org/rec/conf/semweb/MargariaMKIS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/LamprechtNMS09,
author = {Anna{-}Lena Lamprecht and
Stefan Naujokat and
Tiziana Margaria and
Bernhard Steffen},
editor = {M. Scott Marshall and
Albert Burger and
Paolo Romano and
Adrian Paschke and
Andrea Splendiani},
title = {Semantics-Based Composition of {EMBOSS} Services with Bio-jETI},
booktitle = {Proceedings of the Workshop on Semantic Web Applications and Tools
for Life Sciences, Amsterdam, The Netherlands, November 20, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {559},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-559/Paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/swat4ls/LamprechtNMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/igi/09/MargariaS09,
author = {Tiziana Margaria and
Bernhard Steffen},
editor = {Jorge Cardoso and
Wil M. P. van der Aalst},
title = {Business Process Modeling in the jABC},
booktitle = {Handbook of Research on Business Process Modeling},
pages = {1--26},
publisher = {{IGI} Global},
year = {2009},
url = {https://doi.org/10.4018/978-1-60566-288-6.ch001},
doi = {10.4018/978-1-60566-288-6.CH001},
timestamp = {Thu, 03 Feb 2022 09:27:46 +0100},
biburl = {https://dblp.org/rec/books/igi/09/MargariaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/KubczakMS009,
author = {Christian Kubczak and
Tiziana Margaria and
Bernhard Steffen and
Ralf Nagel},
editor = {Charles Petrie and
Tiziana Margaria and
Holger Lausen and
Michal Zaremba},
title = {Service-oriented Mediation with jABC/jETI},
booktitle = {Semantic Web Services Challenge, Results from the First Year},
series = {Semantic Web And Beyond},
volume = {8},
pages = {71--99},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-72496-6\_5},
doi = {10.1007/978-0-387-72496-6\_5},
timestamp = {Sun, 02 Jun 2019 20:42:29 +0200},
biburl = {https://dblp.org/rec/books/sp/09/KubczakMS009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/MargariaBKNS09,
author = {Tiziana Margaria and
Marco Bakera and
Christian Kubczak and
Stefan Naujokat and
Bernhard Steffen},
editor = {Charles Petrie and
Tiziana Margaria and
Holger Lausen and
Michal Zaremba},
title = {Automatic Generation of the {SWS-} Challenge Mediator with jABC/ABC},
booktitle = {Semantic Web Services Challenge, Results from the First Year},
series = {Semantic Web And Beyond},
volume = {8},
pages = {119--138},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-72496-6\_7},
doi = {10.1007/978-0-387-72496-6\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/09/MargariaBKNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/BrambillaCVFKMSW09,
author = {Marco Brambilla and
Stefano Ceri and
Emanuele Della Valle and
Federico M. Facca and
Christian Kubczak and
Tiziana Margaria and
Bernhard Steffen and
Christian Winkler},
editor = {Charles Petrie and
Tiziana Margaria and
Holger Lausen and
Michal Zaremba},
title = {Comparison: Mediation on WebML/WebRatio and jABC/jETI},
booktitle = {Semantic Web Services Challenge, Results from the First Year},
series = {Semantic Web And Beyond},
volume = {8},
pages = {153--166},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-72496-6\_9},
doi = {10.1007/978-0-387-72496-6\_9},
timestamp = {Mon, 03 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/09/BrambillaCVFKMSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/KubczakMSWH09,
author = {Christian Kubczak and
Tiziana Margaria and
Bernhard Steffen and
Christian Winkler and
Hardi Hungar},
editor = {Charles Petrie and
Tiziana Margaria and
Holger Lausen and
Michal Zaremba},
title = {An Approach to Discovery with miAamics and jABC},
booktitle = {Semantic Web Services Challenge, Results from the First Year},
series = {Semantic Web And Beyond},
volume = {8},
pages = {217--234},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-72496-6\_13},
doi = {10.1007/978-0-387-72496-6\_13},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/09/KubczakMSWH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/KusterKMS09,
author = {Ulrich K{\"{u}}ster and
Birgitta K{\"{o}}nig{-}Ries and
Tiziana Margaria and
Bernhard Steffen},
editor = {Charles Petrie and
Tiziana Margaria and
Holger Lausen and
Michal Zaremba},
title = {Comparison: Handling Preferences with {DIANE} and miAamics},
booktitle = {Semantic Web Services Challenge, Results from the First Year},
series = {Semantic Web And Beyond},
volume = {8},
pages = {265--271},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-72496-6\_16},
doi = {10.1007/978-0-387-72496-6\_16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/09/KusterKMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/PetrieKMZLK09,
author = {Charles Petrie and
Ulrich K{\"{u}}ster and
Tiziana Margaria and
Michal Zaremba and
Holger Lausen and
Srdjan Komazec},
editor = {Charles Petrie and
Tiziana Margaria and
Holger Lausen and
Michal Zaremba},
title = {Status, Perspectives, and Lessons Learned},
booktitle = {Semantic Web Services Challenge, Results from the First Year},
series = {Semantic Web And Beyond},
volume = {8},
pages = {275--284},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-72496-6\_17},
doi = {10.1007/978-0-387-72496-6\_17},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/09/PetrieKMZLK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/PLMZ2009,
editor = {Charles Petrie and
Tiziana Margaria and
Holger Lausen and
Michal Zaremba},
title = {Semantic Web Services Challenge, Results from the First Year},
series = {Semantic Web And Beyond},
volume = {8},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-72496-6},
doi = {10.1007/978-0-387-72496-6},
isbn = {978-0-387-72495-9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/PLMZ2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HappeKBGHLMMMR09,
author = {Jens Happe and
Heiko Koziolek and
Umesh Bellur and
Holger Giese and
Wilhelm Hasselbring and
Robert Laddaga and
Tiziana Margaria and
Josu Martinez and
Christian M{\"{u}}ller{-}Schloer and
Roland Reichle},
editor = {Artur Andrzejak and
Kurt Geihs and
Onn Shehory and
John Wilkes},
title = {The Role of Models in Self-adaptive and Self-healing Systems},
booktitle = {Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09201},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2100/},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HappeKBGHLMMMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MargariaBW09,
author = {Tiziana Margaria and
Marco Bakera and
Christian Wagner},
editor = {Artur Andrzejak and
Kurt Geihs and
Onn Shehory and
John Wilkes},
title = {Component-Oriented Behavior Extraction for Autonomic System Design},
booktitle = {Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09201},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2096/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MargariaBW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/LamprechtMSSHG08,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Bernhard Steffen and
Alexander Sczyrba and
Sven Hartmeier and
Robert Giegerich},
title = {GeneFisher-P: variations of GeneFisher as processes in Bio-jETI},
journal = {{BMC} Bioinform.},
volume = {9},
number = {{S-4}},
year = {2008},
url = {https://doi.org/10.1186/1471-2105-9-S4-S13},
doi = {10.1186/1471-2105-9-S4-S13},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/LamprechtMSSHG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/MargariaKS08,
author = {Tiziana Margaria and
Christian Kubczak and
Bernhard Steffen},
title = {Bio-jETI: a service integration, design, and provisioning platform
for orchestrated bioinformatics processes},
journal = {{BMC} Bioinform.},
volume = {9},
number = {{S-4}},
year = {2008},
url = {https://doi.org/10.1186/1471-2105-9-S4-S12},
doi = {10.1186/1471-2105-9-S4-S12},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/MargariaKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HincheyJCCBM08,
author = {Mike Hinchey and
Michael Jackson and
Patrick Cousot and
Byron Cook and
Jonathan P. Bowen and
Tiziana Margaria},
title = {Software engineering and formal methods},
journal = {Commun. {ACM}},
volume = {51},
number = {9},
pages = {54--59},
year = {2008},
url = {https://doi.org/10.1145/1378727.1378742},
doi = {10.1145/1378727.1378742},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/HincheyJCCBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/JorgesMS08,
author = {Sven J{\"{o}}rges and
Tiziana Margaria and
Bernhard Steffen},
title = {Genesys: service-oriented construction of property conform code generators},
journal = {Innov. Syst. Softw. Eng.},
volume = {4},
number = {4},
pages = {361--384},
year = {2008},
url = {https://doi.org/10.1007/s11334-008-0071-2},
doi = {10.1007/S11334-008-0071-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/JorgesMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MargariaS08,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {185},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.023},
doi = {10.1016/J.TCS.2008.03.023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MargariaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eon/KubczakMKLK08,
author = {Christian Kubczak and
Tiziana Margaria and
Matthias Kaiser and
Jens Lemcke and
Bjoern Knuth},
editor = {Raul Garcia{-}Castro and
Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
Charles J. Petrie and
Emanuele Della Valle and
Ulrich K{\"{u}}ster and
Michal Zaremba and
M. Omair Shafiq},
title = {Abductive Synthesis of the Mediator Scenario with jABC and {GEM}},
booktitle = {Proceedings of the 6th International Workshop on Evaluation of Ontology-based
Tools and the Semantic Web Service Challenge (EON-SWSC-2008), Tenerife,
Spain, June 1-2, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {359},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-359/Paper-5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/eon/KubczakMKLK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eon/Margaria08,
author = {Tiziana Margaria},
editor = {Raul Garcia{-}Castro and
Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
Charles J. Petrie and
Emanuele Della Valle and
Ulrich K{\"{u}}ster and
Michal Zaremba and
M. Omair Shafiq},
title = {Synthesizing the Mediator with jABC/ABC},
booktitle = {Proceedings of the 6th International Workshop on Evaluation of Ontology-based
Tools and the Semantic Web Service Challenge (EON-SWSC-2008), Tenerife,
Spain, June 1-2, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {359},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-359/Paper-4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eon/Margaria08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Margaria08,
author = {Tiziana Margaria},
title = {The Semantic Web Services Challenge: Tackling Complexity at the Orchestration
Level},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {183--189},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.41},
doi = {10.1109/ICECCS.2008.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Margaria08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbra/LamprechtMS08,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Bernhard Steffen},
editor = {Ion I. Mandoiu and
Raj Sunderraman and
Alexander Zelikovsky},
title = {Seven Variations of an Alignment Workflow - An Illustration of Agile
Process Design and Management in Bio-jETI},
booktitle = {Bioinformatics Research and Applications, Fourth International Symposium,
{ISBRA} 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4983},
pages = {445--456},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79450-9\_42},
doi = {10.1007/978-3-540-79450-9\_42},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isbra/LamprechtMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JungMNSSV08,
author = {Georg Jung and
Tiziana Margaria and
Ralf Nagel and
Wolfgang Schubert and
Bernhard Steffen and
Horst Voigt},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{SCA} and jABC: Bringing a Service-Oriented Paradigm to Web-Service
Construction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {139--154},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_11},
doi = {10.1007/978-3-540-88479-8\_11},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/JungMNSSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaS08,
author = {Tiziana Margaria and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Agile {IT:} Thinking in User-Centric Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {490--502},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_35},
doi = {10.1007/978-3-540-88479-8\_35},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BajohrM08,
author = {Markus Bajohr and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {High Service Availability in MaTRICS for the {OCS}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {572--586},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_41},
doi = {10.1007/978-3-540-88479-8\_41},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BajohrM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HormannMMNST08,
author = {Martina H{\"{o}}rmann and
Tiziana Margaria and
Thomas Mender and
Ralf Nagel and
Bernhard Steffen and
Hong Trinh},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The jABC Approach to Rigorous Collaborative Development of {SCM} Applications},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {724--737},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_52},
doi = {10.1007/978-3-540-88479-8\_52},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HormannMMNST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HincheyKLLMMPSW08,
author = {Michael G. Hinchey and
Karama Kanoun and
Mikael Lindvall and
Michael R. Lyu and
Tiziana Margaria and
Veena B. Mendiratta and
Paul Pettersson and
Norman F. Schneidewind and
W. Eric Wong},
title = {Anything You Want to Ask about Software Reliability Engineering},
booktitle = {19th International Symposium on Software Reliability Engineering {(ISSRE}
2008), 11-14 November 2008, Seattle/Redmond, WA, {USA}},
pages = {6},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISSRE.2008.67},
doi = {10.1109/ISSRE.2008.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/HincheyKLLMMPSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RaffeltMSM08,
author = {Harald Raffelt and
Tiziana Margaria and
Bernhard Steffen and
Maik Merten},
editor = {Tevfik Bultan and
Tao Xie},
title = {Hybrid test of web applications with webtest},
booktitle = {Proceedings of the 2008 Workshop on Testing, Analysis, and Verification
of Web Services and Applications, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2008), {TAV-WEB} 2008, Seattle, Washington, USA, July 21,
2008},
pages = {1--7},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390832.1390833},
doi = {10.1145/1390832.1390833},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/RaffeltMSM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KarusseitMW08,
author = {Martin Karusseit and
Tiziana Margaria and
Holger Willebrandt},
editor = {Tevfik Bultan and
Tao Xie},
title = {Policy expression and checking in XACML, WS-Policies, and the jABC},
booktitle = {Proceedings of the 2008 Workshop on Testing, Analysis, and Verification
of Web Services and Applications, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2008), {TAV-WEB} 2008, Seattle, Washington, USA, July 21,
2008},
pages = {20--26},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390832.1390836},
doi = {10.1145/1390832.1390836},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KarusseitMW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/LamprechtMS08,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Bernhard Steffen},
editor = {Albert Burger and
Adrian Paschke and
Paolo Romano and
Andrea Splendiani},
title = {Supporting Process Development in Bio-jETI by Model Checking and Synthesis},
booktitle = {Proceedings of the Workshop on Semantic Web Applications and Tools
for Life Sciences {(} {SWAT4LS} {)} Edinburgh, United Kingdom, November
28, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {435},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-435/paper09.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/swat4ls/LamprechtMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2008,
editor = {Athman Bouguettaya and
Ingolf Kr{\"{u}}ger and
Tiziana Margaria},
title = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
Sydney, Australia, December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5364},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89652-4},
doi = {10.1007/978-3-540-89652-4},
isbn = {978-3-540-89647-0},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2008,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
publisher = {Springer},
year = {2008},
isbn = {978-3-540-88478-1},
timestamp = {Fri, 14 Nov 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/KubczakMNS08,
author = {Christian Kubczak and
Tiziana Margaria and
Ralf Nagel and
Bernhard Steffen},
title = {Plug and Play with FMICS-jETI: Beyond Scripting and Coding},
journal = {{ERCIM} News},
volume = {2008},
number = {73},
year = {2008},
url = {http://ercim-news.ercim.eu/plug-and-play-with-fmics-jeti-beyond-scripting-and-coding},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/KubczakMNS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BakeraM08,
author = {Marco Bakera and
Tiziana Margaria},
title = {The {SHADOWS} Story on Implementation of Self-Healing Systems},
journal = {{ERCIM} News},
volume = {2008},
number = {75},
year = {2008},
url = {http://ercim-news.ercim.eu/the-shadows-story-on-self-healing-systems},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BakeraM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Margaria07,
author = {Tiziana Margaria},
title = {Service Is in the Eyes of the Beholder},
journal = {Computer},
volume = {40},
number = {11},
pages = {33--37},
year = {2007},
url = {https://doi.org/10.1109/MC.2007.398},
doi = {10.1109/MC.2007.398},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Margaria07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WermelingerMC07,
author = {Michel Wermelinger and
Tiziana Margaria and
Maura Cerioli},
title = {Introduction to the special section on fundamental approaches to software
engineering},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {5-6},
pages = {415--416},
year = {2007},
url = {https://doi.org/10.1007/s10009-007-0042-1},
doi = {10.1007/S10009-007-0042-1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/WermelingerMC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CerioliMW07,
author = {Maura Cerioli and
Tiziana Margaria and
Michel Wermelinger},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {376},
number = {3},
pages = {137--138},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.02.002},
doi = {10.1016/J.TCS.2007.02.002},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CerioliMW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurospi/AbrahamssonBTM07,
author = {Pekka Abrahamsson and
Nathan Baddoo and
Tiziana Margaria and
Richard Messnarz},
editor = {Pekka Abrahamsson and
Nathan Baddoo and
Tiziana Margaria and
Richard Messnarz},
title = {Software Process Improvement - EuroSPI 2007 Conference},
booktitle = {Software Process Improvement, 14th European Conference, EuroSPI 2007,
Potsdam, Germany, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4764},
pages = {1--6},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75381-0\_1},
doi = {10.1007/978-3-540-75381-0\_1},
timestamp = {Sun, 02 Jun 2019 21:15:01 +0200},
biburl = {https://dblp.org/rec/conf/eurospi/AbrahamssonBTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/RaffeltSM07,
author = {Harald Raffelt and
Bernhard Steffen and
Tiziana Margaria},
editor = {Karen Yorav},
title = {Dynamic Testing Via Automata Learning},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {136--152},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_13},
doi = {10.1007/978-3-540-77966-7\_13},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/RaffeltSM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/KubczakMSN07,
author = {Christian Kubczak and
Tiziana Margaria and
Bernhard Steffen and
Stefan Naujokat},
title = {Service-Oriented Mediation with jETI/jABC: Verification and Export},
booktitle = {Proceedings of the 2007 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, 2-5 November 2007, Silicon Valley, CA, {USA}},
pages = {144--147},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WIIATW.2007.4427559},
doi = {10.1109/WIIATW.2007.4427559},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iat/KubczakMSN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/KubczakMWS07,
author = {Christian Kubczak and
Tiziana Margaria and
Christian Winkler and
Bernhard Steffen},
title = {An Approach to Discovery with miAamics and jABC},
booktitle = {Proceedings of the 2007 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, 2-5 November 2007, Silicon Valley, CA, {USA}},
pages = {157--160},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WIIATW.2007.4427562},
doi = {10.1109/WIIATW.2007.4427562},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iat/KubczakMWS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MargariaRSL07,
author = {Tiziana Margaria and
Harald Raffelt and
Bernhard Steffen and
Martin Leucker},
title = {The LearnLib in FMICS-jETI},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {340--352},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.43},
doi = {10.1109/ICECCS.2007.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MargariaRSL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MargariaWKSBCCVFT07,
author = {Tiziana Margaria and
Christian Winkler and
Christian Kubczak and
Bernhard Steffen and
Marco Brambilla and
Stefano Ceri and
Dario Cerizza and
Emanuele Della Valle and
Federico Michele Facca and
Christina Tziviskou},
editor = {Jorge Cardoso and
Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {The {SWS} Mediator with {WEBML/WEBRATIO} and {JABC/JETI:} {A} Comparison},
booktitle = {{ICEIS} 2007 - Proceedings of the Ninth International Conference on
Enterprise Information Systems, Volume SAIC, Funchal, Madeira, Portugal,
June 12-16, 2007},
pages = {422--429},
year = {2007},
timestamp = {Thu, 03 Feb 2022 09:27:49 +0100},
biburl = {https://dblp.org/rec/conf/iceis/MargariaWKSBCCVFT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/PetrieMKLZ07,
author = {Charles J. Petrie and
Tiziana Margaria and
Ulrich K{\"{u}}ster and
Holger Lausen and
Michal Zaremba},
editor = {Jorge Cardoso and
Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {{SWS} Challenge - Status, Perspectives, Lessons Learned So Far},
booktitle = {{ICEIS} 2007 - Proceedings of the Ninth International Conference on
Enterprise Information Systems, Volume SAIC, Funchal, Madeira, Portugal,
June 12-16, 2007},
pages = {447--452},
year = {2007},
timestamp = {Mon, 14 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceis/PetrieMKLZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BakeraMRS07,
author = {Marco Bakera and
Tiziana Margaria and
Clemens D. Renner and
Bernhard Steffen},
editor = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels},
title = {Verification, Diagnosis and Adaptation: Tool supported enhancement
of the model-driven verification process},
booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
Verification and Validation, Poitiers-Futuroscope, France, December
12-14, 2007},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{RNTI-SM-1}},
pages = {85--97},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2007},
url = {http://editions-rnti.fr/?inprocid=1000536},
timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
biburl = {https://dblp.org/rec/conf/isola/BakeraMRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/MargariaS07,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Middleware: just another level for orchestration},
booktitle = {Proceedings of the Workshop on Middleware for Next-Generation Converged
Networks and Applications, {MNCNA} 2007, Newport Beach, California,
USA, November 26, 2007},
pages = {4},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1376878.1376882},
doi = {10.1145/1376878.1376882},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/MargariaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/MargariaS07,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {{LTL} Guided Planning: Revisiting Automatic Tool Composition in {ETI}},
booktitle = {31st Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-31}
2007), 6-8 March 2007, Loyola College, Columbia, MD, {USA}},
pages = {214--226},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/SEW.2007.101},
doi = {10.1109/SEW.2007.101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/MargariaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurospi/2007,
editor = {Pekka Abrahamsson and
Nathan Baddoo and
Tiziana Margaria and
Richard Messnarz},
title = {Software Process Improvement, 14th European Conference, EuroSPI 2007,
Potsdam, Germany, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4764},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75381-0},
doi = {10.1007/978-3-540-75381-0},
isbn = {978-3-540-74765-9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurospi/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MargariaS06,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Service Engineering: Linking Business and {IT}},
journal = {Computer},
volume = {39},
number = {10},
pages = {45--55},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.355},
doi = {10.1109/MC.2006.355},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MargariaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/PadbergMT06,
author = {Julia Padberg and
Tiziana Margaria and
Gabriele Taentzer},
title = {Editorial},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {4},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.4.29.1},
doi = {10.14279/TUJ.ECEASST.4.29.1},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/PadbergMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BajohrM06,
author = {Markus Bajohr and
Tiziana Margaria},
title = {MaTRICS: {A} service-based management tool for remote intelligent
configuration of systems},
journal = {Innov. Syst. Softw. Eng.},
volume = {2},
number = {2},
pages = {99--111},
year = {2006},
url = {https://doi.org/10.1007/s11334-006-0003-y},
doi = {10.1007/S11334-006-0003-Y},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/BajohrM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/Margaria06,
author = {Tiziana Margaria},
title = {Guest Editorial},
journal = {Trans. {SDPS}},
volume = {10},
number = {4},
pages = {1},
year = {2006},
url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid10-4-01},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jid/Margaria06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/ArenasBM06,
author = {Alvaro E. Arenas and
Juan Bicarregui and
Tiziana Margaria},
title = {The {FMICS} View on the Verified Software Repository},
journal = {Trans. {SDPS}},
volume = {10},
number = {4},
pages = {47--54},
year = {2006},
url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid10-4-05},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jid/ArenasBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MargariaS06,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Special Section on "Leveraging Formal Methods"},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {6},
pages = {467--469},
year = {2006},
url = {https://doi.org/10.1007/s10009-006-0028-4},
doi = {10.1007/S10009-006-0028-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MargariaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MargariaRS06,
author = {Tiziana Margaria and
Oliver R{\"{u}}thing and
Bernhard Steffen},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {ViDoC - Visual Design of Optimizing Compilers},
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 = {145--159},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_7},
doi = {10.1007/978-3-540-71322-7\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MargariaRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/LamprechtMS06,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Bernhard Steffen},
editor = {Alan Mycroft and
Andreas Zeller},
title = {Data-Flow Analysis as Model Checking Within the jABC},
booktitle = {Compiler Construction, 15th International Conference, {CC} 2006, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2006, Vienna, Austria, March 30-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3923},
pages = {101--104},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11688839\_9},
doi = {10.1007/11688839\_9},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/LamprechtMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SteffenMNJK06,
author = {Bernhard Steffen and
Tiziana Margaria and
Ralf Nagel and
Sven J{\"{o}}rges and
Christian Kubczak},
editor = {Eyal Bin and
Avi Ziv and
Shmuel Ur},
title = {Model-Driven Development with the jABC},
booktitle = {Hardware and Software, Verification and Testing, Second International
Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
23-26, 2006. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4383},
pages = {92--108},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70889-6\_7},
doi = {10.1007/978-3-540-70889-6\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/SteffenMNJK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MargariaKNS06,
author = {Tiziana Margaria and
Christian Kubczak and
Marc Njoku and
Bernhard Steffen},
title = {Model-based Design of Distributed Collaborative Bioinformatics Processes
in the jABC},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {169--176},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.61},
doi = {10.1109/ICECCS.2006.61},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MargariaKNS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JorgesMS06,
author = {Sven J{\"{o}}rges and
Tiziana Margaria and
Bernhard Steffen},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {FormulaBuilder: a tool for graph-based modelling and generation of
formulae},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {815--818},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134422},
doi = {10.1145/1134285.1134422},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/JorgesMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10/MargariaHRRRS06,
author = {Tiziana Margaria and
Michael G. Hinchey and
Harald Raffelt and
James L. Rash and
Christopher A. Rouff and
Bernhard Steffen},
editor = {Yi Pan and
Franz J. Rammig and
Hartmut Schmeck and
Mauricio Solar},
title = {Completing and Adapting Models of Biological Processes},
booktitle = {Biologically Inspired Cooperative Computing, {IFIP} 19th World Computer
Congress, {TC} 10: 1st {IFIP} International Conference on Biologically
Inspired Computing, August 21-24, 2006, Santiago, Chile},
series = {{IFIP}},
volume = {216},
pages = {43--54},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-34733-2\_5},
doi = {10.1007/978-0-387-34733-2\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10/MargariaHRRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/SteffenM06,
author = {Bernhard Steffen and
Tiziana Margaria},
editor = {Bernd Kleinjohann and
Lisa Kleinjohann and
Ricardo Jorge Machado and
Carlos Eduardo Pereira and
P. S. Thiagarajan},
title = {Continuous Engineering of Embedded systems},
booktitle = {From Model-Driven Design to Resource Management for Distributed Embedded
Systems, {IFIP} {TC} 10 Working Conference on Distributed and Parallel
Embedded Systems {(DIPES} 2006), October 11-13, 2006, Braga, Portugal},
series = {{IFIP}},
volume = {225},
pages = {45--54},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-39362-9\_6},
doi = {10.1007/978-0-387-39362-9\_6},
timestamp = {Wed, 09 Aug 2023 08:39:52 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/SteffenM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KubczakMFS06,
author = {Christian Kubczak and
Tiziana Margaria and
Arno Fritsch and
Bernhard Steffen},
title = {Biological {LC/MS} Preprocessing and Analysis with jABC, jETI and
xcms},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {303--308},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.48},
doi = {10.1109/ISOLA.2006.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KubczakMFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BajohrMS06,
author = {Markus Bajohr and
Tiziana Margaria and
Bernhard Steffen},
title = {Service Based Enabling Service Availability in the MaTRICS: {A} Model-Driven
Approach},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {317--324},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.15},
doi = {10.1109/ISOLA.2006.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BajohrMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaKSN06,
author = {Tiziana Margaria and
Christian Kubczak and
Bernhard Steffen and
Stefan Naujokat},
title = {The FMICS-jETI Platform: Status and Perspectives},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {402--407},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.50},
doi = {10.1109/ISOLA.2006.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MargariaKSN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WagnerMP06,
author = {Christian Wagner and
Tiziana Margaria and
Hans{-}Georg Pagendarm},
title = {Comparative Analysis of Tools for Automated Software Re-engineering
Purposes},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {433--440},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.67},
doi = {10.1109/ISOLA.2006.67},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WagnerMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/HincheyMRRS06,
author = {Michael G. Hinchey and
Tiziana Margaria and
James L. Rash and
Christopher A. Rouff and
Bernhard Steffen},
editor = {Holger Giese and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Enhanced Requirements-Based Programming for Embedded Systems Design},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2006-1},
pages = {43--52},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2006},
url = {http://www.sse-tubs.de/publications/GRS\_MBEES\_InfoBericht\_06.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:38 +0100},
biburl = {https://dblp.org/rec/conf/mbees/HincheyMRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/LamprechtMS06,
author = {Anna{-}Lena Lamprecht and
Tiziana Margaria and
Bernhard Steffen},
editor = {Bettina Biel and
Matthias Book and
Volker Gruhn},
title = {Datenflussanalyse als Modelchecking im jABC},
booktitle = {Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik,
28.-31.3.2006 in Leipzig},
series = {{LNI}},
volume = {{P-79}},
pages = {125--130},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/24305},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/LamprechtMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/MargariaS06,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Service Engineering: Linking Business and {IT}},
booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
MD, {USA}},
pages = {33--36},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEW.2006.29},
doi = {10.1109/SEW.2006.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/MargariaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/TopnikWMS06,
author = {Christian Topnik and
Eva Wilhelm and
Tiziana Margaria and
Bernhard Steffen},
editor = {Antti Valmari},
title = {jMosel: {A} Stand-Alone Tool and jABC Plugin for M2L(Str)},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {293--298},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_18},
doi = {10.1007/11691617\_18},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/TopnikWMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2004,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, First International Symposium,
ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4313},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11925040},
doi = {10.1007/11925040},
isbn = {3-540-48928-2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/LoghiMPS05,
author = {Mirko Loghi and
Tiziana Margaria and
Graziano Pravadelli and
Bernhard Steffen},
title = {Dynamic and Formal Verification of Embedded Systems: {A} Comparative
Survey},
journal = {Int. J. Parallel Program.},
volume = {33},
number = {6},
pages = {585--611},
year = {2005},
url = {https://doi.org/10.1007/s10766-005-8911-2},
doi = {10.1007/S10766-005-8911-2},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/LoghiMPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MargariaRS05,
author = {Tiziana Margaria and
Harald Raffelt and
Bernhard Steffen},
title = {Knowledge-based relevance filtering for efficient system-level test-based
model generation},
journal = {Innov. Syst. Softw. Eng.},
volume = {1},
number = {2},
pages = {147--156},
year = {2005},
url = {https://doi.org/10.1007/s11334-005-0016-y},
doi = {10.1007/S11334-005-0016-Y},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/MargariaRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Margaria05,
author = {Tiziana Margaria},
title = {Web services-based tool-integration in the {ETI} platform},
journal = {Softw. Syst. Model.},
volume = {4},
number = {2},
pages = {141--156},
year = {2005},
url = {https://doi.org/10.1007/s10270-004-0072-z},
doi = {10.1007/S10270-004-0072-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Margaria05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Margaria05,
author = {Tiziana Margaria},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {4},
pages = {293--296},
year = {2005},
url = {https://doi.org/10.1007/s10009-005-0197-6},
doi = {10.1007/S10009-005-0197-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Margaria05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MargariaSSZ05,
author = {Tiziana Margaria and
A. Prasad Sistla and
Bernhard Steffen and
Lenore D. Zuck},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {Taming Interface Specifications},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {548--561},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_41},
doi = {10.1007/11539452\_41},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MargariaSSZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/MargariaNS05,
author = {Tiziana Margaria and
Ralf Nagel and
Bernhard Steffen},
title = {Remote Integration and Coordination of Verification Tools in {JETI}},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {431--436},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.59},
doi = {10.1109/ECBS.2005.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/MargariaNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icps/BajohrM05,
author = {Markus Bajohr and
Tiziana Margaria},
title = {MaTRICS: a management tool for the remote intelligent configuration
of (pervasive) systems},
booktitle = {Proceedings of the International Conference on Pervasive Services
2005, {ICPS} '05, Santorini, Greece, July 11-14, 2005},
pages = {457--460},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PERSER.2005.1506567},
doi = {10.1109/PERSER.2005.1506567},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icps/BajohrM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MargariaSR05,
author = {Tiziana Margaria and
Bernhard Steffen and
Manfred Reitenspie{\ss}},
editor = {Boualem Benatallah and
Fabio Casati and
Paolo Traverso},
title = {Service-Oriented Design: The Roots},
booktitle = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference,
Amsterdam, The Netherlands, December 12-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3826},
pages = {450--464},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596141\_34},
doi = {10.1007/11596141\_34},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/MargariaSR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/MargariaRS05,
author = {Tiziana Margaria and
Harald Raffelt and
Bernhard Steffen},
title = {Analyzing second-order effects between optimizations for system-level
test-based model generation},
booktitle = {Proceedings 2005 {IEEE} International Test Conference, {ITC} 2005,
Austin, TX, USA, November 8-10, 2005},
pages = {7},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/TEST.2005.1584006},
doi = {10.1109/TEST.2005.1584006},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/MargariaRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/MargariaS05,
author = {Tiziana Margaria and
Bernhard Steffen},
editor = {Torsten Klein and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Aggressive Model-Driven Development: Synthesizing Systems from Models
viewed as Constraints},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2005-1},
pages = {51--62},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2005},
url = {http://www.sse-tubs.de/publications/KRS\_MBEES\_InfoBericht\_05.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:36 +0100},
biburl = {https://dblp.org/rec/conf/mbees/MargariaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/MargariaS05,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Second-Order Semantic Web},
booktitle = {29th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-29}
2005), 6-7 April 2005, Greenbelt, Maryland, {USA}},
pages = {219--227},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEW.2005.40},
doi = {10.1109/SEW.2005.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/MargariaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MargariaNS05,
author = {Tiziana Margaria and
Ralf Nagel and
Bernhard Steffen},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {jETI: {A} Tool for Remote Tool Integration},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {557--562},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_38},
doi = {10.1007/978-3-540-31980-1\_38},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MargariaNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/MargariaS05,
author = {Tiziana Margaria and
Bernhard Steffen},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {From the How to the What},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {448--459},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_48},
doi = {10.1007/978-3-540-69149-5\_48},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/MargariaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrac/MargariaS05,
author = {Tiziana Margaria and
Bernhard Steffen},
editor = {Michael G. Hinchey and
Patricia Rago and
James L. Rash and
Christopher A. Rouff and
Roy Sterritt and
Walt Truszkowski},
title = {Run-Time Agents as a Means of Reconciling Flexibility and Scalability
of Services},
booktitle = {Innovative Concepts for Autonomic and Agent-Based Systems, Second
International Workshop on Radical Agent Concepts, {WRAC} 2005, Greenbelt,
MD, USA, September 20-22, 2005. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3825},
pages = {257--268},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11964995\_23},
doi = {10.1007/11964995\_23},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrac/MargariaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/KarusseitM05,
author = {Martin Karusseit and
Tiziana Margaria},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Feature-based Modelling of a Complex, Online-Reconfigurable Decision
Support Service},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {9--25},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/KarusseitM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KarusseitM06,
author = {Martin Karusseit and
Tiziana Margaria},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Feature-based Modelling of a Complex, Online-Reconfigurable Decision
Support Service},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {101--118},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.049},
doi = {10.1016/J.ENTCS.2005.12.049},
timestamp = {Fri, 20 Jan 2023 11:40:19 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KarusseitM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2005,
editor = {Tiziana Margaria and
Mieke Massink},
title = {Proceedings of the 10th international workshop on Formal methods for
industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
5-6, 2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081180},
doi = {10.1145/1081180},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MargariaSR05,
author = {Tiziana Margaria and
Bernhard Steffen and
Manfred Reitenspie{\ss}},
editor = {Francisco Curbera and
Bernd J. Kr{\"{a}}mer and
Mike P. Papazoglou},
title = {Service-Oriented Design: The jABC Approach},
booktitle = {Service Oriented Computing (SOC), 15.-18. November 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05462},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/521},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MargariaSR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MargariaS04,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Lightweight coarse-grained coordination: a scalable system-level approach},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {2-3},
pages = {107--123},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0119-4},
doi = {10.1007/S10009-003-0119-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MargariaS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/MargariaNRS04,
author = {Tiziana Margaria and
Oliver Niese and
Harald Raffelt and
Bernhard Steffen},
title = {Efficient test-based model generation for legacy reactive systems},
booktitle = {Ninth {IEEE} International High-Level Design Validation and Test Workshop
2004, Sonoma Valley, CA, USA, November 10-12, 2004},
pages = {95--100},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HLDVT.2004.1431246},
doi = {10.1109/HLDVT.2004.1431246},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/MargariaNRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/Margaria04,
author = {Tiziana Margaria},
title = {Modeling Dependable Systems: What Can Model Driven Development Contribute
and What Likely Not?},
booktitle = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
pages = {113--120},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISORC.2004.1300336},
doi = {10.1109/ISORC.2004.1300336},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/Margaria04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2004,
editor = {Michel Wermelinger and
Tiziana Margaria},
title = {Fundamental Approaches to Software Engineering, 7th International
Conference, {FASE} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004 Barcelona, Spain,
March 29 - april 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2984},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b95935},
doi = {10.1007/B95935},
isbn = {3-540-21305-8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2004i,
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2004i.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Margaria03,
author = {Tiziana Margaria},
title = {Preface by the section editor},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {3},
pages = {266--270},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0106-1},
doi = {10.1007/S10009-002-0106-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Margaria03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MargariaY03,
author = {Tiziana Margaria and
Wang Yi},
title = {Introductory paper: scalability aspects of validation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {1},
pages = {1--3},
year = {2003},
url = {https://doi.org/10.1007/s10009-003-0112-y},
doi = {10.1007/S10009-003-0112-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MargariaY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Margaria03,
author = {Tiziana Margaria},
editor = {Mark Dermot Ryan and
John{-}Jules Ch. Meyer and
Hans{-}Dieter Ehrich},
title = {Components, Features, and Agents in the {ABC}},
booktitle = {Objects, Agents, and Features, International Seminar, Dagstuhl Castle,
Germany, February 2003, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {2975},
pages = {154--174},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25930-5\_10},
doi = {10.1007/978-3-540-25930-5\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Margaria03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/BraunMS03,
author = {Volker Braun and
Tiziana Margaria and
Bernhard Steffen},
editor = {Hartmut Ehrig and
Wolfgang Reisig and
Grzegorz Rozenberg and
Herbert Weber},
title = {The Electronic Tool Integration Platform {(ETI)} and the Petri Net
Technology},
booktitle = {Petri Net Technology for Communication-Based Systems - Advances in
Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2472},
pages = {363--382},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40022-6\_18},
doi = {10.1007/978-3-540-40022-6\_18},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/BraunMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/HungarMS03,
author = {Hardi Hungar and
Tiziana Margaria and
Bernhard Steffen},
title = {Test-Based Model Generation For Legacy Systems},
booktitle = {Proceedings 2003 International Test Conference {(ITC} 2003), Breaking
Test Interface Bottlenecks, 28 September - 3 October 2003, Charlotte,
NC, {USA}},
pages = {971--980},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/TEST.2003.1271084},
doi = {10.1109/TEST.2003.1271084},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/HungarMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/MargariaNSE02,
author = {Tiziana Margaria and
Oliver Niese and
Bernhard Steffen and
Andrei Erochok},
title = {System level testing of virtual switch (re-)configuration over {IP}},
booktitle = {7th European Test Workshop, {ETW} 2002, Corfu, Greece, May 26-29,
2002},
pages = {67--72},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ETW.2002.1029641},
doi = {10.1109/ETW.2002.1029641},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ets/MargariaNSE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HagererHMNSI02,
author = {Andreas Hagerer and
Hardi Hungar and
Tiziana Margaria and
Oliver Niese and
Bernhard Steffen and
Hans{-}Dieter Ide},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Demonstration of an Operational Procedure for the Model-Based Testing
of {CTI} Systems},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {336--340},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_25},
doi = {10.1007/3-540-45923-5\_25},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/HagererHMNSI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i3e/MargariaK02,
author = {Tiziana Margaria and
Martin Karusseit},
editor = {Jo{\~{a}}o L. Monteiro and
Paula M. C. Swatman and
Lu{\'{\i}}s Valadares Tavares},
title = {Community Usage of the Online Conference Service: an Experience Report
from three {CS} Conferences},
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 = {497--511},
publisher = {Kluwer},
year = {2002},
timestamp = {Wed, 09 Oct 2002 13:14:37 +0200},
biburl = {https://dblp.org/rec/conf/i3e/MargariaK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rissef/HungarMS02,
author = {Hardi Hungar and
Tiziana Margaria and
Bernhard Steffen},
editor = {Martin Wirsing and
Alexander Knapp and
Simonetta Balsamo},
title = {Model Generation for Legacy Systems},
booktitle = {Radical Innovations of Software and Systems Engineering in the Future,
9th International Workshop, {RISSEF} 2002, Venice, Italy, October
7-11, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2941},
pages = {167--183},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24626-8\_11},
doi = {10.1007/978-3-540-24626-8\_11},
timestamp = {Sun, 02 Jun 2019 21:24:25 +0200},
biburl = {https://dblp.org/rec/conf/rissef/HungarMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MargariaNS02,
author = {Tiziana Margaria and
Oliver Niese and
Bernhard Steffen},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Demonstration of an Automated Integrated Test Environment for Web-Based
Applications},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {250--253},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_23},
doi = {10.1007/3-540-46017-9\_23},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/MargariaNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Margaria02,
author = {Tiziana Margaria},
editor = {Tom Mens and
Andy Sch{\"{u}}rr and
Gabriele Taentzer},
title = {The Electronic Tool Integration Platform as a Supplier and User of
Graph Based Tools},
booktitle = {International Workshop on Graph-Based Tools, GraBaTs@ICGT 2002, Barcelona,
Spain, October 7-8, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {2},
pages = {32--46},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80527-4},
doi = {10.1016/S1571-0661(05)80527-4},
timestamp = {Tue, 06 Dec 2022 16:38:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Margaria02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MargariaS02,
author = {Tiziana Margaria and
Bernhard Steffen},
editor = {Rance Cleaveland and
Hubert Garavel},
title = {Scalable System-level {CTI} Testing through Lightweight Coarse-grained
Coordination},
booktitle = {7th International {ERCIM} Workshop in Formal Methods for Industrial
Critical Systems, {FMICS} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga,
Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {2},
pages = {66--83},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80404-3},
doi = {10.1016/S1571-0661(04)80404-3},
timestamp = {Tue, 06 Dec 2022 10:27:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MargariaS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/JonssonMNNS01,
author = {Bengt Jonsson and
Tiziana Margaria and
Gustaf Naeser and
Jan Nystr{\"{o}}m and
Bernhard Steffen},
title = {Incremental Requirement Specification for Evolving Systems},
journal = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {65--87},
year = {2001},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/JonssonMNNS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/NieseMHSBGI01,
author = {Oliver Niese and
Tiziana Margaria and
Andreas Hagerer and
Bernhard Steffen and
Georg Brune and
Werner Goerigk and
Hans{-}Dieter Ide},
title = {Automated regression testing of CTI-systems},
booktitle = {6th European Test Workshop, {ETW} 2001, Stockholm, Sweden, May 29
- June 1, 2001},
pages = {51--57},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ETW.2001.946662},
doi = {10.1109/ETW.2001.946662},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ets/NieseMHSBGI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NieseSMHBI01,
author = {Oliver Niese and
Bernhard Steffen and
Tiziana Margaria and
Andreas Hagerer and
Georg Brune and
Hans{-}Dieter Ide},
editor = {Heinrich Hu{\ss}mann},
title = {Library-Based Design and Consistency Checking of System-Level Industrial
Test Cases},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {233--248},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_17},
doi = {10.1007/3-540-45314-8\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/NieseSMHBI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/SteffenMB01,
author = {Bernhard Steffen and
Tiziana Margaria and
Volker Braun},
editor = {Matthew B. Dwyer},
title = {Coarse-Granular Model Checking in Practice},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {304--312},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_20},
doi = {10.1007/3-540-45139-0\_20},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/SteffenMB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/2001,
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9},
doi = {10.1007/3-540-44798-9},
isbn = {3-540-42541-1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2001,
editor = {Tiziana Margaria and
Wang Yi},
title = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9},
doi = {10.1007/3-540-45319-9},
isbn = {3-540-41865-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/JonssonMNNS00,
author = {Bengt Jonsson and
Tiziana Margaria and
Gustaf Naeser and
Jan Nystr{\"{o}}m and
Bernhard Steffen},
editor = {Muffy Calder and
Evan H. Magill},
title = {Incremental Requirement Specification for Evolving Systems},
booktitle = {Feature Interactions in Telecommunications and Software Systems VI,
May 17-19, 2000, Glasgow, Scotland, {UK}},
pages = {145--162},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fiw/JonssonMNNS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SteffenM99,
author = {Bernhard Steffen and
Tiziana Margaria},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen},
title = {METAFrame in Practice: Design of Intelligent Network Services},
booktitle = {Correct System Design, Recent Insight and Advances, (to Hans Langmaack
on the occasion of his retirement from his professorship at the University
of Kiel)},
series = {Lecture Notes in Computer Science},
volume = {1710},
pages = {390--415},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48092-7\_17},
doi = {10.1007/3-540-48092-7\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SteffenM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BraunKMS99,
author = {Volker Braun and
J{\"{u}}rgen Kreileder and
Tiziana Margaria and
Bernhard Steffen},
editor = {Rance Cleaveland},
title = {The {ETI} Online Service in Action},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th
International Conference, {TACAS} '99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {439--443},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_31},
doi = {10.1007/3-540-49059-0\_31},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BraunKMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FrieseMH98,
author = {Thomas Friese and
Tiziana Margaria and
Alfred Hofmann},
title = {Integrating Printed and Online Information},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {2},
pages = {202},
year = {1998},
url = {https://doi.org/10.1007/s100090050028},
doi = {10.1007/S100090050028},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FrieseMH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MargariaS98,
author = {Tiziana Margaria and
Bernhard Steffen},
editor = {Egidio Astesiano},
title = {Backtracking-Free Design Planning by Automatic Synthesis in METAFrame},
booktitle = {Fundamental Approaches to Software Engineering, 1st Internationsl
Conference, FASE'98, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1382},
pages = {188--204},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053591},
doi = {10.1007/BFB0053591},
timestamp = {Sat, 07 Sep 2019 11:59:24 +0200},
biburl = {https://dblp.org/rec/conf/fase/MargariaS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MargariaG98,
author = {Tiziana Margaria and
Volker Gruhn},
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {Flexible and Reliable Process Model Properties: An Integrated Approach},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1641},
pages = {213--227},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48257-1\_13},
doi = {10.1007/3-540-48257-1\_13},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/MargariaG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MargariaB98,
author = {Tiziana Margaria and
Volker Braun},
editor = {Tiziana Margaria and
Bernhard Steffen and
Roland R{\"{u}}ckert and
Joachim Posegga},
title = {Formal Methods and Customized Visualization: {A} Fruitful Symbiosis},
booktitle = {Services and Visualization: Towards User-Friendly Design, ACoS'98,
VISUAL'98, AIN'97, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1385},
pages = {190--207},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053506},
doi = {10.1007/BFB0053506},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MargariaB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BraunMSY98,
author = {Volker Braun and
Tiziana Margaria and
Bernhard Steffen and
Haiseung Yoo},
editor = {Tiziana Margaria and
Bernhard Steffen and
Roland R{\"{u}}ckert and
Joachim Posegga},
title = {Automatic Error Location for {IN} Service Definition},
booktitle = {Services and Visualization: Towards User-Friendly Design, ACoS'98,
VISUAL'98, AIN'97, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1385},
pages = {222--237},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053508},
doi = {10.1007/BFB0053508},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BraunMSY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/1998acos,
editor = {Tiziana Margaria and
Bernhard Steffen and
Roland R{\"{u}}ckert and
Joachim Posegga},
title = {Services and Visualization: Towards User-Friendly Design, ACoS'98,
VISUAL'98, AIN'97, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1385},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053491},
doi = {10.1007/BFB0053491},
isbn = {3-540-64367-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/1998acos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CleavelandMS97,
author = {Rance Cleaveland and
Tiziana Margaria and
Bernhard Steffen},
title = {Editorial},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {1},
number = {1-2},
pages = {1--5},
year = {1997},
url = {https://doi.org/10.1007/s100090050001},
doi = {10.1007/S100090050001},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CleavelandMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SteffenMB97,
author = {Bernhard Steffen and
Tiziana Margaria and
Volker Braun},
title = {The Electronic Tool Integration Platform: Concepts and Design},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {1},
number = {1-2},
pages = {9--30},
year = {1997},
url = {https://doi.org/10.1007/s100090050003},
doi = {10.1007/S100090050003},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SteffenMB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BraunMW97,
author = {Volker Braun and
Tiziana Margaria and
Carsten Weise},
title = {Integrating Tools in the {ETI} Platform},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {1},
number = {1-2},
pages = {31--48},
year = {1997},
url = {https://doi.org/10.1007/s100090050004},
doi = {10.1007/S100090050004},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BraunMW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MargariaBK97,
author = {Tiziana Margaria and
Volker Braun and
J{\"{u}}rgen Kreileder},
title = {Interacting with {ETI:} {A} User Session},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {1},
number = {1-2},
pages = {49--63},
year = {1997},
url = {https://doi.org/10.1007/s100090050005},
doi = {10.1007/S100090050005},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MargariaBK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KelbMMG97,
author = {Peter Kelb and
Tiziana Margaria and
Michael Mendler and
Claudia Gsottberger},
editor = {Orna Grumberg},
title = {{MOSEL:} {A} Sound and Efficient Tool for M2L(Str)},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {448--451},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_45},
doi = {10.1007/3-540-63166-6\_45},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KelbMMG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/BraunMSB97,
author = {Volker Braun and
Tiziana Margaria and
Bernhard Steffen and
Friedrich{-}Karl Bruhns},
editor = {Mark Wallace},
title = {Service Definition for Intelligent Networks: Experience in a Leading-edge
Technological Project Based on Constraint Techniques},
booktitle = {Proceedings of the Third International Conference on the Practical
Application of Constraint Technology, {PACT} 1997, Westminster Central
Hall, London, UK, April 23-25, 1997},
pages = {91--106},
publisher = {Practical Application Company Ltd.},
year = {1997},
timestamp = {Wed, 30 Nov 2022 10:17:58 +0100},
biburl = {https://dblp.org/rec/conf/pact2/BraunMSB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/see/BeeckMS97,
author = {Michael von der Beeck and
Tiziana Margaria and
Bernhard Steffen},
editor = {J{\"{u}}rgen Ebert and
Claus Lewerentz},
title = {A formal requirements engineering method for specification, synthesis,
and verification},
booktitle = {Proceedings of the 8th Conference on Software Engineering Environments,
{SEE} 1997, Cottbus, Germany, April 8-9, 1997},
pages = {131--144},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/SEE.1997.591825},
doi = {10.1109/SEE.1997.591825},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/see/BeeckMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BeeckBCDFKMSS97,
author = {Michael von der Beeck and
Volker Braun and
Andreas Cla{\ss}en and
Achim Dannecker and
Carsten Friedrich and
Dirk Kosch{\"{u}}tzki and
Tiziana Margaria and
Falk Schreiber and
Bernhard Steffen},
editor = {Ed Brinksma},
title = {Graphs in METAFrame: The Unifying Power of Polymorphism},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third
International Workshop, {TACAS} '97, Enschede, The Netherlands, April
2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1217},
pages = {112--129},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035384},
doi = {10.1007/BFB0035384},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BeeckBCDFKMSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KelbMMG97,
author = {Peter Kelb and
Tiziana Margaria and
Michael Mendler and
Claudia Gsottberger},
editor = {Ed Brinksma},
title = {{MOSEL:} {A} FLexible Toolset for Monadic Second-Order Logic},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third
International Workshop, {TACAS} '97, Enschede, The Netherlands, April
2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1217},
pages = {183--202},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035388},
doi = {10.1007/BFB0035388},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KelbMMG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/SteffenM96,
author = {Bernhard Steffen and
Tiziana Margaria},
title = {Method Engineering for Real-Life Concurrent Systems},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {56},
year = {1996},
url = {https://doi.org/10.1145/242224.242296},
doi = {10.1145/242224.242296},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/SteffenM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/SteffenM96a,
author = {Bernhard Steffen and
Tiziana Margaria},
title = {Tools Get Formal Methods into Practice},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {126},
year = {1996},
url = {https://doi.org/10.1145/242224.242385},
doi = {10.1145/242224.242385},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/SteffenM96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/SteffenMC96,
author = {Bernhard Steffen and
Tiziana Margaria and
Andreas Cla{\ss}en},
title = {Heterogeneous Analysis and Verification for Distributed Systems},
journal = {Softw. Concepts Tools},
volume = {17},
number = {1},
pages = {13--25},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/SteffenMC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/MargariaS96,
author = {Tiziana Margaria and
Bernhard Steffen},
title = {Foreword},
journal = {Softw. Concepts Tools},
volume = {17},
number = {2},
pages = {49},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/MargariaS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/SteffenMCB96,
author = {Bernhard Steffen and
Tiziana Margaria and
Andreas Cla{\ss}en and
Volker Braun},
title = {Incremental Formalization: {A} Key to Industrial Success},
journal = {Softw. Concepts Tools},
volume = {17},
number = {2},
pages = {78},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/SteffenMCB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/SteffenMCB96,
author = {Bernhard Steffen and
Tiziana Margaria and
Andreas Cla{\ss}en and
Volker Braun},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Incremental Formalization},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {608--611},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014354},
doi = {10.1007/BFB0014354},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/SteffenMCB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SteffenMCB96,
author = {Bernhard Steffen and
Tiziana Margaria and
Andreas Cla{\ss}en and
Volker Braun},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {The METAFrame'95 Environment},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {450--453},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_100},
doi = {10.1007/3-540-61474-5\_100},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SteffenMCB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Margaria96,
author = {Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Fully Automatic Verifcation and Error Detection for Parameterized
Iterative Sequential Circuits},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {258--277},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_49},
doi = {10.1007/3-540-61042-1\_49},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Margaria96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SteffenMCBNR96,
author = {Bernhard Steffen and
Tiziana Margaria and
Andreas Cla{\ss}en and
Volker Braun and
Rita Nisius and
Manfred Reitenspie{\ss}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Constraint-Oriented Service Creation Environment},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {418--421},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_63},
doi = {10.1007/3-540-61042-1\_63},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SteffenMCBNR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/1996,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1},
doi = {10.1007/3-540-61042-1},
isbn = {3-540-61042-1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SteffenCKKM95,
author = {Bernhard Steffen and
Andreas Cla{\ss}en and
Marion Klein and
Jens Knoop and
Tiziana Margaria},
editor = {Insup Lee and
Scott A. Smolka},
title = {The Fixpoint-Analysis Machine},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {72--87},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_6},
doi = {10.1007/3-540-60218-6\_6},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/SteffenCKKM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/FreitagSMZ95,
author = {Burkhard Freitag and
Bernhard Steffen and
Tiziana Margaria and
Ulrich Zukowski},
editor = {Tok Wang Ling and
Yoshifumi Masunaga},
title = {An Approach to Intelligent Software Library Management},
booktitle = {Database Systems for Advanced Applications '95, Proceedings of the
4th International Conference on Database Systems for Advanced Applications
(DASFAA), Singapore, April 11-13, 1995},
series = {Advanced Database Research and Development Series},
volume = {5},
pages = {71--78},
publisher = {World Scientific},
year = {1995},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasfaa/FreitagSMZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/SteffenMC95,
author = {Bernhard Steffen and
Tiziana Margaria and
Andreas Cla{\ss}en},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {The META-Frame: An Environment for Flexible Tool Management},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {791--792},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_236},
doi = {10.1007/3-540-59293-8\_236},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/SteffenMC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/1995,
editor = {Ed Brinksma and
Rance Cleaveland and
Kim Guldstrand Larsen and
Tiziana Margaria and
Bernhard Steffen},
title = {Tools and Algorithms for Construction and Analysis of Systems, First
International Workshop, {TACAS} '95, Aarhus, Denmark, May 19-20, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1019},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60630-0},
doi = {10.1007/3-540-60630-0},
isbn = {3-540-60630-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idl/FreitagMS94,
author = {Burkhard Freitag and
Tiziana Margaria and
Bernhard Steffen},
editor = {Jeannette M. Wing and
Richard L. Wexelblat},
title = {A Pragmatic Approach to Software Synthesis},
booktitle = {Proceedings of the Workshop on Interface Definition Languages, January
20, 1994, Portland, Oregon, USA, in conjunction with {POPL} 1994},
pages = {46--58},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/185084.185102},
doi = {10.1145/185084.185102},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/idl/FreitagMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/WeiseM93,
author = {Carsten Weise and
Tiziana Margaria},
title = {Continuous Real Time Models in Practice},
booktitle = {Fifth Euromicro Workshop on Real-Time Systems, {RTS} 1993, Oulu, Finland,
June 22-24, 1993. Proceedings},
pages = {8--13},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/EMWRT.1993.638859},
doi = {10.1109/EMWRT.1993.638859},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/WeiseM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Margaria92,
author = {Tiziana Margaria},
editor = {Jan van Leeuwen},
title = {Efficient RT-Level Verification by Theorem Proving},
booktitle = {Algorithms, Software, Architecture - Information Processing '92, Volume
1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid,
Spain, 7-11 September 1992},
series = {{IFIP} Transactions},
volume = {{A-12}},
pages = {696--702},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 14 Aug 2002 08:51:19 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Margaria92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/Margaria92,
author = {Tiziana Margaria},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Hierarchical Mixed-Mode Verification of Complex FSMs Described at
the {RT} Level},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {59--75},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 25 Feb 2002 11:36:44 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/Margaria92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/CamuratiMP91,
author = {Paolo Camurati and
Tiziana Margaria and
Paolo Prinetto},
editor = {Tony Ambler and
Jochen A. G. Jess and
Hugo De Man},
title = {Resolution-based correctness proofs of synchronous circuits},
booktitle = {Proceedings of the conference on European design automation, EURO-DAC'91,
Amsterdam, The Netherlands, 1991},
pages = {11--15},
publisher = {{EEE} Computer Society},
year = {1991},
url = {http://dl.acm.org/citation.cfm?id=951516},
timestamp = {Tue, 17 Nov 2015 16:02:17 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/CamuratiMP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CamuratiMP90,
author = {Paolo Camurati and
Tiziana Margaria and
Paolo Prinetto},
title = {The {OTTER} environment for resolution-based proof of hardware correctness},
journal = {Microprocessing and Microprogramming},
volume = {30},
number = {1-5},
pages = {421--428},
year = {1990},
url = {https://doi.org/10.1016/0165-6074(90)90277-G},
doi = {10.1016/0165-6074(90)90277-G},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/CamuratiMP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CamuratiMP89,
author = {Paolo Camurati and
Tiziana Margaria and
Paolo Prinetto},
title = {Systolic array description in F\({}^{\mbox{2}}\)},
journal = {Microprocessing and Microprogramming},
volume = {27},
number = {1-5},
pages = {171--178},
year = {1989},
url = {https://doi.org/10.1016/0165-6074(89)90041-0},
doi = {10.1016/0165-6074(89)90041-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/CamuratiMP89.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 2024-04-25 01:30 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:
