Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thomas Santen
@inproceedings{DBLP:conf/birthday/Santen23,
author = {Thomas Santen},
editor = {Anne E. Haxthausen and
Wen{-}ling Huang and
Markus Roggenbach},
title = {Debugging Frame Conditions},
booktitle = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
to Jan Peleska on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14165},
pages = {320--332},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40132-9\_20},
doi = {10.1007/978-3-031-40132-9\_20},
timestamp = {Wed, 20 Sep 2023 17:19:14 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Santen23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Santen22,
author = {Thomas Santen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On the Pragmatics of Moving from System Models to Program Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {124--138},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_8},
doi = {10.1007/978-3-031-19849-6\_8},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/Santen22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/WoodcockBC0S21,
author = {Jim Woodcock and
Janet Barnes and
Rod Chapman and
Simon Foster and
Thomas Santen},
editor = {Cliff B. Jones and
Jayadev Misra},
title = {Verification in the Grand Challenge},
booktitle = {Theories of Programming: The Life and Works of Tony Hoare},
series = {{ACM} Books},
volume = {39},
pages = {125--156},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2021},
url = {https://doi.org/10.1145/3477355.3477363},
doi = {10.1145/3477355.3477363},
timestamp = {Fri, 18 Aug 2023 18:15:50 +0200},
biburl = {https://dblp.org/rec/books/mc/21/WoodcockBC0S21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/KatoenNSSW14,
author = {Joost{-}Pieter Katoen and
Thomas Noll and
Thomas Santen and
Dirk Seifert and
Hao Wu},
editor = {Kai Fischbach and
Udo R. Krieger},
title = {Performance Analysis of Computing Servers - {A} Case Study Exploiting
a New {GSPN} Semantics},
booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability
and Fault Tolerance - 17th International {GI/ITG} Conference, {MMB}
{\&} {DFT} 2014, Bamberg, Germany, March 17-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8376},
pages = {57--72},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-05359-2\_5},
doi = {10.1007/978-3-319-05359-2\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mmb/KatoenNSSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KatoenNWSS13,
author = {Joost{-}Pieter Katoen and
Thomas Noll and
Hao Wu and
Thomas Santen and
Dirk Seifert},
editor = {Enrico Macii},
title = {Model-based energy optimization of automotive control systems},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {761--766},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.162},
doi = {10.7873/DATE.2013.162},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/KatoenNWSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Santen12,
author = {Thomas Santen},
editor = {Stefan J{\"{a}}hnichen and
Axel K{\"{u}}pper and
Sahin Albayrak},
title = {Herausforderungen und neue Technologien zur Verifikation nebenl{\"{a}}ufiger
verteilter Systeme},
booktitle = {Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik,
27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
series = {{LNI}},
volume = {{P-198}},
pages = {17},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/18339},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Santen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/FabianGHSS10,
author = {Benjamin Fabian and
Seda F. G{\"{u}}rses and
Maritta Heisel and
Thomas Santen and
Holger Schmidt},
title = {A comparison of security requirements engineering methods},
journal = {Requir. Eng.},
volume = {15},
number = {1},
pages = {7--40},
year = {2010},
url = {https://doi.org/10.1007/s00766-009-0092-x},
doi = {10.1007/S00766-009-0092-X},
timestamp = {Fri, 24 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/FabianGHSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/JacksonKDSS10,
author = {Ethan K. Jackson and
Eunsuk Kang and
Markus Dahlweid and
Dirk Seifert and
Thomas Santen},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Components, platforms and possibilities: towards generic automation
for {MDA}},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {39--48},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879027},
doi = {10.1145/1879021.1879027},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/JacksonKDSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09,
author = {Ernie Cohen and
Eyad Alkassar and
Vladimir Boyarinov and
Markus Dahlweid and
Ulan Degenbaev and
Mark A. Hillebrand and
Bruno Langenstein and
Dirk Leinenbach and
Michal Moskal and
Steven Obua and
Wolfgang J. Paul and
Hristo Pentchev and
Elena Petrova and
Thomas Santen and
Norbert Schirmer and
Sabine Schmaltz and
Wolfram Schulte and
Andrey Shadrin and
Stephan Tobies and
Alexandra Tsyban and
Sergey Tverdyshev},
editor = {Amir Pnueli and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Invariants, Modularity, and Rights},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5947},
pages = {43--55},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11486-1\_4},
doi = {10.1007/978-3-642-11486-1\_4},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LeinenbachS09,
author = {Dirk Leinenbach and
Thomas Santen},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Verifying the Microsoft Hyper-V Hypervisor with {VCC}},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {806--809},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_51},
doi = {10.1007/978-3-642-05089-3\_51},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/LeinenbachS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DahlweidMSTS09,
author = {Markus Dahlweid and
Michal Moskal and
Thomas Santen and
Stephan Tobies and
Wolfram Schulte},
title = {{VCC:} Contract-based modular verification of concurrent {C}},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {429--430},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071046},
doi = {10.1109/ICSE-COMPANION.2009.5071046},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DahlweidMSTS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/JacksonSDSBS09,
author = {Ethan K. Jackson and
Dirk Seifert and
Markus Dahlweid and
Thomas Santen and
Nikolaj S. Bj{\o}rner and
Wolfram Schulte},
editor = {Alexandre Bergel and
Johan Fabry},
title = {Specifying and Composing Non-functional Requirements in Model-Based
Development},
booktitle = {Software Composition - 8th International Conference, SC@TOOLS 2009,
Zurich, Switzerland, July 2-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5634},
pages = {72--89},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02655-3\_7},
doi = {10.1007/978-3-642-02655-3\_7},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soco/JacksonSDSBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/CohenDHLMSST09,
author = {Ernie Cohen and
Markus Dahlweid and
Mark A. Hillebrand and
Dirk Leinenbach and
Michal Moskal and
Thomas Santen and
Wolfram Schulte and
Stephan Tobies},
editor = {Stefan Berghofer and
Tobias Nipkow and
Christian Urban and
Makarius Wenzel},
title = {{VCC:} {A} Practical System for Verifying Concurrent {C}},
booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5674},
pages = {23--42},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03359-9\_2},
doi = {10.1007/978-3-642-03359-9\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/CohenDHLMSST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Santen08,
author = {Thomas Santen},
title = {Preservation of probabilistic information flow under refinement},
journal = {Inf. Comput.},
volume = {206},
number = {2-4},
pages = {213--249},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.07.008},
doi = {10.1016/J.IC.2007.07.008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Santen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/HeiselHSS08,
author = {Maritta Heisel and
Denis Hatebur and
Thomas Santen and
Dirk Seifert},
title = {Testing Against Requirements Using {UML} Environment Models},
journal = {Softwaretechnik-Trends},
volume = {28},
number = {3},
year = {2008},
url = {http://pi.informatik.uni-siegen.de/stt/28\_3/01\_Fachgruppenberichte/TAV/08\_TAV27P7SeifertHatebur.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/HeiselHSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HeiselHSS08,
author = {Maritta Heisel and
Denis Hatebur and
Thomas Santen and
Dirk Seifen},
editor = {Walid Maalej and
Bernd Br{\"{u}}gge},
title = {Using {UML} Environment Models for Test Case Generation},
booktitle = {Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs
Softwaretechnik, 18.-22.2.2008 in M{\"{u}}nchen},
series = {{LNI}},
volume = {{P-122}},
pages = {399--406},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/31562},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/HeiselHSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/Santen06,
author = {Thomas Santen},
editor = {Dieter Gollmann and
Jan Meier and
Andrei Sabelfeld},
title = {A Formal Framework for Confidentiality-Preserving Refinement},
booktitle = {Computer Security - {ESORICS} 2006, 11th European Symposium on Research
in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4189},
pages = {225--242},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11863908\_15},
doi = {10.1007/11863908\_15},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/Santen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Santen06,
author = {Thomas Santen},
editor = {Janusz G{\'{o}}rski},
title = {Stepwise Development of Secure Systems},
booktitle = {Computer Safety, Reliability, and Security, 25th International Conference,
{SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4166},
pages = {142--155},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11875567\_11},
doi = {10.1007/11875567\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Santen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SantenS06,
author = {Thomas Santen and
Dirk Seifert},
editor = {Bettina Biel and
Matthias Book and
Volker Gruhn},
title = {{TEAGER} - Test Automation for {UML} State Machines},
booktitle = {Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik,
28.-31.3.2006 in Leipzig},
series = {{LNI}},
volume = {{P-79}},
pages = {73--84},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/24301},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SantenS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sicherheit/GursesS06,
author = {Seda F. G{\"{u}}rses and
Thomas Santen},
editor = {Jana Dittmann},
title = {Contextualizing Security Goals: {A} Method for Multilateral Security
Requirements Elicitation},
booktitle = {Sicherheit 2006: Sicherheit - Schutz und Zuverl{\"{a}}ssigkeit,
Beitr{\"{a}}ge der 3. Jahrestagung des Fachbereichs Sicherheit
der Gesellschaft f{\"{u}}r Informatik e.v. (GI), 20.-22. Februar
2006 in Magdeburg},
series = {{LNI}},
volume = {{P-77}},
pages = {42--53},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/24801},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sicherheit/GursesS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/GursesJOOSP05,
author = {Seda F. G{\"{u}}rses and
Jens H. Jahnke and
Christina Obry and
Adeniyi Onabajo and
Thomas Santen and
Morgan Price},
editor = {James R. Cordy and
Anatol W. Kark and
Darlene A. Stewart},
title = {Eliciting confidentiality requirements in practice},
booktitle = {Proceedings of the 2005 conference of the Centre for Advanced Studies
on Collaborative Research, October 17-20, 2005, Toronto, Ontario,
Canada},
pages = {101--116},
publisher = {{IBM}},
year = {2005},
url = {https://dl.acm.org/citation.cfm?id=1105642},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/GursesJOOSP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sicherheit/Santen05,
author = {Thomas Santen},
editor = {Hannes Federrath},
title = {Probabilistic Confidentiality Properties based on Indistinguishability},
booktitle = {Sicherheit 2005: Sicherheit - Schutz und Zuverl{\"{a}}ssigkeit,
Beitr{\"{a}}ge der 2. Jahrestagung des Fachbereichs Sicherheit
der Gesellschaft f{\"{u}}r Informatik e.v. (GI), 5.-8. April
2005 in Regensburg},
series = {{LNI}},
volume = {{P-62}},
pages = {113--124},
publisher = {{GI}},
year = {2005},
url = {https://dl.gi.de/handle/20.500.12116/28362},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sicherheit/Santen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FreilingS04,
author = {Felix C. Freiling and
Thomas Santen},
editor = {Ralf H. Reussner and
Judith A. Stafford and
Clemens A. Szyperski},
title = {On the Composition of Compositional Reasoning},
booktitle = {Architecting Systems with Trustworthy Components, International Seminar,
Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3938},
pages = {137--151},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11786160\_8},
doi = {10.1007/11786160\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/FreilingS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/SeifertHS03,
author = {Dirk Seifert and
Steffen Helke and
Thomas Santen},
editor = {Manfred Broy and
Alexandre V. Zamulin},
title = {Test Case Generation for {UML} Statecharts},
booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov
Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia,
July 9-12, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2890},
pages = {462--468},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39866-0\_46},
doi = {10.1007/978-3-540-39866-0\_46},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/SeifertHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/SantenHP02,
author = {Thomas Santen and
Maritta Heisel and
Andreas Pfitzmann},
editor = {Dieter Gollmann and
G{\"{u}}nter Karjoth and
Michael Waidner},
title = {Confidentiality-Preserving Refinement is Compositional - Sometimes},
booktitle = {Computer Security - {ESORICS} 2002, 7th European Symposium on Research
in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2502},
pages = {194--211},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45853-0\_12},
doi = {10.1007/3-540-45853-0\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/SantenHP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HeiselSS02,
author = {Maritta Heisel and
Thomas Santen and
Jeanine Souqui{\`{e}}res},
editor = {Chris George and
Huaikou Miao},
title = {Toward a Formal Model of Software Components},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {57--68},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_8},
doi = {10.1007/3-540-36103-0\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HeiselSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/SmithKS02,
author = {Graeme Smith and
Florian Kamm{\"{u}}ller and
Thomas Santen},
editor = {Didier Bert and
Jonathan P. Bowen and
Martin C. Henson and
Ken Robinson},
title = {Encoding Object-Z in Isabelle/HOL},
booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
International Conference of {B} and {Z} Users, Grenoble, France, January
23-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2272},
pages = {82--99},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45648-1\_5},
doi = {10.1007/3-540-45648-1\_5},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/SmithKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HeiselPS01,
author = {Maritta Heisel and
Andreas Pfitzmann and
Thomas Santen},
title = {Confidentiality-Preserving Refinement},
booktitle = {14th {IEEE} Computer Security Foundations Workshop {(CSFW-14} 2001),
11-13 June 2001, Cape Breton, Nova Scotia, Canada},
pages = {295--306},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSFW.2001.930154},
doi = {10.1109/CSFW.2001.930154},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/HeiselPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HelkeS01,
author = {Steffen Helke and
Thomas Santen},
editor = {Jos{\'{e}} Nuno Oliveira and
Pamela Zave},
title = {Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries},
booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2021},
pages = {20--42},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45251-6\_3},
doi = {10.1007/3-540-45251-6\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/HelkeS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Santen00,
author = {Thomas Santen},
title = {A mechanized logical model of {Z} and object oriented specification},
school = {Technical University of Berlin, Germany},
year = {2000},
url = {https://d-nb.info/959511881},
isbn = {978-3-8265-7650-8},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Santen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MeyerS00,
author = {Eric Meyer and
Thomas Santen},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Behavioral Conformance Verification in an Integrated Approach Using
{UML} and {B}},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {358--379},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_21},
doi = {10.1007/3-540-40911-4\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/MeyerS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2000,
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4},
doi = {10.1007/3-540-40911-4},
isbn = {3-540-41196-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Santen99,
author = {Thomas Santen},
editor = {Yves Bertot and
Gilles Dowek and
Andr{\'{e}} Hirschowitz and
Christine Paulin{-}Mohring and
Laurent Th{\'{e}}ry},
title = {Isomorphisms - {A} Link Between the Shallow and the Deep},
booktitle = {Theorem Proving in Higher Order Logics, 12th International Conference,
TPHOLs'99, Nice, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1690},
pages = {37--54},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48256-3\_4},
doi = {10.1007/3-540-48256-3\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Santen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/WinterSH98,
author = {Kirsten Winter and
Thomas Santen and
Maritta Heisel},
editor = {Wolfgang D. Ehrenberger},
title = {An Agenda for Specifying Software Components with Complex Data Models},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {16--31},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_2},
doi = {10.1007/3-540-49646-7\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/WinterSH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Santen98,
author = {Thomas Santen},
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {On the Semantic Relation of {Z} and {HOL}},
booktitle = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
pages = {96--115},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49676-2\_8},
doi = {10.1007/978-3-540-49676-2\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/Santen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DickS97,
author = {Sabine Dick and
Thomas Santen},
title = {Searching for a Global Search Algorithm},
journal = {Autom. Softw. Eng.},
volume = {4},
number = {1},
pages = {7--31},
year = {1997},
url = {https://doi.org/10.1023/A:1008651528183},
doi = {10.1023/A:1008651528183},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/DickS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Santen97,
author = {Thomas Santen},
editor = {Elsa L. Gunter and
Amy P. Felty},
title = {A Theory of Structured Model-Based Specifications in Isabelle/HOL},
booktitle = {Theorem Proving in Higher Order Logics, 10th International Conference,
TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1275},
pages = {243--258},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028398},
doi = {10.1007/BFB0028398},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Santen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HelkeNS97,
author = {Steffen Helke and
Thomas Neustupny and
Thomas Santen},
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {Automating Test Case Generation from {Z} Specifications with Isabelle},
booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
pages = {52--71},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027283},
doi = {10.1007/BFB0027283},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/HelkeNS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KolyangSW96,
author = {Kolyang and
Thomas Santen and
Burkhart Wolff},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Correct and User-Friendly Implementations of Transformation Systems},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {629--648},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_111},
doi = {10.1007/3-540-60973-3\_111},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/KolyangSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/KolyangSW96,
author = {Kolyang and
Thomas Santen and
Burkhart Wolff},
editor = {Joakim von Wright and
Jim Grundy and
John Harrison},
title = {A Structure Preserving Encoding of {Z} in Isabelle/HOL},
booktitle = {Theorem Proving in Higher Order Logics, 9th International Conference,
TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1125},
pages = {283--298},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0105411},
doi = {10.1007/BFB0105411},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/KolyangSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/HeiselSZ95,
author = {Maritta Heisel and
Thomas Santen and
Dominik Zimmermann},
editor = {Wilhelm Sch{\"{a}}fer and
Pere Botella},
title = {Tool Support for Formal Software Development: {A} Generic Architecture},
booktitle = {5th European Software Engineering Conference, Sitges, Spain, September
25-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {989},
pages = {272--293},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60406-5\_20},
doi = {10.1007/3-540-60406-5\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esec/HeiselSZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DickS95,
author = {Sabine Dick and
Thomas Santen},
title = {Searching for a Global Algorithm},
booktitle = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
Conference, Boston, Massachusetts, USA, November 12-15, 1995},
pages = {52--59},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/KBSE.1995.490119},
doi = {10.1109/KBSE.1995.490119},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DickS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/SantenKJB95,
author = {Thomas Santen and
Florian Kamm{\"{u}}ller and
Stefan J{\"{a}}hnichen and
Martin Beyer},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {Formalization of Algebraic Specification in the Development Language
{DEVA}},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {223--238},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015464},
doi = {10.1007/BFB0015464},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/SantenKJB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/AnlauffBS93,
author = {Matthias Anlauff and
Martin Beyer and
Thomas Santen},
editor = {Horst Reichel},
title = {Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended
Abstract)},
booktitle = {Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden,
Germany, 27. September - 1. Oktober 1993},
series = {Informatik Aktuell},
pages = {247--252},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-78486-6\_39},
doi = {10.1007/978-3-642-78486-6\_39},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/AnlauffBS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 02:47 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:
