Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Achim D. Brucker
@article{DBLP:journals/afp/BruckerS24,
author = {Achim D. Brucker and
Amy Stell},
title = {(Extended) Interval Analysis},
journal = {Arch. Formal Proofs},
volume = {2024},
year = {2024},
url = {https://www.isa-afp.org/entries/Interval\_Analysis.html},
timestamp = {Tue, 20 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/BruckerS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/HessMB23,
author = {Andreas V. Hess and
Sebastian Alexander M{\"{o}}dersheim and
Achim D. Brucker},
title = {Stateful Protocol Composition in Isabelle/HOL},
journal = {{ACM} Trans. Priv. Secur.},
volume = {26},
number = {3},
pages = {25:1--25:36},
year = {2023},
url = {https://doi.org/10.1145/3577020},
doi = {10.1145/3577020},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tissec/HessMB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BruckerS23,
author = {Achim D. Brucker and
Amy Stell},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Verifying Feedforward Neural Networks for Classification in Isabelle/HOL},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {427--444},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_24},
doi = {10.1007/978-3-031-27481-7\_24},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BruckerS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BruckerAMW23,
author = {Achim D. Brucker and
Idir A{\"{\i}}t{-}Sadoune and
Nicolas M{\'{e}}ric and
Burkhart Wolff},
editor = {Uwe Gl{\"{a}}sser and
Jos{\'{e}} Creissac Campos and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Using Deep Ontologies in Formal Software Engineering},
booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
2023, Nancy, France, May 30 - June 2, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14010},
pages = {15--32},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33163-3\_2},
doi = {10.1007/978-3-031-33163-3\_2},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/BruckerAMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Brucker22,
author = {Achim D. Brucker},
title = {Nano {JSON:} Working with {JSON} formatted data in Isabelle/HOL and
Isabelle/ML},
journal = {Arch. Formal Proofs},
volume = {2022},
year = {2022},
url = {https://www.isa-afp.org/entries/Nano\_JSON.html},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/Brucker22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/MarmsolerB22,
author = {Diego Marmsoler and
Achim D. Brucker},
title = {Isabelle/Solidity: {A} deep Embedding of Solidity in Isabelle/HOL},
journal = {Arch. Formal Proofs},
volume = {2022},
year = {2022},
url = {https://www.isa-afp.org/entries/Solidity.html},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/MarmsolerB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MarmsolerB22,
author = {Diego Marmsoler and
Achim D. Brucker},
editor = {Laura Kov{\'{a}}cs and
Karl Meinke},
title = {Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing},
booktitle = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13361},
pages = {106--125},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09827-7\_7},
doi = {10.1007/978-3-031-09827-7\_7},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/MarmsolerB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BruckerY21,
author = {Achim D. Brucker and
Sakine Yalman},
editor = {Andrea Marrella and
Barbara Weber},
title = {Confidentiality Enhanced Life-Cycle Assessment},
booktitle = {Business Process Management Workshops - {BPM} 2021 International Workshops,
Rome, Italy, September 6-10, 2021, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {436},
pages = {434--446},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-94343-1\_33},
doi = {10.1007/978-3-030-94343-1\_33},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/BruckerY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HessMBS21,
author = {Andreas V. Hess and
Sebastian M{\"{o}}dersheim and
Achim D. Brucker and
Anders Schlichtkrull},
title = {Performing Security Proofs of Stateful Protocols},
booktitle = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik,
Croatia, June 21-25, 2021},
pages = {1--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CSF51468.2021.00006},
doi = {10.1109/CSF51468.2021.00006},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/HessMBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MarmsolerB21,
author = {Diego Marmsoler and
Achim D. Brucker},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {A Denotational Semantics of Solidity in Isabelle/HOL},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {403--422},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_23},
doi = {10.1007/978-3-030-92124-8\_23},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/MarmsolerB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BruckerH20,
author = {Achim D. Brucker and
Michael Herzberg},
title = {The Safely Composable {DOM}},
journal = {Arch. Formal Proofs},
volume = {2020},
year = {2020},
url = {https://www.isa-afp.org/entries/Core\_SC\_DOM.html},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/BruckerH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BruckerH20a,
author = {Achim D. Brucker and
Michael Herzberg},
title = {A Formalization of Safely Composable Web Components},
journal = {Arch. Formal Proofs},
volume = {2020},
year = {2020},
url = {https://www.isa-afp.org/entries/SC\_DOM\_Components.html},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/BruckerH20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BruckerH20b,
author = {Achim D. Brucker and
Michael Herzberg},
title = {A Formal Model of the Safely Composable Document Object Model with
Shadow Roots},
journal = {Arch. Formal Proofs},
volume = {2020},
year = {2020},
url = {https://www.isa-afp.org/entries/Shadow\_SC\_DOM.html},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/BruckerH20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BruckerH20c,
author = {Achim D. Brucker and
Michael Herzberg},
title = {A Formalization of Web Components},
journal = {Arch. Formal Proofs},
volume = {2020},
year = {2020},
url = {https://www.isa-afp.org/entries/DOM\_Components.html},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/BruckerH20c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BruckerH20d,
author = {Achim D. Brucker and
Michael Herzberg},
title = {A Formal Model of the Document Object Model with Shadow Roots},
journal = {Arch. Formal Proofs},
volume = {2020},
year = {2020},
url = {https://www.isa-afp.org/entries/Shadow\_DOM.html},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/BruckerH20d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/FosterBTD20,
author = {Michael Foster and
Achim D. Brucker and
Ramsay G. Taylor and
John Derrick},
title = {Inference of Extended Finite State Machines},
journal = {Arch. Formal Proofs},
volume = {2020},
year = {2020},
url = {https://www.isa-afp.org/entries/Extended\_Finite\_State\_Machine\_Inference.html},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/FosterBTD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/FosterBTD20a,
author = {Michael Foster and
Achim D. Brucker and
Ramsay G. Taylor and
John Derrick},
title = {A Formal Model of Extended Finite State Machines},
journal = {Arch. Formal Proofs},
volume = {2020},
year = {2020},
url = {https://www.isa-afp.org/entries/Extended\_Finite\_State\_Machines.html},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/FosterBTD20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/HessMB20,
author = {Andreas V. Hess and
Sebastian M{\"{o}}dersheim and
Achim D. Brucker},
title = {Stateful Protocol Composition and Typing},
journal = {Arch. Formal Proofs},
volume = {2020},
year = {2020},
url = {https://www.isa-afp.org/entries/Stateful\_Protocol\_Composition\_and\_Typing.html},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/HessMB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/HessMBS20,
author = {Andreas V. Hess and
Sebastian M{\"{o}}dersheim and
Achim D. Brucker and
Anders Schlichtkrull},
title = {Automated Stateful Protocol Verification},
journal = {Arch. Formal Proofs},
volume = {2020},
year = {2020},
url = {https://www.isa-afp.org/entries/Automated\_Stateful\_Protocol\_Verification.html},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/HessMBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BruckerTW20,
author = {Achim D. Brucker and
Fr{\'{e}}d{\'{e}}ric Tuong and
Burkhart Wolff},
title = {Model Transformation as Conservative Theory-Transformation},
journal = {J. Object Technol.},
volume = {19},
number = {3},
pages = {3:1--16},
year = {2020},
url = {https://doi.org/10.5381/jot.2020.19.3.a3},
doi = {10.5381/JOT.2020.19.3.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BruckerTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DashevskyiBM19,
author = {Stanislav Dashevskyi and
Achim D. Brucker and
Fabio Massacci},
title = {A Screening Test for Disclosed Vulnerabilities in {FOSS} Components},
journal = {{IEEE} Trans. Software Eng.},
volume = {45},
number = {10},
pages = {945--966},
year = {2019},
url = {https://doi.org/10.1109/TSE.2018.2816033},
doi = {10.1109/TSE.2018.2816033},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DashevskyiBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BruckerH19,
author = {Achim D. Brucker and
Michael Herzberg},
editor = {Farhad Arbab and
Sung{-}Shik Jongmans},
title = {A Formally Verified Model of Web Components},
booktitle = {Formal Aspects of Component Software - 16th International Conference,
{FACS} 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12018},
pages = {51--71},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-40914-2\_3},
doi = {10.1007/978-3-030-40914-2\_3},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BruckerH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BruckerW19,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Using Ontologies in Formal Developments Targeting Certification},
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 = {65--82},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_4},
doi = {10.1007/978-3-030-34968-4\_4},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BruckerW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerDGJPRW19,
author = {Achim D. Brucker and
Gwendal Daniel and
Martin Gogolla and
Fr{\'{e}}d{\'{e}}ric Jouault and
Christophe Ponsard and
Val{\'{e}}ry Ramon and
Edward D. Willink},
editor = {Achim D. Brucker and
Gwendal Daniel and
Fr{\'{e}}d{\'{e}}ric Jouault},
title = {Emerging Topics in Textual Modelling},
booktitle = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
co-located with {IEEE/ACM} 22nd International Conference on Model
Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
Germany, September 16, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2513},
pages = {91--104},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2513/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BruckerDGJPRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FosterBTND19,
author = {Michael Foster and
Achim D. Brucker and
Ramsay G. Taylor and
Siobh{\'{a}}n North and
John Derrick},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {Incorporating Data into {EFSM} Inference},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {257--272},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_14},
doi = {10.1007/978-3-030-30446-1\_14},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/FosterBTND19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BruckerW19,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {Isabelle/DOF: Design and Implementation},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {275--292},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_15},
doi = {10.1007/978-3-030-30446-1\_15},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BruckerW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2019ocl,
editor = {Achim D. Brucker and
Gwendal Daniel and
Fr{\'{e}}d{\'{e}}ric Jouault},
title = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
co-located with {IEEE/ACM} 22nd International Conference on Model
Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
Germany, September 16, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2513},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2513},
urn = {urn:nbn:de:0074-2513-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2019ocl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BruckerH18,
author = {Achim D. Brucker and
Michael Herzberg},
title = {A Formal Model of the Document Object Model},
journal = {Arch. Formal Proofs},
volume = {2018},
year = {2018},
url = {https://www.isa-afp.org/entries/Core\_DOM.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/BruckerH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/AsimYBBSL18,
author = {Muhammad Asim and
Artsiom Yautsiukhin and
Achim D. Brucker and
Thar Baker and
Qi Shi and
Brett Lempereur},
title = {Security policy monitoring of BPMN-based service compositions},
journal = {J. Softw. Evol. Process.},
volume = {30},
number = {9},
year = {2018},
url = {https://doi.org/10.1002/smr.1944},
doi = {10.1002/SMR.1944},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/AsimYBBSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/HessMB18,
author = {Andreas V. Hess and
Sebastian Alexander M{\"{o}}dersheim and
Achim D. Brucker},
editor = {Javier L{\'{o}}pez and
Jianying Zhou and
Miguel Soriano},
title = {Stateful Protocol Composition},
booktitle = {Computer Security - 23rd European Symposium on Research in Computer
Security, {ESORICS} 2018, Barcelona, Spain, September 3-7, 2018, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11098},
pages = {427--446},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99073-6\_21},
doi = {10.1007/978-3-319-99073-6\_21},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/HessMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FosterTBD18,
author = {Michael Foster and
Ramsay G. Taylor and
Achim D. Brucker and
John Derrick},
editor = {Jing Sun and
Meng Sun},
title = {Formalising Extended Finite State Machine Transition Merging},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {373--387},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_22},
doi = {10.1007/978-3-030-02450-5\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FosterTBD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BruckerACW18,
author = {Achim D. Brucker and
Idir A{\"{\i}}t{-}Sadoune and
Paolo Crisafulli and
Burkhart Wolff},
editor = {Florian Rabe and
William M. Farmer and
Grant O. Passmore and
Abdou Youssef},
title = {Using the Isabelle Ontology Framework - Linking the Formal with the
Informal},
booktitle = {Intelligent Computer Mathematics - 11th International Conference,
{CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11006},
pages = {23--38},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96812-4\_3},
doi = {10.1007/978-3-319-96812-4\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BruckerACW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BruckerH18,
author = {Achim D. Brucker and
Michael Herzberg},
editor = {Catherine Dubois and
Burkhart Wolff},
title = {Formalizing (Web) Standards - An Application of Test and Proof},
booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
France, June 27-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {159--166},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92994-1\_9},
doi = {10.1007/978-3-319-92994-1\_9},
timestamp = {Tue, 23 Jun 2020 17:47:29 +0200},
biburl = {https://dblp.org/rec/conf/tap/BruckerH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BruckerH18,
author = {Achim D. Brucker and
Michael Herzberg},
editor = {Pierre{-}Antoine Champin and
Fabien Gandon and
Mounia Lalmas and
Panagiotis G. Ipeirotis},
title = {A Formal Semantics of the Core {DOM} in Isabelle/HOL},
booktitle = {Companion of the The Web Conference 2018 on The Web Conference 2018,
{WWW} 2018, Lyon , France, April 23-27, 2018},
pages = {741--749},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3184558.3185980},
doi = {10.1145/3184558.3185980},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/www/BruckerH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BruckerBW17,
author = {Achim D. Brucker and
Lukas Br{\"{u}}gger and
Burkhart Wolff},
title = {Formal Network Models and Their Application to Firewall Policies},
journal = {Arch. Formal Proofs},
volume = {2017},
year = {2017},
url = {https://www.isa-afp.org/entries/UPF\_Firewall.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/BruckerBW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dase/OthmaneCBTB17,
author = {Lotfi Ben Othmane and
Golriz Chehrazi and
Eric Bodden and
Petar Tsalovski and
Achim D. Brucker},
title = {Time for Addressing Software Security Issues: Prediction Models and
Impacting Factors},
journal = {Data Sci. Eng.},
volume = {2},
number = {2},
pages = {107--124},
year = {2017},
url = {https://doi.org/10.1007/s41019-016-0019-8},
doi = {10.1007/S41019-016-0019-8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dase/OthmaneCBTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BruckerZMSM17,
author = {Achim D. Brucker and
Bo Zhou and
Francesco Malmignati and
Qi Shi and
Madjid Merabti},
title = {Modelling, validating, and ranking of secure service compositions},
journal = {Softw. Pract. Exp.},
volume = {47},
number = {12},
pages = {1923--1943},
year = {2017},
url = {https://doi.org/10.1002/spe.2513},
doi = {10.1002/SPE.2513},
timestamp = {Mon, 09 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/BruckerZMSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/BillBCGVW17,
author = {Robert Bill and
Achim D. Brucker and
Jordi Cabot and
Martin Gogolla and
Antonio Vallecillo and
Edward D. Willink},
editor = {Martina Seidl and
Steffen Zschaler},
title = {Workshop in {OCL} and Textual Modelling - Report on Recent Trends
and Panel Discussions},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {297--301},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_26},
doi = {10.1007/978-3-319-74730-9\_26},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/BillBCGVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/FeldererBJBBP16,
author = {Michael Felderer and
Matthias B{\"{u}}chler and
Martin Johns and
Achim D. Brucker and
Ruth Breu and
Alexander Pretschner},
title = {Security Testing: {A} Survey},
journal = {Adv. Comput.},
volume = {101},
pages = {1--51},
year = {2016},
url = {https://doi.org/10.1016/bs.adcom.2015.11.003},
doi = {10.1016/BS.ADCOM.2015.11.003},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/FeldererBJBBP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/BruckerH16,
author = {Achim D. Brucker and
Michael Herzberg},
editor = {Juan Caballero and
Eric Bodden and
Elias Athanasopoulos},
title = {On the Static Analysis of Hybrid Mobile Apps - {A} Report on the State
of Apache Cordova Nation},
booktitle = {Engineering Secure Software and Systems - 8th International Symposium,
ESSoS 2016, London, UK, April 6-8, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9639},
pages = {72--88},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30806-7\_5},
doi = {10.1007/978-3-319-30806-7\_5},
timestamp = {Tue, 01 Jun 2021 15:22:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/BruckerH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/DashevskyiBM16,
author = {Stanislav Dashevskyi and
Achim D. Brucker and
Fabio Massacci},
editor = {Juan Caballero and
Eric Bodden and
Elias Athanasopoulos},
title = {On the Security Cost of Using a Free and Open Source Component in
a Proprietary Product},
booktitle = {Engineering Secure Software and Systems - 8th International Symposium,
ESSoS 2016, London, UK, April 6-8, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9639},
pages = {190--206},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30806-7\_12},
doi = {10.1007/978-3-319-30806-7\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/DashevskyiBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerCDGHHTWW16,
author = {Achim D. Brucker and
Jordi Cabot and
Gwendal Daniel and
Martin Gogolla and
Adolfo S{\'{a}}nchez{-}Barbudo Herrera and
Frank Hilken and
Fr{\'{e}}d{\'{e}}ric Tuong and
Edward D. Willink and
Burkhart Wolff},
editor = {Achim D. Brucker and
Jordi Cabot and
Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
title = {Recent Developments in {OCL} and Textual Modelling},
booktitle = {Proceedings of the 16th International Workshop on {OCL} and Textual
Modelling co-located with 19th International Conference on Model Driven
Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
October 2, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1756},
pages = {157--165},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1756/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BruckerCDGHHTWW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BruckerW16,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Bernhard K. Aichernig and
Carlo A. Furia},
title = {Monadic Sequence Testing and Explicit Test-Refinements},
booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
Austria, July 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {17--36},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41135-4\_2},
doi = {10.1007/978-3-319-41135-4\_2},
timestamp = {Tue, 23 Jun 2020 17:47:29 +0200},
biburl = {https://dblp.org/rec/conf/tap/BruckerW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2016ocl,
editor = {Achim D. Brucker and
Jordi Cabot and
Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
title = {Proceedings of the 16th International Workshop on {OCL} and Textual
Modelling co-located with 19th International Conference on Model Driven
Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
October 2, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1756},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1756},
urn = {urn:nbn:de:0074-1756-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2016ocl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BruckerBW15,
author = {Achim D. Brucker and
Lukas Br{\"{u}}gger and
Burkhart Wolff},
title = {Formal firewall conformance testing: an application of test and proof
techniques},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {1},
pages = {34--71},
year = {2015},
url = {https://doi.org/10.1002/stvr.1544},
doi = {10.1002/STVR.1544},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BruckerBW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SalnitriBG15,
author = {Mattia Salnitri and
Achim D. Brucker and
Paolo Giorgini},
editor = {Khaled Gaaloul and
Rainer Schmidt and
Selmin Nurcan and
S{\'{e}}rgio Guerreiro and
Qin Ma},
title = {From Secure Business Process Models to Secure Artifact-Centric Specifications},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 16th
International Conference, {BPMDS} 2015, 20th International Conference,
{EMMSAD} 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015,
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {214},
pages = {246--262},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19237-6\_16},
doi = {10.1007/978-3-319-19237-6\_16},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/SalnitriBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/OthmaneCBTBM15,
author = {Lotfi Ben Othmane and
Golriz Chehrazi and
Eric Bodden and
Petar Tsalovski and
Achim D. Brucker and
Philip Miseldine},
editor = {Javier L{\'{o}}pez and
Chris J. Mitchell},
title = {Factors Impacting the Effort Required to Fix Security Vulnerabilities
- An Industrial Case Study},
booktitle = {Information Security - 18th International Conference, {ISC} 2015,
Trondheim, Norway, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9290},
pages = {102--119},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23318-5\_6},
doi = {10.1007/978-3-319-23318-5\_6},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isw/OthmaneCBTBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BruckerHNW15,
author = {Achim D. Brucker and
Oto Havle and
Yakoub Nemouchi and
Burkhart Wolff},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Testing the {IPC} Protocol for a Real-Time Operating System},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {40--60},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_3},
doi = {10.1007/978-3-319-29613-5\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BruckerHNW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015ocl,
editor = {Achim D. Brucker and
Marina Egea and
Martin Gogolla and
Fr{\'{e}}d{\'{e}}ric Tuong},
title = {Proceedings of the 15th International Workshop on {OCL} and Textual
Modeling co-located with 18th International Conference on Model Driven
Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1512},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1512},
urn = {urn:nbn:de:0074-1512-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2015ocl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BruckerBW14,
author = {Achim D. Brucker and
Lukas Br{\"{u}}gger and
Burkhart Wolff},
title = {The Unified Policy Framework {(UPF)}},
journal = {Arch. Formal Proofs},
volume = {2014},
year = {2014},
url = {https://www.isa-afp.org/entries/UPF.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/BruckerBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BruckerTW14,
author = {Achim D. Brucker and
Fr{\'{e}}d{\'{e}}ric Tuong and
Burkhart Wolff},
title = {Featherweight {OCL:} {A} Proposal for a Machine-Checked Formal Semantics
for {OCL} 2.5},
journal = {Arch. Formal Proofs},
volume = {2014},
year = {2014},
url = {https://www.isa-afp.org/entries/Featherweight\_OCL.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/BruckerTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dud/BachmannB14,
author = {Ruediger Bachmann and
Achim D. Brucker},
title = {Developing secure software},
journal = {Datenschutz und Datensicherheit},
volume = {38},
number = {4},
pages = {257--261},
year = {2014},
url = {https://doi.org/10.1007/s11623-014-0102-0},
doi = {10.1007/S11623-014-0102-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dud/BachmannB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BruckerJ14,
author = {Achim D. Brucker and
Jacques Julliand},
title = {Editorial for the special issue of {STVR} on tests and proofs volume
1: tests and proofs in model-based testing},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {7},
pages = {497--498},
year = {2014},
url = {https://doi.org/10.1002/stvr.1560},
doi = {10.1002/STVR.1560},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BruckerJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BruckerJ14a,
author = {Achim D. Brucker and
Jacques Julliand},
title = {Editorial for the special issue of {STVR} on tests and proofs volume
2: tests and proofs for improving the generation time and quality
of test data suites},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {8},
pages = {591--592},
year = {2014},
url = {https://doi.org/10.1002/stvr.1558},
doi = {10.1002/STVR.1558},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BruckerJ14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerCDGGJTW14,
author = {Achim D. Brucker and
Tony Clark and
Carolina Dania and
Geri Georg and
Martin Gogolla and
Fr{\'{e}}d{\'{e}}ric Jouault and
Ernest Teniente and
Burkhart Wolff},
editor = {Achim D. Brucker and
Carolina Dania and
Geri Georg and
Martin Gogolla},
title = {Panel Discussion: Proposals for Improving {OCL}},
booktitle = {Proceedings of the 14th International Workshop on {OCL} and Textual
Modelling co-located with 17th International Conference on Model Driven
Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
September 30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1285},
pages = {83--99},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1285/paper09.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BruckerCDGGJTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sicherheit/BruckerS14,
author = {Achim D. Brucker and
Uwe Sodan},
editor = {Stefan Katzenbeisser and
Volkmar Lotz and
Edgar R. Weippl},
title = {Deploying Static Application Security Testing on a Large Scale},
booktitle = {Sicherheit 2014: Sicherheit, Schutz und Zuverl{\"{a}}ssigkeit,
Beitr{\"{a}}ge der 7. Jahrestagung des Fachbereichs Sicherheit
der Gesellschaft f{\"{u}}r Informatik e.V. (GI), 19.-21. M{\"{a}}rz
2014, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-228}},
pages = {91--101},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/20071},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sicherheit/BruckerS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sicherheit/BartschBBBHKMSV14,
author = {Steffen Bartsch and
Bernhard J. Berger and
Eric Bodden and
Achim D. Brucker and
Jens Heider and
Mehmet Kus and
S{\"{o}}nke Maseberg and
Karsten Sohr and
Melanie Volkamer},
editor = {Stefan Katzenbeisser and
Volkmar Lotz and
Edgar R. Weippl},
title = {Zertifizierte Datensicherheit f{\"{u}}r Android-Anwendungen auf
Basis statischer Programmanalysen},
booktitle = {Sicherheit 2014: Sicherheit, Schutz und Zuverl{\"{a}}ssigkeit,
Beitr{\"{a}}ge der 7. Jahrestagung des Fachbereichs Sicherheit
der Gesellschaft f{\"{u}}r Informatik e.V. (GI), 19.-21. M{\"{a}}rz
2014, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-228}},
pages = {283--291},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/20050},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sicherheit/BartschBBBHKMSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MelandRTB14,
author = {Per H{\aa}kon Meland and
Erkuden Rios and
Vasilis Tountopoulos and
Achim D. Brucker},
editor = {Achim D. Brucker and
Fabiano Dalpiaz and
Paolo Giorgini and
Per H{\aa}kon Meland and
Erkuden Rios},
title = {The Aniketos Platform},
booktitle = {Secure and Trustworthy Service Composition - The Aniketos Approach},
series = {Lecture Notes in Computer Science},
volume = {8900},
pages = {50--62},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13518-2\_4},
doi = {10.1007/978-3-319-13518-2\_4},
timestamp = {Sun, 02 Oct 2022 16:18:07 +0200},
biburl = {https://dblp.org/rec/series/lncs/MelandRTB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Brucker14,
author = {Achim D. Brucker},
editor = {Achim D. Brucker and
Fabiano Dalpiaz and
Paolo Giorgini and
Per H{\aa}kon Meland and
Erkuden Rios},
title = {Using SecureBPMN for Modelling Security-Aware Service Compositions},
booktitle = {Secure and Trustworthy Service Composition - The Aniketos Approach},
series = {Lecture Notes in Computer Science},
volume = {8900},
pages = {110--120},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13518-2\_8},
doi = {10.1007/978-3-319-13518-2\_8},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/Brucker14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BruckerMMSZ14,
author = {Achim D. Brucker and
Francesco Malmignati and
Madjid Merabti and
Qi Shi and
Bo Zhou},
editor = {Achim D. Brucker and
Fabiano Dalpiaz and
Paolo Giorgini and
Per H{\aa}kon Meland and
Erkuden Rios},
title = {The Aniketos Service Composition Framework - Analysing and Ranking
of Secure Services},
booktitle = {Secure and Trustworthy Service Composition - The Aniketos Approach},
series = {Lecture Notes in Computer Science},
volume = {8900},
pages = {121--135},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13518-2\_9},
doi = {10.1007/978-3-319-13518-2\_9},
timestamp = {Mon, 09 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/BruckerMMSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BruckerCG14,
author = {Achim D. Brucker and
Luca Compagna and
Pierre Guilleminot},
editor = {Achim D. Brucker and
Fabiano Dalpiaz and
Paolo Giorgini and
Per H{\aa}kon Meland and
Erkuden Rios},
title = {Compliance Validation of Secure Service Compositions},
booktitle = {Secure and Trustworthy Service Composition - The Aniketos Approach},
series = {Lecture Notes in Computer Science},
volume = {8900},
pages = {136--149},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13518-2\_10},
doi = {10.1007/978-3-319-13518-2\_10},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BruckerCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AsimYBLS14,
author = {Muhammad Asim and
Artsiom Yautsiukhin and
Achim D. Brucker and
Brett Lempereur and
Qi Shi},
editor = {Achim D. Brucker and
Fabiano Dalpiaz and
Paolo Giorgini and
Per H{\aa}kon Meland and
Erkuden Rios},
title = {Security Policy Monitoring of Composite Services},
booktitle = {Secure and Trustworthy Service Composition - The Aniketos Approach},
series = {Lecture Notes in Computer Science},
volume = {8900},
pages = {192--202},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13518-2\_13},
doi = {10.1007/978-3-319-13518-2\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/AsimYBLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014ocl,
editor = {Achim D. Brucker and
Carolina Dania and
Geri Georg and
Martin Gogolla},
title = {Proceedings of the 14th International Workshop on {OCL} and Textual
Modelling co-located with 17th International Conference on Model Driven
Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
September 30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1285},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1285},
urn = {urn:nbn:de:0074-1285-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014ocl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/8900,
editor = {Achim D. Brucker and
Fabiano Dalpiaz and
Paolo Giorgini and
Per H{\aa}kon Meland and
Erkuden Rios},
title = {Secure and Trustworthy Service Composition - The Aniketos Approach},
series = {Lecture Notes in Computer Science},
volume = {8900},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13518-2},
doi = {10.1007/978-3-319-13518-2},
isbn = {978-3-319-13517-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/8900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BruckerCCDGPRWW14,
author = {Achim D. Brucker and
Dan Chiorean and
Tony Clark and
Birgit Demuth and
Martin Gogolla and
Dimitri Plotnikov and
Bernhard Rumpe and
Edward D. Willink and
Burkhart Wolff},
title = {Report on the Aachen {OCL} Meeting},
journal = {CoRR},
volume = {abs/1408.5698},
year = {2014},
url = {http://arxiv.org/abs/1408.5698},
eprinttype = {arXiv},
eprint = {1408.5698},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BruckerCCDGPRWW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BruckerW13,
author = {Achim D. Brucker and
Burkhart Wolff},
title = {On theorem prover-based testing},
journal = {Formal Aspects Comput.},
volume = {25},
number = {5},
pages = {683--721},
year = {2013},
url = {https://doi.org/10.1007/s00165-012-0222-y},
doi = {10.1007/S00165-012-0222-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BruckerW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Brucker13,
author = {Achim D. Brucker},
title = {Integrating Security Aspects into Business Process Models},
journal = {it Inf. Technol.},
volume = {55},
number = {6},
pages = {239--246},
year = {2013},
url = {https://doi.org/10.1524/itit.2013.2004},
doi = {10.1524/ITIT.2013.2004},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Brucker13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CompagnaGB13,
author = {Luca Compagna and
Pierre Guilleminot and
Achim D. Brucker},
title = {Business Process Compliance via Security Validation as a Service},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22,
2013},
pages = {455--462},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICST.2013.63},
doi = {10.1109/ICST.2013.63},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CompagnaGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BruckerBW13,
author = {Achim D. Brucker and
Lukas Br{\"{u}}gger and
Burkhart Wolff},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance
Testing},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8049},
pages = {112--121},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39718-9\_7},
doi = {10.1007/978-3-642-39718-9\_7},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BruckerBW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerLTW13,
author = {Achim D. Brucker and
Delphine Longuet and
Fr{\'{e}}d{\'{e}}ric Tuong and
Burkhart Wolff},
editor = {Jordi Cabot and
Martin Gogolla and
Istv{\'{a}}n R{\'{a}}th and
Edward D. Willink},
title = {On the Semantics of Object-Oriented Data Structures and Path Expressions},
booktitle = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
16th International {ACM/IEEE} Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1092},
pages = {23--32},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1092/brucker.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BruckerLTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerCCDGPRWW13,
author = {Achim D. Brucker and
Dan Chiorean and
Tony Clark and
Birgit Demuth and
Martin Gogolla and
Dimitri Plotnikov and
Bernhard Rumpe and
Edward D. Willink and
Burkhart Wolff},
editor = {Jordi Cabot and
Martin Gogolla and
Istv{\'{a}}n R{\'{a}}th and
Edward D. Willink},
title = {Report on the Aachen {OCL} Meeting},
booktitle = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
16th International {ACM/IEEE} Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1092},
pages = {103--111},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1092/aachen.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BruckerCCDGPRWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socialcom/BruckerMMSZ13,
author = {Achim D. Brucker and
Francesco Malmignati and
Madjid Merabti and
Qi Shi and
Bo Zhou},
title = {A Framework for Secure Service Composition},
booktitle = {International Conference on Social Computing, SocialCom 2013, SocialCom/PASSAT/BigData/EconCom/BioMedCom
2013, Washington, DC, USA, 8-14 September, 2013},
pages = {647--652},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SocialCom.2013.97},
doi = {10.1109/SOCIALCOM.2013.97},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socialcom/BruckerMMSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BruckerFNW13,
author = {Achim D. Brucker and
Abderrahmane Feliachi and
Yakoub Nemouchi and
Burkhart Wolff},
editor = {Margus Veanes and
Luca Vigan{\`{o}}},
title = {Test Program Generation for a Microprocessor - {A} Case-Study},
booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
Hungary, June 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {76--95},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38916-0\_5},
doi = {10.1007/978-3-642-38916-0\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/BruckerFNW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BruckerH12,
author = {Achim D. Brucker and
Isabelle Hang},
editor = {Marcello La Rosa and
Pnina Soffer},
title = {Secure and Compliant Implementation of Business Process-Driven Systems},
booktitle = {Business Process Management Workshops - {BPM} 2012 International Workshops,
Tallinn, Estonia, September 3, 2012. Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {132},
pages = {662--674},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36285-9\_66},
doi = {10.1007/978-3-642-36285-9\_66},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/BruckerH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/futsec/MonakovaSBFS12,
author = {Ganna Monakova and
Cristina Severin and
Achim D. Brucker and
Ulrich Flegel and
Andreas Schaad},
editor = {Nils Aschenbruck and
Peter Martini and
Michael Meier and
Jens T{\"{o}}lle},
title = {Monitoring Security and Safety of Assets in Supply Chains},
booktitle = {Future Security - 7th Security Research Conference, Future Security
2012, Bonn, Germany, September 4-6, 2012. Proceedings},
series = {Communications in Computer and Information Science},
volume = {318},
pages = {9--20},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33161-9\_3},
doi = {10.1007/978-3-642-33161-9\_3},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/futsec/MonakovaSBFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerW12,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Mira Balaban and
Jordi Cabot and
Martin Gogolla and
Claas Wilke},
title = {Featherweight {OCL:} a study for the consistent semantics of {OCL}
2.3 in {HOL}},
booktitle = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
Austria, September 30, 2012},
pages = {19--24},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2428516.2428520},
doi = {10.1145/2428516.2428520},
timestamp = {Wed, 23 Feb 2022 13:04:32 +0100},
biburl = {https://dblp.org/rec/conf/models/BruckerW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MonakovaBS12,
author = {Ganna Monakova and
Achim D. Brucker and
Andreas Schaad},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Security and safety of assets in business processes},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1667--1673},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232045},
doi = {10.1145/2245276.2232045},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/MonakovaBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/BruckerHLR12,
author = {Achim D. Brucker and
Isabelle Hang and
Gero L{\"{u}}ckemeyer and
Raj Ruparel},
editor = {Vijay Atluri and
Jaideep Vaidya and
Axel Kern and
Murat Kantarcioglu},
title = {SecureBPMN: modeling and enforcing access control requirements in
business processes},
booktitle = {17th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
'12, Newark, NJ, {USA} - June 20 - 22, 2012},
pages = {123--126},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2295136.2295160},
doi = {10.1145/2295136.2295160},
timestamp = {Tue, 06 Nov 2018 16:57:58 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/BruckerHLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/12/MarienfeldHBFPSBRDT12,
author = {Florian Marienfeld and
Edzard H{\"{o}}fig and
Michele Bezzi and
Matthias Fl{\"{u}}gge and
Jonas Pattberg and
Gabriel Serme and
Achim D. Brucker and
Philip Robinson and
Stephen Dawson and
Wolfgang Theilmann},
editor = {Alistair Barros and
Daniel Oberle},
title = {Service Levels, Security, and Trust},
booktitle = {Handbook of Service Description - {USDL} and Its Methods},
pages = {295--326},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4614-1864-1\_12},
doi = {10.1007/978-1-4614-1864-1\_12},
timestamp = {Mon, 16 Aug 2021 11:09:48 +0200},
biburl = {https://dblp.org/rec/books/sp/12/MarienfeldHBFPSBRDT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2012,
editor = {Achim D. Brucker and
Jacques Julliand},
title = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6},
doi = {10.1007/978-3-642-30473-6},
isbn = {978-3-642-30472-9},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/KriegerB11,
author = {Matthias P. Krieger and
Achim D. Brucker},
title = {Extending {OCL} Operation Contracts with Objective Functions},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {44},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.44.662},
doi = {10.14279/TUJ.ECEASST.44.662},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/KriegerB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/BruckerP11,
author = {Achim D. Brucker and
Helmut Petritsch},
title = {A Framework for Managing and Analyzing Changes of Security Policies},
booktitle = {{POLICY} 2011, {IEEE} International Symposium on Policies for Distributed
Systems and Networks, Pisa, Italy, 6-8 June 2011},
pages = {105--112},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/POLICY.2011.47},
doi = {10.1109/POLICY.2011.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/BruckerP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/BruckerBKW11,
author = {Achim D. Brucker and
Lukas Br{\"{u}}gger and
Paul J. Kearney and
Burkhart Wolff},
editor = {Ruth Breu and
Jason Crampton and
Jorge Lobo},
title = {An approach to modular and testable security models of real-world
health-care applications},
booktitle = {16th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2011, Innsbruck, Austria, June 15-17, 2011, Proceedings},
pages = {133--142},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1998441.1998461},
doi = {10.1145/1998441.1998461},
timestamp = {Sat, 28 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/BruckerBKW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BrauneBKLMPP11,
author = {Stephan Braune and
Achim D. Brucker and
Gerald Kleser and
Keqin Li and
Theo Dirk Meijler and
Heiko Paulheim and
Florian Probst},
editor = {Ralf H. Reussner and
Alexander Pretschner and
Stefan J{\"{a}}hnichen},
title = {A Service-oriented Architecture for Emergency Management Systems},
booktitle = {Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium),
Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe},
series = {{LNI}},
volume = {{P-184}},
pages = {225--232},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/19891},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BrauneBKLMPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/WahlerBBK10,
author = {Michael Wahler and
David A. Basin and
Achim D. Brucker and
Jana Koehler},
title = {Efficient analysis of pattern-based constraint specifications},
journal = {Softw. Syst. Model.},
volume = {9},
number = {2},
pages = {225--255},
year = {2010},
url = {https://doi.org/10.1007/s10270-009-0123-6},
doi = {10.1007/S10270-009-0123-6},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/WahlerBBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/BruckerH10,
author = {Achim D. Brucker and
Dieter Hutter},
title = {Information Flow in Disaster Management Systems},
booktitle = {{ARES} 2010, Fifth International Conference on Availability, Reliability
and Security, 15-18 February 2010, Krakow, Poland},
pages = {156--163},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ARES.2010.107},
doi = {10.1109/ARES.2010.107},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/BruckerH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/BruckerP10,
author = {Achim D. Brucker and
Helmut Petritsch},
editor = {Fabio Massacci and
Dan S. Wallach and
Nicola Zannone},
title = {Idea: Efficient Evaluation of Access Control Constraints},
booktitle = {Engineering Secure Software and Systems, Second International Symposium,
ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5965},
pages = {157--165},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11747-3\_12},
doi = {10.1007/978-3-642-11747-3\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/BruckerP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/AltenhofenB10,
author = {Michael Altenhofen and
Achim D. Brucker},
editor = {Stefan Kowalewski and
Marco Roveri},
title = {Practical Issues with Formal Specifications - Lessons Learned from
an Industrial Case Study},
booktitle = {Formal Methods for Industrial Critical Systems - 15th International
Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6371},
pages = {17--32},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15898-8\_2},
doi = {10.1007/978-3-642-15898-8\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/AltenhofenB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BruckerBKW10,
author = {Achim D. Brucker and
Lukas Br{\"{u}}gger and
Paul J. Kearney and
Burkhart Wolff},
title = {Verified Firewall Policy Transformations for Test Case Generation},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {345--354},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.50},
doi = {10.1109/ICST.2010.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BruckerBKW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerKLW10,
author = {Achim D. Brucker and
Matthias P. Krieger and
Delphine Longuet and
Burkhart Wolff},
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {A Specification-Based Test Case Generation Method for {UML/OCL}},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6627},
pages = {334--348},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21210-9\_33},
doi = {10.1007/978-3-642-21210-9\_33},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/BruckerKLW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wistp/BruckerPW10,
author = {Achim D. Brucker and
Helmut Petritsch and
Stefan G. Weber},
editor = {Pierangela Samarati and
Michael Tunstall and
Joachim Posegga and
Konstantinos Markantonakis and
Damien Sauveron},
title = {Attribute-Based Encryption with Break-Glass},
booktitle = {Information Security Theory and Practices. Security and Privacy of
Pervasive Systems and Smart Devices, 4th {IFIP} {WG} 11.2 International
Workshop, {WISTP} 2010, Passau, Germany, April 12-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6033},
pages = {237--244},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12368-9\_18},
doi = {10.1007/978-3-642-12368-9\_18},
timestamp = {Fri, 27 Mar 2020 08:56:51 +0100},
biburl = {https://dblp.org/rec/conf/wistp/BruckerPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BruckerW09,
author = {Achim D. Brucker and
Burkhart Wolff},
title = {Semantics, calculi, and analysis for object-oriented specifications},
journal = {Acta Informatica},
volume = {46},
number = {4},
pages = {255--284},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0093-8},
doi = {10.1007/S00236-009-0093-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BruckerW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/KohlerBS09,
author = {Mathias Kohler and
Achim D. Brucker and
Andreas Schaad},
title = {ProActive Caching: Generating Caching Heuristics for Business Process
Environments},
booktitle = {Proceedings of the 12th {IEEE} International Conference on Computational
Science and Engineering, {CSE} 2009, Vancouver, BC, Canada, August
29-31, 2009},
pages = {297--304},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSE.2009.177},
doi = {10.1109/CSE.2009.177},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/KohlerBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BruckerW09,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Marsha Chechik and
Martin Wirsing},
title = {hol-TestGen},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {417--420},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_28},
doi = {10.1007/978-3-642-00593-0\_28},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/BruckerW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BruckerM09,
author = {Achim D. Brucker and
Sebastian M{\"{o}}dersheim},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Integrating Automated and Interactive Protocol Verification},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {248--262},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_18},
doi = {10.1007/978-3-642-12459-4\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BruckerM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerKW09,
author = {Achim D. Brucker and
Matthias P. Krieger and
Burkhart Wolff},
editor = {Sudipto Ghosh},
title = {Extending {OCL} with Null-References},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {261--275},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_25},
doi = {10.1007/978-3-642-12261-3\_25},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/BruckerKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/BruckerPS09,
author = {Achim D. Brucker and
Helmut Petritsch and
Andreas Schaad},
title = {Delegation Assistance},
booktitle = {{POLICY} 2009, {IEEE} International Symposium on Policies for Distributed
Systems and Networks, London, UK, 20-22 July 2009},
pages = {84--91},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/POLICY.2009.35},
doi = {10.1109/POLICY.2009.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/BruckerPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/BruckerP09,
author = {Achim D. Brucker and
Helmut Petritsch},
editor = {Barbara Carminati and
James Joshi},
title = {Extending access control models with break-glass},
booktitle = {14th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2009, Stresa, Italy, June 3-5, 2009, Proceedings},
pages = {197--206},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542207.1542239},
doi = {10.1145/1542207.1542239},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/BruckerP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BruckerW08,
author = {Achim D. Brucker and
Burkhart Wolff},
title = {An Extensible Encoding of Object-oriented Data Models in hol},
journal = {J. Autom. Reason.},
volume = {41},
number = {3-4},
pages = {219--249},
year = {2008},
url = {https://doi.org/10.1007/s10817-008-9108-3},
doi = {10.1007/S10817-008-9108-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BruckerW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BruckerW08,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Jan Vitek},
title = {Extensible Universes for Object-Oriented Data Models},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {438--462},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_19},
doi = {10.1007/978-3-540-70592-5\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BruckerW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BruckerW08,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {{HOL-OCL:} {A} Formal Proof Environment for {UML/OCL}},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {97--100},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_8},
doi = {10.1007/978-3-540-78743-3\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/BruckerW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BruckerBW08,
author = {Achim D. Brucker and
Lukas Br{\"{u}}gger and
Burkhart Wolff},
editor = {Kenji Suzuki and
Teruo Higashino and
Andreas Ulrich and
Toru Hasegawa},
title = {Model-Based Firewall Conformance Testing},
booktitle = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
6.1 International Conference, TestCom 2008, 8th International Workshop,
{FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5047},
pages = {103--118},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68524-1\_9},
doi = {10.1007/978-3-540-68524-1\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/BruckerBW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruckerBW08,
author = {Achim D. Brucker and
Lukas Br{\"{u}}gger and
Burkhart Wolff},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Verifying Test-Hypotheses: An Experiment in Test and Proof},
booktitle = {Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS
2008, Budapest, Hungary, March 30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {1},
pages = {15--27},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.003},
doi = {10.1016/J.ENTCS.2008.11.003},
timestamp = {Fri, 17 Feb 2023 11:06:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BruckerBW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Brucker07,
author = {Achim D. Brucker},
title = {An interactive proof environment for object-oriented specifications},
school = {{ETH} Zurich, Z{\"{u}}rich, Switzerland},
year = {2007},
url = {https://hdl.handle.net/20.500.11850/4044},
doi = {10.3929/ETHZ-A-005413886},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Brucker07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BruckerW07,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Yuri Gurevich and
Bertrand Meyer},
title = {Test-Sequence Generation with Hol-TestGen with an Application to Firewall
Testing},
booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
Switzerland, February 12-13, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {149--168},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73770-4\_9},
doi = {10.1007/978-3-540-73770-4\_9},
timestamp = {Tue, 23 Jun 2020 17:02:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/BruckerW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BruckerDW06,
author = {Achim D. Brucker and
J{\"{u}}rgen Doser and
Burkhart Wolff},
title = {An {MDA} Framework Supporting {OCL}},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {5},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.5.45},
doi = {10.14279/TUJ.ECEASST.5.45},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BruckerDW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BruckerDW06a,
author = {Achim D. Brucker and
J{\"{u}}rgen Doser and
Burkhart Wolff},
title = {Semantic Issues of {OCL:} Past, Present, and Future},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {5},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.5.46},
doi = {10.14279/TUJ.ECEASST.5.46},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BruckerDW06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/WahlerKB06,
author = {Michael Wahler and
Jana Koehler and
Achim D. Brucker},
title = {Model-Driven Constraint Engineering},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {5},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.5.44},
doi = {10.14279/TUJ.ECEASST.5.44},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/WahlerKB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerDW06,
author = {Achim D. Brucker and
J{\"{u}}rgen Doser and
Burkhart Wolff},
editor = {Oscar Nierstrasz and
Jon Whittle and
David Harel and
Gianna Reggio},
title = {A Model Transformation Semantics and Analysis Methodology for SecureUML},
booktitle = {Model Driven Engineering Languages and Systems, 9th International
Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4199},
pages = {306--320},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11880240\_22},
doi = {10.1007/11880240\_22},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/models/BruckerDW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BruckerW05,
author = {Achim D. Brucker and
Burkhart Wolff},
title = {A verification approach to applied system security},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {233--247},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0176-3},
doi = {10.1007/S10009-004-0176-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BruckerW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/BruckerW05,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Wolfgang Grieskamp and
Carsten Weise},
title = {Interactive Testing with HOL-TestGen},
booktitle = {Formal Approaches to Software Testing, 5th International Workshop,
{FATES} 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3997},
pages = {87--102},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11759744\_7},
doi = {10.1007/11759744\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/BruckerW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/BruckerW04,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Jens Grabowski and
Brian Nielsen},
title = {Symbolic Test Case Generation for Primitive Recursive Functions},
booktitle = {Formal Approaches to Software Testing, 4th International Workshop,
{FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3395},
pages = {16--32},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31848-4\_2},
doi = {10.1007/978-3-540-31848-4\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/BruckerW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BruckerRW03,
author = {Achim D. Brucker and
Frank Rittinger and
Burkhart Wolff},
title = {{HOL-Z} 2.0: {A} Proof Environment for Z-Specifications},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {2},
pages = {152--172},
year = {2003},
url = {https://doi.org/10.3217/jucs-009-02-0152},
doi = {10.3217/JUCS-009-02-0152},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BruckerRW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruckerW03,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {A Case Study of a Formalized Security Architecture},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {24--40},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80807-7},
doi = {10.1016/S1571-0661(04)80807-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BruckerW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BruckerW02,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Victor Carre{\~{n}}o and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {A Proposal for a Formal {OCL} Semantics in Isabelle/HOL},
booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference,
TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2410},
pages = {99--114},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45685-6\_8},
doi = {10.1007/3-540-45685-6\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BruckerW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BruckerW02,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Herman Geuvers and
Freek Wiedijk},
title = {Using Theory Morphisms for Implementing Formal Methods Tools},
booktitle = {Types for Proofs and Programs, Second International Workshop, {TYPES}
2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2646},
pages = {59--77},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-39185-1\_4},
doi = {10.1007/3-540-39185-1\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/BruckerW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BruckerW02,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Heinrich Hu{\ss}mann and
Stephen Cook},
title = {{HOL-OCL:} Experiences, Consequences and Design Choices},
booktitle = {{UML} 2002 - The Unified Modeling Language, 5th International Conference,
Dresden, Germany, September 30 - October 4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2460},
pages = {196--211},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45800-X\_17},
doi = {10.1007/3-540-45800-X\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/BruckerW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BruckerW01,
author = {Achim D. Brucker and
Burkhart Wolff},
editor = {Kurt Bauknecht and
Wilfried Brauer and
Thomas A. M{\"{u}}ck},
title = {Testing Distributed Component Based Systems Using {UML/OCL}},
booktitle = {Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft
f{\"{u}}r Informatik, Wirtschaft und Wissenschaft in der Network
Economy - Visionen und Wirklichkeit, Jahrestagung der {\"{O}}sterreichischen
Computer Gesellschaft 2001, {INFORMATIK/OCG} 2001, Vienna, Austria,
September 25-28, 2001, Band 1},
series = {Schriftenreihe der {\"{O}}sterreichischen Computer-Gesellschaft},
volume = {157},
pages = {608--614},
publisher = {Konstanz UVK-Verl.-Ges.},
year = {2001},
timestamp = {Fri, 17 Jul 2020 14:28:31 +0200},
biburl = {https://dblp.org/rec/conf/gi/BruckerW01.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 02:33 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:
