BibTeX records: David von Oheimb

download as .bib file

@inproceedings{DBLP:conf/smartgridsec/Oheimb12,
  author    = {David von Oheimb},
  title     = {{IT} Security Architecture Approaches for Smart Metering and Smart
               Grid},
  booktitle = {Smart Grid Security - First International Workshop, SmartGridSec 2012,
               Berlin, Germany, December 3, 2012, Revised Selected Papers},
  pages     = {1--25},
  year      = {2012},
  crossref  = {DBLP:conf/smartgridsec/2012},
  url       = {https://doi.org/10.1007/978-3-642-38030-3\_1},
  doi       = {10.1007/978-3-642-38030-3\_1},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smartgridsec/Oheimb12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ArmandoAABCCCCCCEFMMOPPRRDTV12,
  author    = {Alessandro Armando and
               Wihem Arsac and
               Tigran Avanesov and
               Michele Barletta and
               Alberto Calvi and
               Alessandro Cappai and
               Roberto Carbone and
               Yannick Chevalier and
               Luca Compagna and
               Jorge Cu{\'{e}}llar and
               Gabriel Erzse and
               Simone Frau and
               Marius Minea and
               Sebastian M{\"{o}}dersheim and
               David von Oheimb and
               Giancarlo Pellegrino and
               Serena Elisa Ponta and
               Marco Rocchetto and
               Micha{\"{e}}l Rusinowitch and
               Mohammad Torabi Dashti and
               Mathieu Turuani and
               Luca Vigan{\`{o}}},
  title     = {The {AVANTSSAR} Platform for the Automated Validation of Trust and
               Security of Service-Oriented Architectures},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  pages     = {267--282},
  year      = {2012},
  crossref  = {DBLP:conf/tacas/2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5\_19},
  doi       = {10.1007/978-3-642-28756-5\_19},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/ArmandoAABCCCCCCEFMMOPPRRDTV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/OheimbM10,
  author    = {David von Oheimb and
               Sebastian M{\"{o}}dersheim},
  title     = {ASLan++ - {A} Formal Security Specification Language for Distributed
               Systems},
  booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
               {FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
               Papers},
  pages     = {1--22},
  year      = {2010},
  crossref  = {DBLP:conf/fmco/2010},
  url       = {https://doi.org/10.1007/978-3-642-25271-6\_1},
  doi       = {10.1007/978-3-642-25271-6\_1},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/OheimbM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/HartmannMOR10,
  author    = {Peter Hartmann and
               Monika Maidl and
               David von Oheimb and
               Richard Robinson},
  title     = {A Case Study in Decentralized, Dynamic, Policy-Based, Authorization
               and Trust Management - Automated Software Distribution for Airplanes},
  booktitle = {Security and Trust Management - 6th International Workshop, {STM}
               2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers},
  pages     = {68--83},
  year      = {2010},
  crossref  = {DBLP:conf/stm/2010},
  url       = {https://doi.org/10.1007/978-3-642-22444-7\_5},
  doi       = {10.1007/978-3-642-22444-7\_5},
  timestamp = {Sat, 06 Jan 2018 16:26:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stm/HartmannMOR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MaidlOHR08,
  author    = {Monika Maidl and
               David von Oheimb and
               Peter Hartmann and
               Richard Robinson},
  title     = {Formal Security Analysis of Electronic Software Distribution Systems},
  booktitle = {Computer Safety, Reliability, and Security, 27th International Conference,
               {SAFECOMP} 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings},
  pages     = {415--428},
  year      = {2008},
  crossref  = {DBLP:conf/safecomp/2008},
  url       = {https://doi.org/10.1007/978-3-540-87698-4\_34},
  doi       = {10.1007/978-3-540-87698-4\_34},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/MaidlOHR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RobinsonLLSPOBC07,
  author    = {Richard Robinson and
               Mingyan Li and
               Scott Lintelman and
               Krishna Sampigethaya and
               Radha Poovendran and
               David von Oheimb and
               Jens{-}Uwe Bu{\ss}er and
               Jorge Cu{\'{e}}llar},
  title     = {Electronic Distribution of Airplane Software and the Impact of Information
               Security on Airplane Safety},
  booktitle = {Computer Safety, Reliability, and Security, 26th International Conference,
               {SAFECOMP} 2007, Nuremberg, Germany, September 18-21, 2007.},
  pages     = {28--39},
  year      = {2007},
  crossref  = {DBLP:conf/safecomp/2007},
  url       = {https://doi.org/10.1007/978-3-540-75101-4\_3},
  doi       = {10.1007/978-3-540-75101-4\_3},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/RobinsonLLSPOBC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Oheimb06,
  author    = {David von Oheimb},
  title     = {Formal Methods in the Security Business: Exotic Flowers Thriving in
               an Expanding Niche},
  booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
               Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  pages     = {592--597},
  year      = {2006},
  crossref  = {DBLP:conf/fm/2006},
  url       = {https://doi.org/10.1007/11813040\_40},
  doi       = {10.1007/11813040\_40},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/Oheimb06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Oheimb06,
  author    = {David von Oheimb},
  title     = {Formal Security Analysis in Industry, at the Example of Electronic
               Distribution of Aircraft Software {(EDS)}},
  booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
               ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages     = {5},
  year      = {2006},
  crossref  = {DBLP:conf/isola/2006},
  url       = {https://doi.org/10.1109/ISoLA.2006.55},
  doi       = {10.1109/ISoLA.2006.55},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/Oheimb06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/OheimbC06,
  author    = {David von Oheimb and
               Jorge Cu{\'{e}}llar},
  title     = {Designing and Verifying Core Protocols for Location Privacy},
  booktitle = {Information Security, 9th International Conference, {ISC} 2006, Samos
               Island, Greece, August 30 - September 2, 2006, Proceedings},
  pages     = {502--516},
  year      = {2006},
  crossref  = {DBLP:conf/isw/2006},
  url       = {https://doi.org/10.1007/11836810\_36},
  doi       = {10.1007/11836810\_36},
  timestamp = {Mon, 07 May 2018 15:01:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isw/OheimbC06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/OheimbLW05,
  author    = {David von Oheimb and
               Volkmar Lotz and
               Georg Walter},
  title     = {Analyzing {SLE} 88 memory management security using Interacting State
               Machines},
  journal   = {Int. J. Inf. Sec.},
  volume    = {4},
  number    = {3},
  pages     = {155--171},
  year      = {2005},
  url       = {https://doi.org/10.1007/s10207-004-0057-5},
  doi       = {10.1007/s10207-004-0057-5},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijisec/OheimbLW05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ArmandoBBCCCDHKMMORSTVV05,
  author    = {Alessandro Armando and
               David A. Basin and
               Yohan Boichut and
               Yannick Chevalier and
               Luca Compagna and
               Jorge Cu{\'{e}}llar and
               Paul Hankes Drielsma and
               Pierre{-}Cyrille H{\'{e}}am and
               Olga Kouchnarenko and
               Jacopo Mantovani and
               Sebastian M{\"{o}}dersheim and
               David von Oheimb and
               Micha{\"{e}}l Rusinowitch and
               Judson Santiago and
               Mathieu Turuani and
               Luca Vigan{\`{o}} and
               Laurent Vigneron},
  title     = {The {AVISPA} Tool for the Automated Validation of Internet Security
               Protocols and Applications},
  booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  pages     = {281--285},
  year      = {2005},
  crossref  = {DBLP:conf/cav/2005},
  url       = {https://doi.org/10.1007/11513988\_27},
  doi       = {10.1007/11513988\_27},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/ArmandoBBCCCDHKMMORSTVV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/Oheimb04,
  author    = {David von Oheimb},
  title     = {Information Flow Control Revisited: Noninfluence = Noninterference
               + Nonleakage},
  booktitle = {Computer Security - {ESORICS} 2004, 9th European Symposium on Research
               Computer Security, Sophia Antipolis, France, September 13-15, 2004,
               Proceedings},
  pages     = {225--243},
  year      = {2004},
  crossref  = {DBLP:conf/esorics/2004},
  url       = {https://doi.org/10.1007/978-3-540-30108-0\_14},
  doi       = {10.1007/978-3-540-30108-0\_14},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/Oheimb04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/OheimbWL03,
  author    = {David von Oheimb and
               Georg Walter and
               Volkmar Lotz},
  title     = {A Formal Security Model of the Infineon {SLE} 88 Smart Card Memory
               Managment},
  booktitle = {Computer Security - {ESORICS} 2003, 8th European Symposium on Research
               in Computer Security, Gj{\o}vik, Norway, October 13-15, 2003, Proceedings},
  pages     = {217--234},
  year      = {2003},
  crossref  = {DBLP:conf/esorics/2003},
  url       = {https://doi.org/10.1007/978-3-540-39650-5\_13},
  doi       = {10.1007/978-3-540-39650-5\_13},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/OheimbWL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KuhnO03,
  author    = {Thomas A. Kuhn and
               David von Oheimb},
  title     = {Interacting State Machines for Mobility},
  booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
               Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  pages     = {698--718},
  year      = {2003},
  crossref  = {DBLP:conf/fm/2003},
  url       = {https://doi.org/10.1007/978-3-540-45236-2\_38},
  doi       = {10.1007/978-3-540-45236-2\_38},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/KuhnO03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/OheimbL03,
  author    = {David von Oheimb and
               Volkmar Lotz},
  title     = {Generic Interacting State Machines and Their Instantiation with Dynamic
               Features},
  booktitle = {Formal Methods and Software Engineering, 5th International Conference
               on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
               2003, Proceedings},
  pages     = {144--166},
  year      = {2003},
  crossref  = {DBLP:conf/icfem/2003},
  url       = {https://doi.org/10.1007/978-3-540-39893-6\_10},
  doi       = {10.1007/978-3-540-39893-6\_10},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/OheimbL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/OheimbL02,
  author    = {David von Oheimb and
               Volkmar Lotz},
  title     = {Formal Security Analysis with Interacting State Machines},
  booktitle = {Computer Security - {ESORICS} 2002, 7th European Symposium on Research
               in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings},
  pages     = {212--228},
  year      = {2002},
  crossref  = {DBLP:conf/esorics/2002},
  url       = {https://doi.org/10.1007/3-540-45853-0\_13},
  doi       = {10.1007/3-540-45853-0\_13},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/OheimbL02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fasec/Oheimb02,
  author    = {David von Oheimb},
  title     = {Interacting State Machines: {A} Stateful Approach to Proving Security},
  booktitle = {Formal Aspects of Security, First International Conference, FASec
               2002, London, UK, December 16-18, 2002, Revised Papers},
  pages     = {15--32},
  year      = {2002},
  crossref  = {DBLP:conf/fasec/2002},
  url       = {https://doi.org/10.1007/978-3-540-40981-6\_4},
  doi       = {10.1007/978-3-540-40981-6\_4},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fasec/Oheimb02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/OheimbN02,
  author    = {David von Oheimb and
               Tobias Nipkow},
  title     = {Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual
               Methods Revisited},
  booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
               of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
  pages     = {89--105},
  year      = {2002},
  crossref  = {DBLP:conf/fm/2002},
  url       = {https://doi.org/10.1007/3-540-45614-7\_6},
  doi       = {10.1007/3-540-45614-7\_6},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/OheimbN02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Oheimb01,
  author    = {David von Oheimb},
  title     = {Analyzing Java in Isabelle-HOL: formalization, type safety and Hoare
               logic},
  school    = {Technical University Munich, Germany},
  year      = {2001},
  url       = {http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2001/oheimb.pdf},
  urn       = {urn:nbn:de:bvb:91-diss2001020916796},
  timestamp = {Thu, 19 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Oheimb01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/Oheimb01,
  author    = {David von Oheimb},
  title     = {Hoare logic for Java in Isabelle/HOL},
  journal   = {Concurrency and Computation: Practice and Experience},
  volume    = {13},
  number    = {13},
  pages     = {1173--1214},
  year      = {2001},
  url       = {https://doi.org/10.1002/cpe.598},
  doi       = {10.1002/cpe.598},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/concurrency/Oheimb01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MullerNOS99,
  author    = {Olaf M{\"{u}}ller and
               Tobias Nipkow and
               David von Oheimb and
               Oscar Slotosch},
  title     = {HOLCF=HOL+LCF},
  journal   = {J. Funct. Program.},
  volume    = {9},
  number    = {2},
  pages     = {191--223},
  year      = {1999},
  url       = {http://journals.cambridge.org/action/displayAbstract?aid=44253},
  timestamp = {Fri, 10 Jun 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/MullerNOS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Oheimb99,
  author    = {David von Oheimb},
  title     = {Hoare Logic for Mutual Recursion and Local Variables},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science,
               19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
  pages     = {168--180},
  year      = {1999},
  crossref  = {DBLP:conf/fsttcs/1999},
  url       = {https://doi.org/10.1007/3-540-46691-6\_13},
  doi       = {10.1007/3-540-46691-6\_13},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/Oheimb99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/OheimbN99,
  author    = {David von Oheimb and
               Tobias Nipkow},
  title     = {Machine-Checking the Java Specification: Proving Type-Safety},
  booktitle = {Formal Syntax and Semantics of Java},
  pages     = {119--156},
  year      = {1999},
  crossref  = {DBLP:conf/java/1999formal},
  url       = {https://doi.org/10.1007/3-540-48737-9\_4},
  doi       = {10.1007/3-540-48737-9\_4},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/java/OheimbN99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jit/OheimbP98,
  author    = {David von Oheimb and
               Cornelia Pusch},
  title     = {Java - formal fundiert},
  booktitle = {Java-Informations-Tage},
  pages     = {77--86},
  year      = {1998},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jit/OheimbP98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NipkowO98,
  author    = {Tobias Nipkow and
               David von Oheimb},
  title     = {Java\emph{\({}_{\mbox{light}}\)} is Type-Safe - Definitely},
  booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, San Diego, CA, USA, January
               19-21, 1998},
  pages     = {161--170},
  year      = {1998},
  crossref  = {DBLP:conf/popl/1998},
  url       = {https://doi.org/10.1145/268946.268960},
  doi       = {10.1145/268946.268960},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/NipkowO98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OheimbG97,
  author    = {David von Oheimb and
               Thomas F. Gritzner},
  title     = {{RALL:} Machine-Supported Proofs for Relation Algebra},
  booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
               Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
               Proceedings},
  pages     = {380--394},
  year      = {1997},
  crossref  = {DBLP:conf/cade/1997},
  url       = {https://doi.org/10.1007/3-540-63104-6\_36},
  doi       = {10.1007/3-540-63104-6\_36},
  timestamp = {Mon, 22 May 2017 17:10:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/OheimbG97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smartgridsec/2012,
  editor    = {Jorge Cu{\'{e}}llar},
  title     = {Smart Grid Security - First International Workshop, SmartGridSec 2012,
               Berlin, Germany, December 3, 2012, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7823},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38030-3},
  doi       = {10.1007/978-3-642-38030-3},
  isbn      = {978-3-642-38029-7},
  timestamp = {Sun, 21 May 2017 00:22:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smartgridsec/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2012,
  editor    = {Cormac Flanagan and
               Barbara K{\"{o}}nig},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7214},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5},
  doi       = {10.1007/978-3-642-28756-5},
  isbn      = {978-3-642-28755-8},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2010,
  editor    = {Bernhard K. Aichernig and
               Frank S. de Boer and
               Marcello M. Bonsangue},
  title     = {Formal Methods for Components and Objects - 9th International Symposium,
               {FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6957},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-25271-6},
  doi       = {10.1007/978-3-642-25271-6},
  isbn      = {978-3-642-25270-9},
  timestamp = {Wed, 17 May 2017 14:24:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stm/2010,
  editor    = {Jorge Cu{\'{e}}llar and
               Gilles Barthe and
               Alexander Pretschner},
  title     = {Security and Trust Management - 6th International Workshop, {STM}
               2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6710},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22444-7},
  doi       = {10.1007/978-3-642-22444-7},
  isbn      = {978-3-642-22443-0},
  timestamp = {Sat, 06 Jan 2018 16:26:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2008,
  editor    = {Michael D. Harrison and
               Mark{-}Alexander Sujan},
  title     = {Computer Safety, Reliability, and Security, 27th International Conference,
               {SAFECOMP} 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5219},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87698-4},
  doi       = {10.1007/978-3-540-87698-4},
  isbn      = {978-3-540-87697-7},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2007,
  editor    = {Francesca Saglietti and
               Norbert Oster},
  title     = {Computer Safety, Reliability, and Security, 26th International Conference,
               {SAFECOMP} 2007, Nuremberg, Germany, September 18-21, 2007},
  series    = {Lecture Notes in Computer Science},
  volume    = {4680},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75101-4},
  doi       = {10.1007/978-3-540-75101-4},
  isbn      = {978-3-540-75100-7},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2006,
  editor    = {Jayadev Misra and
               Tobias Nipkow and
               Emil Sekerinski},
  title     = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
               Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4085},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11813040},
  doi       = {10.1007/11813040},
  isbn      = {3-540-37215-6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2006,
  title     = {Leveraging Applications of Formal Methods, Second International Symposium,
               ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4463675},
  isbn      = {978-0-7695-3071-0},
  timestamp = {Fri, 23 Dec 2016 12:21:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isw/2006,
  editor    = {Sokratis K. Katsikas and
               Javier L{\'{o}}pez and
               Michael Backes and
               Stefanos Gritzalis and
               Bart Preneel},
  title     = {Information Security, 9th International Conference, {ISC} 2006, Samos
               Island, Greece, August 30 - September 2, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4176},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11836810},
  doi       = {10.1007/11836810},
  isbn      = {3-540-38341-7},
  timestamp = {Mon, 07 May 2018 15:01:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isw/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2005,
  editor    = {Kousha Etessami and
               Sriram K. Rajamani},
  title     = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3576},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b138445},
  doi       = {10.1007/b138445},
  isbn      = {3-540-27231-3},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2004,
  editor    = {Pierangela Samarati and
               Peter Y. A. Ryan and
               Dieter Gollmann and
               Refik Molva},
  title     = {Computer Security - {ESORICS} 2004, 9th European Symposium on Research
               Computer Security, Sophia Antipolis, France, September 13-15, 2004,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3193},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100085},
  doi       = {10.1007/b100085},
  isbn      = {3-540-22987-6},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2003,
  editor    = {Einar Snekkenes and
               Dieter Gollmann},
  title     = {Computer Security - {ESORICS} 2003, 8th European Symposium on Research
               in Computer Security, Gj{\o}vik, Norway, October 13-15, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2808},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13237},
  doi       = {10.1007/b13237},
  isbn      = {3-540-20300-1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2003,
  editor    = {Keijiro Araki and
               Stefania Gnesi and
               Dino Mandrioli},
  title     = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
               Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2805},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13229},
  doi       = {10.1007/b13229},
  isbn      = {3-540-40828-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2003,
  editor    = {Jin Song Dong and
               Jim Woodcock},
  title     = {Formal Methods and Software Engineering, 5th International Conference
               on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
               2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2885},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94115},
  doi       = {10.1007/b94115},
  isbn      = {3-540-20461-X},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2002,
  editor    = {Dieter Gollmann and
               G{\"{u}}nter Karjoth and
               Michael Waidner},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45853-0},
  doi       = {10.1007/3-540-45853-0},
  isbn      = {3-540-44345-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fasec/2002,
  editor    = {Ali E. Abdallah and
               Peter Ryan and
               Steve Schneider},
  title     = {Formal Aspects of Security, First International Conference, FASec
               2002, London, UK, December 16-18, 2002, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2629},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94774},
  doi       = {10.1007/b94774},
  isbn      = {3-540-20693-0},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fasec/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2002,
  editor    = {Lars{-}Henrik Eriksson and
               Peter A. Lindsay},
  title     = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
               of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2391},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45614-7},
  doi       = {10.1007/3-540-45614-7},
  isbn      = {3-540-43928-5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1999,
  editor    = {C. Pandu Rangan and
               Venkatesh Raman and
               Ramaswamy Ramanujam},
  title     = {Foundations of Software Technology and Theoretical Computer Science,
               19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1738},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46691-6},
  doi       = {10.1007/3-540-46691-6},
  isbn      = {3-540-66836-5},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/java/1999formal,
  editor    = {Jim Alves{-}Foss},
  title     = {Formal Syntax and Semantics of Java},
  series    = {Lecture Notes in Computer Science},
  volume    = {1523},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48737-9},
  doi       = {10.1007/3-540-48737-9},
  isbn      = {3-540-66158-1},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/java/1999formal},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1998,
  editor    = {David B. MacQueen and
               Luca Cardelli},
  title     = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, San Diego, CA, USA, January
               19-21, 1998},
  publisher = {{ACM}},
  year      = {1998},
  url       = {http://dl.acm.org/citation.cfm?id=268946},
  isbn      = {0-89791-979-3},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1997,
  editor    = {William McCune},
  title     = {Automated Deduction - CADE-14, 14th International Conference on Automated
               Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1249},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63104-6},
  doi       = {10.1007/3-540-63104-6},
  isbn      = {3-540-63104-6},
  timestamp = {Mon, 22 May 2017 17:10:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier