Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin Steffen
@article{DBLP:journals/fmsd/LutebergetCJS21,
author = {Bj{\o}rnar Luteberget and
Koen Claessen and
Christian Johansen and
Martin Steffen},
title = {{SAT} modulo discrete event simulation applied to railway design capacity
analysis},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {2},
pages = {211--245},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00368-2},
doi = {10.1007/S10703-021-00368-2},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/LutebergetCJS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FavaS20,
author = {Daniel Schnetzer Fava and
Martin Steffen},
title = {Ready, set, Go!: Data-race detection and the Go language},
journal = {Sci. Comput. Program.},
volume = {195},
pages = {102473},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102473},
doi = {10.1016/J.SCICO.2020.102473},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/FavaS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JohnsenSS20,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Assumption-Commitment Types for Resource Management in Virtually Timed
Ambients},
booktitle = {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},
pages = {103--121},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_6},
doi = {10.1007/978-3-030-61362-4\_6},
timestamp = {Thu, 29 Oct 2020 15:56:14 +0100},
biburl = {https://dblp.org/rec/conf/isola/JohnsenSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2019w,
editor = {Javier C{\'{a}}mara and
Martin Steffen},
title = {Software Engineering and Formal Methods - {SEFM} 2019 Collocated Workshops:
CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20,
2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12226},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57506-9},
doi = {10.1007/978-3-030-57506-9},
isbn = {978-3-030-57505-2},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2019w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FavaSS19,
author = {Daniel Schnetzer Fava and
Martin Steffen and
Volker Stolz},
title = {Operational semantics of a weak memory model with channel synchronization},
journal = {J. Log. Algebraic Methods Program.},
volume = {103},
pages = {1--30},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2018.10.004},
doi = {10.1016/J.JLAMP.2018.10.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FavaSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GkolfiDJKSY19,
author = {Anastasia Gkolfi and
Crystal Chang Din and
Einar Broch Johnsen and
Lars Michael Kristensen and
Martin Steffen and
Ingrid Chieh Yu},
title = {Translating active objects into colored Petri nets for communication
analysis},
journal = {Sci. Comput. Program.},
volume = {181},
pages = {1--26},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.04.002},
doi = {10.1016/J.SCICO.2019.04.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GkolfiDJKSY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LutebergetJS19,
author = {Bj{\o}rnar Luteberget and
Christian Johansen and
Martin Steffen},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Synthesis of Railway Signaling Layout from Local Capacity Specifications},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {121--137},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_9},
doi = {10.1007/978-3-030-30942-8\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LutebergetJS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-12643,
author = {Daniel Schnetzer Fava and
Martin Steffen},
title = {Ready, set, Go! Data-race detection and the Go language},
journal = {CoRR},
volume = {abs/1910.12643},
year = {2019},
url = {http://arxiv.org/abs/1910.12643},
eprinttype = {arXiv},
eprint = {1910.12643},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-12643.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JohnsenSS18,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf},
title = {Virtually timed ambients: {A} calculus of nested virtualization},
journal = {J. Log. Algebraic Methods Program.},
volume = {94},
pages = {109--127},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2017.10.001},
doi = {10.1016/J.JLAMP.2017.10.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohnsenSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FavaSS18,
author = {Daniel Schnetzer Fava and
Martin Steffen and
Volker Stolz},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Operational Semantics of a Weak Memory Model with Channel Synchronization},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {258--276},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_15},
doi = {10.1007/978-3-319-95582-7\_15},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/FavaSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/JohnsenSST18,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf and
Lars Tveito},
editor = {Bernd Fischer and
Tarmo Uustalu},
title = {Checking Modal Contracts for Virtually Timed Ambients},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International
Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11187},
pages = {252--272},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02508-3\_14},
doi = {10.1007/978-3-030-02508-3\_14},
timestamp = {Mon, 16 Sep 2019 15:27:43 +0200},
biburl = {https://dblp.org/rec/conf/ictac/JohnsenSST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/JohnsenSST18,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf and
Lars Tveito},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Resource-Aware Virtually Timed Ambients},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {194--213},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_12},
doi = {10.1007/978-3-319-98938-9\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/JohnsenSST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/JohnsenSST18,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf and
Lars Tveito},
title = {An Analysis Tool for Models of Virtualized Systems},
booktitle = {31st Norsk Informatikkonferanse, {NIK} 2018, Universitetet i Oslo,
Oslo, Norway, September 18-20, 2018},
publisher = {Bibsys Open Journal Systems, Norway},
year = {2018},
url = {https://ojs.bibsys.no/index.php/NIK/article/view/497},
timestamp = {Fri, 05 Feb 2021 11:08:06 +0100},
biburl = {https://dblp.org/rec/conf/nik/JohnsenSST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-08653,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf},
title = {Assumption Commitment Types for Resource Management in Virtually Timed
Ambients},
journal = {CoRR},
volume = {abs/1806.08653},
year = {2018},
url = {http://arxiv.org/abs/1806.08653},
eprinttype = {arXiv},
eprint = {1806.08653},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-08653.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/GkolfiDJSY17,
author = {Anastasia Gkolfi and
Crystal Chang Din and
Einar Broch Johnsen and
Martin Steffen and
Ingrid Chieh Yu},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Translating Active Objects into Colored Petri Nets for Communication
Analysis},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {84--99},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_6},
doi = {10.1007/978-3-319-68972-2\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/GkolfiDJSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PunSS16,
author = {Ka I Pun and
Martin Steffen and
Volker Stolz},
title = {Effect-polymorphic behaviour inference for deadlock checking},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1234--1267},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.05.003},
doi = {10.1016/J.JLAMP.2016.05.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PunSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AbrahamTS16,
author = {Erika {\'{A}}brah{\'{a}}m and
Thi Mai Thuong Tran and
Martin Steffen},
title = {Observable interface behaviour and inheritance},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {561--605},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000255},
doi = {10.1017/S0960129514000255},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AbrahamTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/ChangHRAKRS16,
author = {Yi{-}Chien Chang and
Zhenjun Hu and
John Rachlin and
Brian P. Anton and
Simon Kasif and
Richard J. Roberts and
Martin Steffen},
title = {{COMBREX-DB:} an experiment centered database of protein function:
knowledge, predictions and knowledge gaps},
journal = {Nucleic Acids Res.},
volume = {44},
number = {Database-Issue},
pages = {330--335},
year = {2016},
url = {https://doi.org/10.1093/nar/gkv1324},
doi = {10.1093/NAR/GKV1324},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/ChangHRAKRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Steffen16,
author = {Martin Steffen},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {A Small-Step Semantics of a Concurrent Calculus with Goroutines and
Deferred Functions},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {393--406},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_26},
doi = {10.1007/978-3-319-30734-3\_26},
timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Steffen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LutebergetJFS16,
author = {Bj{\o}rnar Luteberget and
Christian Johansen and
Claus Feyling and
Martin Steffen},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Rule-Based Incremental Verification Tools Applied to Railway Designs
and Regulations},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {772--778},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_49},
doi = {10.1007/978-3-319-48989-6\_49},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LutebergetJFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LutebergetJS16,
author = {Bj{\o}rnar Luteberget and
Christian Johansen and
Martin Steffen},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Rule-Based Consistency Checking of Railway Infrastructure Designs},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {491--507},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_31},
doi = {10.1007/978-3-319-33693-0\_31},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LutebergetJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BoddenPSSW16,
author = {Eric Bodden and
Ka I Pun and
Martin Steffen and
Volker Stolz and
Anna{-}Katharina Wickert},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Information Flow Analysis for Go},
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 = {431--445},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_30},
doi = {10.1007/978-3-319-47166-2\_30},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BoddenPSSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/LiQSY16,
author = {Jingyue Li and
Altin Qeriqi and
Martin Steffen and
Ingrid Chieh Yu},
title = {Automatic translation from FBD-PLC-programs to NuSMV for model checking
safety-critical control systems},
booktitle = {29th Norsk Informatikkonferanse, {NIK} 2016, H{\o}gskolen i Bergen,
Bergen, Norway, November 28-30, 2016},
publisher = {Bibsys Open Journal Systems, Norway},
year = {2016},
url = {http://ojs.bibsys.no/index.php/NIK/article/view/352},
timestamp = {Fri, 05 Feb 2021 11:08:06 +0100},
biburl = {https://dblp.org/rec/conf/nik/LiQSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/RosenbergSS16,
author = {Carl Martin Rosenberg and
Martin Steffen and
Volker Stolz},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Leveraging DTrace for Runtime Verification},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {318--332},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_20},
doi = {10.1007/978-3-319-46982-9\_20},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/RosenbergSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/JohnsenSS16,
author = {Einar Broch Johnsen and
Martin Steffen and
Johanna Beate Stumpf},
editor = {Phillip James and
Markus Roggenbach},
title = {A Calculus of Virtually Timed Ambients},
booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10644},
pages = {88--103},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-72044-9\_7},
doi = {10.1007/978-3-319-72044-9\_7},
timestamp = {Wed, 19 May 2021 08:32:29 +0200},
biburl = {https://dblp.org/rec/conf/wadt/JohnsenSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/p/JohnsenPSTY16,
author = {Einar Broch Johnsen and
Ka I Pun and
Martin Steffen and
Silvia Lizeth Tapia Tarifa and
Ingrid Chieh Yu},
editor = {Luigia Petre and
Emil Sekerinski},
title = {Meeting Deadlines, Elastically},
booktitle = {From Action Systems to Distributed Systems - The Refinement Approach},
pages = {99--111},
publisher = {Chapman and Hall/CRC},
year = {2016},
url = {https://doi.org/10.1201/b20053-11},
doi = {10.1201/B20053-11},
timestamp = {Tue, 16 May 2017 14:01:47 +0200},
biburl = {https://dblp.org/rec/books/crc/p/JohnsenPSTY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PunSS14,
author = {Ka I Pun and
Martin Steffen and
Volker Stolz},
title = {Deadlock checking by data race detection},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {5-6},
pages = {400--426},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.07.003},
doi = {10.1016/J.JLAMP.2014.07.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/PunSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clei/PennaSGL14,
author = {Emilio Penna and
Martin Steffen and
Laura Gonz{\'{a}}lez and
Guzm{\'{a}}n Llamb{\'{\i}}as},
title = {Orchestration of secure Web Services within an E-government Interoperability
Platform},
booktitle = {{XL} Latin American Computing Conference, {CLEI} 2014, Montevideo,
Uruguay, September 15-19, 2014},
pages = {1--12},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CLEI.2014.6965179},
doi = {10.1109/CLEI.2014.6965179},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/clei/PennaSGL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PunSS14,
author = {Ka I Pun and
Martin Steffen and
Volker Stolz},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {Effect-Polymorphic Behaviour Inference for Deadlock Checking},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {50--64},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_5},
doi = {10.1007/978-3-319-10431-7\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/PunSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/PunSS14,
author = {Ka I Pun and
Martin Steffen and
Volker Stolz},
title = {Behaviour Inference for Deadlock Checking},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {106--113},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.23},
doi = {10.1109/TASE.2014.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/PunSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/OweST13,
author = {Olaf Owe and
Martin Steffen and
Jan Arne Telle},
title = {The 18th International Symposium on Fundamentals of Computation Theory},
journal = {Inf. Comput.},
volume = {231},
pages = {1--2},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.08.001},
doi = {10.1016/J.IC.2013.08.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/OweST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HansenSS13,
author = {Hallstein Asheim Hansen and
Gerardo Schneider and
Martin Steffen},
title = {Reachability analysis of complex planar hybrid systems},
journal = {Sci. Comput. Program.},
volume = {78},
number = {12},
pages = {2511--2536},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2013.02.007},
doi = {10.1016/J.SCICO.2013.02.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HansenSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/PunSS13,
author = {Ka I Pun and
Martin Steffen and
Volker Stolz},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Deadlock Checking by Data Race Detection},
booktitle = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
pages = {34--50},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5\_3},
doi = {10.1007/978-3-642-40213-5\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/PunSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/TranST13,
author = {Thi Mai Thuong Tran and
Martin Steffen and
Hoang Truong},
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {Compositional Static Analysis for Implicit Join Synchronization in
a Transactional Setting},
booktitle = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {212--228},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_15},
doi = {10.1007/978-3-642-40561-7\_15},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/TranST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JohnsenTOS12,
author = {Einar Broch Johnsen and
Thi Mai Thuong Tran and
Olaf Owe and
Martin Steffen},
title = {Safe locking for multi-threaded Java with exceptions},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {3},
pages = {257--283},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2011.11.002},
doi = {10.1016/J.JLAP.2011.11.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohnsenTOS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PunSS12,
author = {Ka I Pun and
Martin Steffen and
Volker Stolz},
title = {Deadlock checking by a behavioral effect system for lock handling},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {3},
pages = {331--354},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2011.11.001},
doi = {10.1016/J.JLAP.2011.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PunSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BoerGS12,
author = {Frank S. de Boer and
Immo Grabe and
Martin Steffen},
title = {Termination detection for active objects},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {4},
pages = {541--557},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2012.03.009},
doi = {10.1016/J.JLAP.2012.03.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BoerGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BoerBGLSZ12,
author = {Frank S. de Boer and
Mario Bravetti and
Immo Grabe and
Matias David Lee and
Martin Steffen and
Gianluigi Zavattaro},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {A Petri Net Based Analysis of Deadlocks for Active Objects and Futures},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {110--127},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_7},
doi = {10.1007/978-3-642-35861-6\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BoerBGLSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soict/VuTTS12,
author = {Xuan{-}Tung Vu and
Thi Mai Thuong Tran and
Anh{-}Hoang Truong and
Martin Steffen},
editor = {Eric Castelli and
Khanh Tran Duc and
Chi Mai Luong and
Viet Tran},
title = {A type system for finding upper resource bounds of multi-threaded
programs with nested transactions},
booktitle = {Symposium on Information and Communication Technology 2012, SoICT
'12, Halong City, Quang Ninh , Viet Nam, August 23-24, 2012},
pages = {21--30},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2350716.2350722},
doi = {10.1145/2350716.2350722},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soict/VuTTS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/RobertsCHRAPCFGHKMMOSTLVSSDSK11,
author = {Richard J. Roberts and
Yi{-}Chien Chang and
Zhenjun Hu and
John Rachlin and
Brian P. Anton and
Revonda M. Pokrzywa and
Han{-}Pil Choi and
Lina L. Faller and
Jyotsna Guleria and
Genevieve Housman and
Niels Klitgord and
Varun Mazumdar and
Mark G. McGettrick and
Lais Osmani and
Rajeswari Swaminathan and
Kevin R. Tao and
Stanley Letovsky and
Dennis Vitkup and
Daniel Segr{\`{e}} and
Steven L. Salzberg and
Charles DeLisi and
Martin Steffen and
Simon Kasif},
title = {{COMBREX:} a project to accelerate the functional annotation of prokaryotic
genomes},
journal = {Nucleic Acids Res.},
volume = {39},
number = {Database-Issue},
pages = {11--14},
year = {2011},
url = {https://doi.org/10.1093/nar/gkq1168},
doi = {10.1093/NAR/GKQ1168},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/RobertsCHRAPCFGHKMMOSTLVSSDSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DovlandJOS11,
author = {Johan Dovland and
Einar Broch Johnsen and
Olaf Owe and
Martin Steffen},
title = {Incremental reasoning with lazy behavioral subtyping for multiple
inheritance},
journal = {Sci. Comput. Program.},
volume = {76},
number = {10},
pages = {915--941},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.09.006},
doi = {10.1016/J.SCICO.2010.09.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DovlandJOS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/JohnsenTOS11,
author = {Einar Broch Johnsen and
Thi Mai Thuong Tran and
Olaf Owe and
Martin Steffen},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Safe Locking for Multi-threaded Java},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {158--173},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_11},
doi = {10.1007/978-3-642-29320-7\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/JohnsenTOS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/HansenSS11,
author = {Hallstein Asheim Hansen and
Gerardo Schneider and
Martin Steffen},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Reachability Analysis of Non-linear Planar Autonomous Systems},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {206--220},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_14},
doi = {10.1007/978-3-642-29320-7\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/HansenSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kse/TranS11,
author = {Thi Mai Thuong Tran and
Martin Steffen},
title = {Design Issues in Concurrent Object-Oriented Languages and Observability},
booktitle = {Third International Conference on Knowledge and Systems Engineering,
{KSE} 2011, Hanoi, Vietnam, October 14-17, 2011},
pages = {135--142},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/KSE.2011.28},
doi = {10.1109/KSE.2011.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kse/TranS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/2011,
editor = {Olaf Owe and
Martin Steffen and
Jan Arne Telle},
title = {Fundamentals of Computation Theory - 18th International Symposium,
{FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6914},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22953-4},
doi = {10.1007/978-3-642-22953-4},
isbn = {978-3-642-22952-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DovlandJOS10,
author = {Johan Dovland and
Einar Broch Johnsen and
Olaf Owe and
Martin Steffen},
title = {Lazy behavioral subtyping},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {578--607},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.008},
doi = {10.1016/J.JLAP.2010.07.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DovlandJOS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DamsHS10,
author = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {A Bibliography of Willem-Paul de Roever},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {1--9},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_1},
doi = {10.1007/978-3-642-11512-7\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DamsHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/JohnsenHSSS10,
author = {Einar Broch Johnsen and
Reiner H{\"{a}}hnle and
Jan Sch{\"{a}}fer and
Rudolf Schlatte and
Martin Steffen},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {{ABS:} {A} Core Language for Abstract Behavioral Specification},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {142--164},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_8},
doi = {10.1007/978-3-642-25271-6\_8},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/JohnsenHSSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/TranS10,
author = {Thi Mai Thuong Tran and
Martin Steffen},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Safe Commits for Transactional Featherweight Java},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {290--304},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_21},
doi = {10.1007/978-3-642-16265-7\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/TranS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OweST10,
author = {Olaf Owe and
Martin Steffen and
Arild B. Torjusen},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Model Testing Asynchronously Communicating Objects using Modulo {AC}
Rewriting},
booktitle = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS
2010, Paphos, Cyprus, March 21, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {264},
number = {3},
pages = {69--84},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.12.015},
doi = {10.1016/J.ENTCS.2010.12.015},
timestamp = {Fri, 10 Mar 2023 10:51:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OweST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2010roever,
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7},
doi = {10.1007/978-3-642-11512-7},
isbn = {978-3-642-11511-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2010roever.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AbrahamGGS09,
author = {Erika {\'{A}}brah{\'{a}}m and
Immo Grabe and
Andreas Gr{\"{u}}ner and
Martin Steffen},
title = {Behavioral interface description of an object-oriented language with
futures and promises},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {7},
pages = {491--518},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2009.01.001},
doi = {10.1016/J.JLAP.2009.01.001},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AbrahamGGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/GrabeKST09,
author = {Immo Grabe and
Marcel Kyas and
Martin Steffen and
Arild B. Torjusen},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Executable Interface Specifications for Testing Asynchronous Creol
Components},
booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
pages = {324--339},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11623-0\_19},
doi = {10.1007/978-3-642-11623-0\_19},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/GrabeKST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DovlandJOS09,
author = {Johan Dovland and
Einar Broch Johnsen and
Olaf Owe and
Martin Steffen},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Incremental Reasoning for Multiple Inheritance},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {215--230},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_15},
doi = {10.1007/978-3-642-00255-7\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DovlandJOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrabeJABBBGJKKKLSSSTXY10,
author = {Immo Grabe and
Mohammad Mahdi Jaghoori and
Bernhard K. Aichernig and
Christel Baier and
Tobias Blechmann and
Frank S. de Boer and
Andreas Griesmayer and
Einar Broch Johnsen and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz and
Marcel Kyas and
Wolfgang Leister and
Rudolf Schlatte and
Andries Stam and
Martin Steffen and
Simon Tschirner and
Liang Xuedong and
Wang Yi},
editor = {Einar Broch Johnsen and
Volker Stolz},
title = {Credo Methodology: Modeling and Analyzing {A} Peer-to-Peer System
in Credo},
booktitle = {Proceedings of the 3rd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
(UKM), Kuala Lumpur, Malaysia, August 17, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {266},
pages = {33--48},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.08.047},
doi = {10.1016/J.ENTCS.2010.08.047},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrabeJABBBGJKKKLSSSTXY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/JiangNSKK08,
author = {Xiaoyu Jiang and
Naoki Nariai and
Martin Steffen and
Simon Kasif and
Eric D. Kolaczyk},
title = {Integration of relational and hierarchical network information for
protein function prediction},
journal = {{BMC} Bioinform.},
volume = {9},
year = {2008},
url = {https://doi.org/10.1186/1471-2105-9-350},
doi = {10.1186/1471-2105-9-350},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/JiangNSKK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AbrahamBRS08,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
title = {A Deductive Proof System for Multithreaded Java with Exceptions},
journal = {Fundam. Informaticae},
volume = {82},
number = {4},
pages = {391--463},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi82-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AbrahamBRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/AbrahamGS08,
author = {Erika {\'{A}}brah{\'{a}}m and
Andreas Gr{\"{u}}ner and
Martin Steffen},
title = {Abstract Interface Behavior of Object-Oriented Languages with Monitors},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {322--361},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9047-0},
doi = {10.1007/S00224-007-9047-0},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/AbrahamGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AbrahamGS08,
author = {Erika {\'{A}}brah{\'{a}}m and
Andreas Gr{\"{u}}ner and
Martin Steffen},
title = {Heap-abstraction for an object-oriented calculus with thread classes},
journal = {Softw. Syst. Model.},
volume = {7},
number = {2},
pages = {177--208},
year = {2008},
url = {https://doi.org/10.1007/s10270-007-0065-9},
doi = {10.1007/S10270-007-0065-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AbrahamGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/JiangNSKGK08,
author = {Xiaoyu Jiang and
Naoki Nariai and
Martin Steffen and
Simon Kasif and
David Gold and
Eric D. Kolaczyk},
editor = {Xue{-}wen Chen and
Xiaohua Hu and
Sun Kim},
title = {Combining Hierarchical Inference in Ontologies with Heterogeneous
Data Sources Improves Gene Function Prediction},
booktitle = {2008 {IEEE} International Conference on Bioinformatics and Biomedicine,
{BIBM} 2008, Philadephia, Pennsylvania, USA, November 3-5, 2008},
pages = {411--416},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/BIBM.2008.37},
doi = {10.1109/BIBM.2008.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibm/JiangNSKGK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DovlandJOS08,
author = {Johan Dovland and
Einar Broch Johnsen and
Olaf Owe and
Martin Steffen},
editor = {Jorge Cu{\'{e}}llar and
T. S. E. Maibaum and
Kaisa Sere},
title = {Lazy Behavioral Subtyping},
booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
Methods, Turku, Finland, May 26-30, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5014},
pages = {52--67},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68237-0\_6},
doi = {10.1007/978-3-540-68237-0\_6},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/DovlandJOS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoerBGS09,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Andreas Gr{\"{u}}ner and
Martin Steffen},
editor = {Jianhua Zhao and
Volker Stolz},
title = {Java Test Driver Generation from Object-Oriented Interaction Traces},
booktitle = {Proceedings of the 2nd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2008, Istanbul, Turkey, August
30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {243},
pages = {33--47},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.004},
doi = {10.1016/J.ENTCS.2009.07.004},
timestamp = {Thu, 09 Mar 2023 13:49:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoerBGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/OweSS07,
author = {Olaf Owe and
Gerardo Schneider and
Martin Steffen},
editor = {Arnd Poetzsch{-}Heffter},
title = {Components, objects, and contracts},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {95--98},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292328},
doi = {10.1145/1292316.1292328},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/OweSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/AbrahamGS06,
author = {Erika {\'{A}}brah{\'{a}}m and
Andreas Gr{\"{u}}ner and
Martin Steffen},
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {Heap-Abstraction for an Object-Oriented Calculus with Thread Classes},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
pages = {1--10},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342\_1},
doi = {10.1007/11780342\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/AbrahamGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AbrahamGS06,
author = {Erika {\'{A}}brah{\'{a}}m and
Andreas Gr{\"{u}}ner and
Martin Steffen},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Abstract Interface Behavior of Object-Oriented Languages with Monitors},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {218--232},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_17},
doi = {10.1007/11768869\_17},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/AbrahamGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/AbrahamHBS06,
author = {Erika {\'{A}}brah{\'{a}}m and
Marc Herbstritt and
Bernd Becker and
Martin Steffen},
editor = {Bernd Straube and
Martin Freibothe},
title = {Memory-aware Bounded Model Checking for Linear Hybrid Systems},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
2006},
pages = {153--162},
publisher = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
year = {2006},
timestamp = {Fri, 20 Jan 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/AbrahamHBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbrahamHBS07,
author = {Erika {\'{A}}brah{\'{a}}m and
Marc Herbstritt and
Bernd Becker and
Martin Steffen},
editor = {Ofer Strichman and
Armin Biere},
title = {Bounded Model Checking with Parametric Data Structures},
booktitle = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {3--16},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.019},
doi = {10.1016/J.ENTCS.2006.12.019},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbrahamHBS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbrahamBRS05,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
title = {An assertion-based proof system for multithreaded Java},
journal = {Theor. Comput. Sci.},
volume = {331},
number = {2-3},
pages = {251--290},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.09.019},
doi = {10.1016/J.TCS.2004.09.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbrahamBRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AbrahamBKS05,
author = {Erika {\'{A}}brah{\'{a}}m and
Bernd Becker and
Felix Klaedtke and
Martin Steffen},
editor = {Radhia Cousot},
title = {Optimizing Bounded Model Checking for Linear Hybrid Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {396--412},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_26},
doi = {10.1007/978-3-540-30579-8\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AbrahamBKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbrahamBRS06,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Inductive Proof Outlines for Exceptions in Multithreaded Java},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {281--297},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.072},
doi = {10.1016/J.ENTCS.2005.12.072},
timestamp = {Thu, 15 Dec 2022 16:21:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbrahamBRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2005,
editor = {Martin Steffen and
Gianluigi Zavattaro},
title = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
June 15-17, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3535},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136996},
doi = {10.1007/B136996},
isbn = {3-540-26181-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BoerBSA04,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Martin Steffen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Fully Abstract Semantics for {UML} Components},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {49--69},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_3},
doi = {10.1007/11561163\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BoerBSA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AbrahamBBGS04,
author = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Frank S. de Boer and
Andreas Gr{\"{u}}ner and
Martin Steffen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Observability, Connectivity, and Replay in a Sequential Calculus of
Classes},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {296--316},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_13},
doi = {10.1007/11561163\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AbrahamBBGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AbrahamBBS04,
author = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Frank S. de Boer and
Martin Steffen},
editor = {Zhiming Liu and
Keijiro Araki},
title = {Object Connectivity and Full Abstraction for a Concurrent Calculus
of Classes},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {37--51},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_5},
doi = {10.1007/978-3-540-31862-0\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/AbrahamBBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FecherS05,
author = {Harald Fecher and
Martin Steffen},
editor = {Jos C. M. Baeten and
Flavio Corradini},
title = {Characteristic mu-Calculus Formulas for Underspecified Transition
Systems},
booktitle = {Proceedings of the 11th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {2},
pages = {103--116},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.031},
doi = {10.1016/J.ENTCS.2004.11.031},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FecherS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbrahamBRS03,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Nachum Dershowitz},
title = {A Compositional Operational Semantics for Java\({}_{\mbox{MT}}\)},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {290--303},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_13},
doi = {10.1007/978-3-540-39910-0\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbrahamBRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/IoustinovaSS03,
author = {Natalia Ioustinova and
Natalia Sidorova and
Martin Steffen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Synchronous Closing and Flow Analysis for Model Checking Timed Systems},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {292--313},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_14},
doi = {10.1007/978-3-540-30101-1\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/IoustinovaSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AbrahamBRS03,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
title = {Inductive Proof Outlines for Monitors in Java},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {155--169},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_11},
doi = {10.1007/978-3-540-39958-2\_11},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/AbrahamBRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/SteffenPADC02,
author = {Martin Steffen and
Allegra Petti and
John Aach and
Patrik D'haeseleer and
George M. Church},
title = {Automated modelling of signal transduction networks},
journal = {{BMC} Bioinform.},
volume = {3},
pages = {34},
year = {2002},
url = {https://doi.org/10.1186/1471-2105-3-34},
doi = {10.1186/1471-2105-3-34},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/SteffenPADC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DamsLS02,
author = {Dennis Dams and
Yassine Lakhnech and
Martin Steffen},
title = {Iterating transducers},
journal = {J. Log. Algebraic Methods Program.},
volume = {52-53},
pages = {109--127},
year = {2002},
url = {https://doi.org/10.1016/S1567-8326(02)00025-5},
doi = {10.1016/S1567-8326(02)00025-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DamsLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/IoustinovaSS02,
author = {Natalia Ioustinova and
Natalia Sidorova and
Martin Steffen},
title = {Abstraction and Flow Analysis for Model Checking Open Asynchronous
Systems},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {227},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1182992},
doi = {10.1109/APSEC.2002.1182992},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/IoustinovaSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/IoustinovaSS02,
author = {Natalia Ioustinova and
Natalia Sidorova and
Martin Steffen},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Closing Open SDL-Systems for Model Checking with DTSpin},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {531--548},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_30},
doi = {10.1007/3-540-45614-7\_30},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/IoustinovaSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Abraham-MummBRS02,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Tool-Supported Proof System for Multithreaded Java},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {1--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_1},
doi = {10.1007/978-3-540-39656-7\_1},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Abraham-MummBRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Abraham-MummBRS02,
author = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {Verification for Java's Reentrant Multithreading Concept},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 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 = {2303},
pages = {5--20},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_2},
doi = {10.1007/3-540-45931-6\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Abraham-MummBRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SidorovaS02,
author = {Natalia Sidorova and
Martin Steffen},
editor = {Agostino Cortesi},
title = {Synchronous Closing of Timed {SDL} Systems for Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {79--93},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_6},
doi = {10.1007/3-540-47813-2\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SidorovaS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DamsLS01,
author = {Dennis Dams and
Yassine Lakhnech and
Martin Steffen},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Iterating Transducers},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {286--297},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_27},
doi = {10.1007/3-540-44585-4\_27},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DamsLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Abraham-MummHS01,
author = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
Ulrich Hannemann and
Martin Steffen},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Assertion-Based Analysis of Hybrid Systems with {PVS}},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {94--109},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_8},
doi = {10.1007/3-540-45654-6\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/Abraham-MummHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Abraham-MummSH01,
author = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
Martin Steffen and
Ulrich Hannemann},
title = {Verification of Hybrid Systems: Formalization and Proof Rules in {PVS}},
booktitle = {7th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2001), 11-13 June 2001, Sk{\"{o}}vde, Sweden},
pages = {48--57},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICECCS.2001.930163},
doi = {10.1109/ICECCS.2001.930163},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Abraham-MummSH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SidorovaS01,
author = {Natalia Sidorova and
Martin Steffen},
editor = {Patrick Cousot},
title = {Embedding Chaos},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {319--334},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_18},
doi = {10.1007/3-540-47764-0\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SidorovaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/SidorovaS01,
author = {Natalia Sidorova and
Martin Steffen},
editor = {Rick Reed and
Jeanne Reed},
title = {Verifying Large SDL-Specifications Using Model Checking},
booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen,
Denmark, June 27-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2078},
pages = {403--420},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48213-X\_25},
doi = {10.1007/3-540-48213-X\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/SidorovaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SidorovaS00,
author = {Natalia Sidorova and
Martin Steffen},
title = {Verification of a wireless {ATM} medium-access protocol},
booktitle = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
December 2000, Singapore},
pages = {84--91},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/APSEC.2000.896686},
doi = {10.1109/APSEC.2000.896686},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/SidorovaS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Steffen99,
author = {Martin Steffen},
title = {Polarized higher-order subtyping},
school = {University of Erlangen-Nuremberg, Germany},
year = {1999},
url = {https://d-nb.info/958020493},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Steffen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/StahlBLS99,
author = {Karsten Stahl and
Kai Baukus and
Yassine Lakhnech and
Martin Steffen},
editor = {Dennis Dams and
Rob Gerth and
Stefan Leue and
Mieke Massink},
title = {Divide, Abstract, and Model-Check},
booktitle = {Theoretical and Practical Aspects of {SPIN} Model Checking, 5th and
6th International {SPIN} Workshops, Trento, Italy, July 5, 1999, Toulouse,
France, September 21 and 24 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1680},
pages = {57--76},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48234-2\_5},
doi = {10.1007/3-540-48234-2\_5},
timestamp = {Mon, 15 Jun 2020 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/spin/StahlBLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/HofmannNSS98,
author = {Martin Hofmann and
Wolfgang Naraschewski and
Martin Steffen and
Terry Stroup},
title = {Inheritance of Proofs},
journal = {Theory Pract. Object Syst.},
volume = {4},
number = {1},
pages = {51--69},
year = {1998},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/HofmannNSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PierceS97,
author = {Benjamin C. Pierce and
Martin Steffen},
title = {Higher-Order Subtyping},
journal = {Theor. Comput. Sci.},
volume = {176},
number = {1-2},
pages = {235--282},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00096-5},
doi = {10.1016/S0304-3975(96)00096-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PierceS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NestmannS95,
author = {Uwe Nestmann and
Martin Steffen},
editor = {Burkhard Freitag and
Cliff B. Jones and
Christian Lengauer and
Hans{-}J{\"{o}}rg Schek},
title = {Correct Transformational Design of Concurrent Search Structures},
booktitle = {Object Orientation with Parallelism and Persistence (the book grow
out of a Dagstuhl Seminar in April 1995)},
pages = {23--42},
publisher = {Kluwer Academic Publishers},
year = {1995},
timestamp = {Wed, 31 Jul 2019 08:45:21 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NestmannS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/SteffenP94,
author = {Martin Steffen and
Benjamin C. Pierce},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Higher-Order Subtyping},
booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
1994},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {511--530},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
biburl = {https://dblp.org/rec/conf/procomet/SteffenP94.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:
