BibTeX records: Andreas Bauer 0002

download as .bib file

@article{DBLP:journals/fmsd/0002F16,
  author    = {Andreas Bauer and
               Yli{\`{e}}s Falcone},
  title     = {Decentralised {LTL} monitoring},
  journal   = {Formal Methods in System Design},
  volume    = {48},
  number    = {1-2},
  pages     = {46--93},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10703-016-0253-8},
  doi       = {10.1007/s10703-016-0253-8},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fmsd/0002F16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fmsd/0002KV15,
  author    = {Andreas Bauer and
               Jan{-}Christoph K{\"{u}}ster and
               Gil Vegliach},
  title     = {The ins and outs of first-order runtime verification},
  journal   = {Formal Methods in System Design},
  volume    = {46},
  number    = {3},
  pages     = {286--316},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10703-015-0227-2},
  doi       = {10.1007/s10703-015-0227-2},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fmsd/0002KV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rv/Kuster015,
  author    = {Jan{-}Christoph K{\"{u}}ster and
               Andreas Bauer},
  title     = {Monitoring Real Android Malware},
  booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
               Austria, September 22-25, 2015. Proceedings},
  pages     = {136--152},
  year      = {2015},
  crossref  = {DBLP:conf/rv/2015},
  url       = {https://doi.org/10.1007/978-3-319-23820-3_9},
  doi       = {10.1007/978-3-319-23820-3_9},
  timestamp = {Mon, 05 Jun 2017 12:42:13 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rv/Kuster015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KuesterB14,
  author    = {Jan{-}Christoph K{\"{u}}ster and
               Andreas Bauer},
  title     = {Platform-Centric Android Monitoring - Modular and Efficient},
  journal   = {CoRR},
  volume    = {abs/1406.2041},
  year      = {2014},
  url       = {http://arxiv.org/abs/1406.2041},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/KuesterB14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rv/0002KV13,
  author    = {Andreas Bauer and
               Jan{-}Christoph K{\"{u}}ster and
               Gil Vegliach},
  title     = {From Propositional to First-Order Monitoring},
  booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
               France, September 24-27, 2013. Proceedings},
  pages     = {59--75},
  year      = {2013},
  crossref  = {DBLP:conf/rv/2013},
  url       = {https://doi.org/10.1007/978-3-642-40787-1_4},
  doi       = {10.1007/978-3-642-40787-1_4},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rv/0002KV13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/0002BDN13,
  author    = {Andreas Bauer and
               Peter Baumgartner and
               Martin Diller and
               Michael Norrish},
  title     = {Tableaux for Verification of Data-Centric Processes},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
               International Conference, {TABLEAUX} 2013, Nancy, France, September
               16-19, 2013. Proceedings},
  pages     = {28--43},
  year      = {2013},
  crossref  = {DBLP:conf/tableaux/2013},
  url       = {https://doi.org/10.1007/978-3-642-40537-2_5},
  doi       = {10.1007/978-3-642-40537-2_5},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tableaux/0002BDN13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-3645,
  author    = {Andreas Bauer and
               Jan{-}Christoph K{\"{u}}ster and
               Gil Vegliach},
  title     = {From propositional to first-order monitoring},
  journal   = {CoRR},
  volume    = {abs/1303.3645},
  year      = {2013},
  url       = {http://arxiv.org/abs/1303.3645},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1303-3645},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/BauerF12,
  author    = {Andreas Klaus Bauer and
               Yli{\`{e}}s Falcone},
  title     = {Decentralised {LTL} Monitoring},
  booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
               August 27-31, 2012. Proceedings},
  pages     = {85--100},
  year      = {2012},
  crossref  = {DBLP:conf/fm/2012},
  url       = {https://doi.org/10.1007/978-3-642-32759-9_10},
  doi       = {10.1007/978-3-642-32759-9_10},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/BauerF12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BauerKV12,
  author    = {Andreas Bauer and
               Jan{-}Christoph K{\"{u}}ster and
               Gil Vegliach},
  title     = {Runtime Verification Meets Android Security},
  booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
               VA, USA, April 3-5, 2012. Proceedings},
  pages     = {174--180},
  year      = {2012},
  crossref  = {DBLP:conf/nfm/2012},
  url       = {https://doi.org/10.1007/978-3-642-28891-3_18},
  doi       = {10.1007/978-3-642-28891-3_18},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/BauerKV12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-2461,
  author    = {Andreas Klaus Bauer and
               Peter Baumgartner and
               Michael Norrish},
  title     = {Reasoning with Data-Centric Business Processes},
  journal   = {CoRR},
  volume    = {abs/1207.2461},
  year      = {2012},
  url       = {http://arxiv.org/abs/1207.2461},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1207-2461},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cj/BauerJY11,
  author    = {Andreas Bauer and
               Jan J{\"{u}}rjens and
               Yijun Yu},
  title     = {Run-Time Security Traceability for Evolving Systems},
  journal   = {Comput. J.},
  volume    = {54},
  number    = {1},
  pages     = {58--87},
  year      = {2011},
  url       = {https://doi.org/10.1093/comjnl/bxq042},
  doi       = {10.1093/comjnl/bxq042},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cj/BauerJY11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tosem/BauerLS11,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {Runtime Verification for {LTL} and {TLTL}},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {20},
  number    = {4},
  pages     = {14:1--14:64},
  year      = {2011},
  url       = {http://doi.acm.org/10.1145/2000799.2000800},
  doi       = {10.1145/2000799.2000800},
  timestamp = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tosem/BauerLS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BauerL11,
  author    = {Andreas Bauer and
               Martin Leucker},
  title     = {The Theory and Practice of {SALT}},
  booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  pages     = {13--40},
  year      = {2011},
  crossref  = {DBLP:conf/nfm/2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5_3},
  doi       = {10.1007/978-3-642-20398-5_3},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/BauerL11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-5133,
  author    = {Andreas Bauer and
               Yli{\`{e}}s Falcone},
  title     = {Decentralised {LTL} Monitoring},
  journal   = {CoRR},
  volume    = {abs/1111.5133},
  year      = {2011},
  url       = {http://arxiv.org/abs/1111.5133},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1111-5133},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/compsec/BauerJ10,
  author    = {Andreas Bauer and
               Jan J{\"{u}}rjens},
  title     = {Runtime verification of cryptographic protocols},
  journal   = {Computers {\&} Security},
  volume    = {29},
  number    = {3},
  pages     = {315--330},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.cose.2009.09.003},
  doi       = {10.1016/j.cose.2009.09.003},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/compsec/BauerJ10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/BauerLS10,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {Comparing {LTL} Semantics for Runtime Verification},
  journal   = {J. Log. Comput.},
  volume    = {20},
  number    = {3},
  pages     = {651--674},
  year      = {2010},
  url       = {https://doi.org/10.1093/logcom/exn075},
  doi       = {10.1093/logcom/exn075},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/BauerLS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sttt/BauerLST10,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart and
               Michael Tautschnig},
  title     = {Don't care in {SMT:} building flexible yet efficient abstraction/refinement
               solvers},
  journal   = {{STTT}},
  volume    = {12},
  number    = {1},
  pages     = {23--37},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10009-009-0133-2},
  doi       = {10.1007/s10009-009-0133-2},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sttt/BauerLST10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/0002BBGHS10,
  author    = {Andreas Bauer and
               Viorica Botea and
               Mark Brown and
               Matt Gray and
               Daniel Harabor and
               John K. Slaney},
  title     = {An Integrated Modelling, Debugging, and Visualisation Environment
               for {G12}},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
               International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
               6-10, 2010. Proceedings},
  pages     = {522--536},
  year      = {2010},
  crossref  = {DBLP:conf/cp/2010},
  url       = {https://doi.org/10.1007/978-3-642-15396-9_42},
  doi       = {10.1007/978-3-642-15396-9_42},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/0002BBGHS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BauerH10,
  author    = {Andreas Bauer and
               Patrik Haslum},
  title     = {{LTL} Goal Specifications Revisited},
  booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
               Lisbon, Portugal, August 16-20, 2010, Proceedings},
  pages     = {881--886},
  year      = {2010},
  crossref  = {DBLP:conf/ecai/2010},
  url       = {https://doi.org/10.3233/978-1-60750-606-5-881},
  doi       = {10.3233/978-1-60750-606-5-881},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/BauerH10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-3638,
  author    = {Andreas Bauer},
  title     = {Monitorability of omega-regular languages},
  journal   = {CoRR},
  volume    = {abs/1006.3638},
  year      = {2010},
  url       = {http://arxiv.org/abs/1006.3638},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1006-3638},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/deds/BauerP09,
  author    = {Andreas Bauer and
               Sophie Pinchinat},
  title     = {Prognosis of \emph{omega}-Languages for the Diagnosis of \emph{*}-Languages:
               {A} Topological Perspective},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {19},
  number    = {4},
  pages     = {451--470},
  year      = {2009},
  url       = {https://doi.org/10.1007/s10626-009-0084-5},
  doi       = {10.1007/s10626-009-0084-5},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/deds/BauerP09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderBL09,
  author    = {Franz Baader and
               Andreas Bauer and
               Marcel Lippmann},
  title     = {Runtime Verification Using a Temporal Description Logic},
  booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
               2009, Trento, Italy, September 16-18, 2009. Proceedings},
  pages     = {149--164},
  year      = {2009},
  crossref  = {DBLP:conf/frocos/2009},
  url       = {https://doi.org/10.1007/978-3-642-04222-5_9},
  doi       = {10.1007/978-3-642-04222-5_9},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/frocos/BaaderBL09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BauerGT09,
  author    = {Andreas Bauer and
               Rajeev Gor{\'{e}} and
               Alwen Tiu},
  title     = {A First-Order Policy Language for History-Based Transaction Monitoring},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
               Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
  pages     = {96--111},
  year      = {2009},
  crossref  = {DBLP:conf/ictac/2009},
  url       = {https://doi.org/10.1007/978-3-642-03466-4_6},
  doi       = {10.1007/978-3-642-03466-4_6},
  timestamp = {Tue, 23 May 2017 01:11:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ictac/BauerGT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lata/BaaderBT09,
  author    = {Franz Baader and
               Andreas Bauer and
               Alwen Tiu},
  title     = {Matching Trace Patterns with Regular Policies},
  booktitle = {Language and Automata Theory and Applications, Third International
               Conference, {LATA} 2009, Tarragona, Spain, April 2-8, 2009. Proceedings},
  pages     = {105--116},
  year      = {2009},
  crossref  = {DBLP:conf/lata/2009},
  url       = {https://doi.org/10.1007/978-3-642-00982-2_9},
  doi       = {10.1007/978-3-642-00982-2_9},
  timestamp = {Wed, 24 May 2017 08:29:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lata/BaaderBT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaaderBBCGJLRS09,
  author    = {Franz Baader and
               Andreas Bauer and
               Peter Baumgartner and
               Anne Cregan and
               Alfredo Gabaldon and
               Krystian Ji and
               Kevin Lee and
               David Rajaratnam and
               Rolf Schwitter},
  title     = {A Novel Architecture for Situation Awareness Systems},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
               International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
               2009. Proceedings},
  pages     = {77--92},
  year      = {2009},
  crossref  = {DBLP:conf/tableaux/2009},
  url       = {https://doi.org/10.1007/978-3-642-02716-1_7},
  doi       = {10.1007/978-3-642-02716-1_7},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tableaux/BaaderBBCGJLRS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2904,
  author    = {Andreas Bauer and
               Rajeev Gor{\'{e}} and
               Alwen Tiu},
  title     = {A decidable policy language for history-based transaction monitoring},
  journal   = {CoRR},
  volume    = {abs/0903.2904},
  year      = {2009},
  url       = {http://arxiv.org/abs/0903.2904},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-0903-2904},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/daglib/0023984,
  author    = {Andreas Bauer},
  title     = {The Theory and Practice of Runtime Reflection - {A} Model-based Framework
               for Dynamic Analysis of Distributed Reactive Systems},
  publisher = {{VDM}},
  year      = {2008},
  url       = {http://d-nb.info/989452999},
  isbn      = {978-3-8364-7441-2},
  timestamp = {Tue, 06 Dec 2016 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/daglib/0023984},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bcs/JurjensYB08,
  author    = {Jan J{\"{u}}rjens and
               Yijun Yu and
               Andreas Bauer},
  title     = {Tools for Traceable Security Verification},
  booktitle = {Visions of Computer Science - {BCS} International Academic Conference,
               Imperial College, London, UK, 22-24 September 2008},
  pages     = {367--390},
  year      = {2008},
  crossref  = {DBLP:conf/bcs/2008},
  url       = {http://www.bcs.org/server.php?show=ConWebDoc.22980},
  timestamp = {Mon, 21 Sep 2009 12:13:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/bcs/JurjensYB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/BauerJ08,
  author    = {Andreas Bauer and
               Jan J{\"{u}}rjens},
  title     = {Security protocols, properties, and their monitoring},
  booktitle = {Proceedings of the Fourth International Workshop on Software Engineering
               for Secure Systems, {SESS} 2008, Leipzig, Germany, May 17-18, 2008},
  pages     = {33--40},
  year      = {2008},
  crossref  = {DBLP:conf/icse/2008sess},
  url       = {http://doi.acm.org/10.1145/1370905.1370910},
  doi       = {10.1145/1370905.1370910},
  timestamp = {Thu, 06 Aug 2015 18:58:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/BauerJ08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@phdthesis{DBLP:phd/de/Bauer2007a,
  author    = {Andreas Bauer},
  title     = {Model-based runtime analysis of distributed reactive systems},
  school    = {Technical University Munich, Germany},
  year      = {2007},
  url       = {http://mediatum2.ub.tum.de/doc/619337/document.pdf},
  urn       = {urn:nbn:de:bvb:91-diss-20070502-619337-0-5},
  timestamp = {Tue, 06 Dec 2016 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/phd/de/Bauer2007a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ife/BauerBRSBFMSMZ07,
  author    = {Andreas Bauer and
               Manfred Broy and
               Jan Romberg and
               Bernhard Sch{\"{a}}tz and
               Peter Braun and
               Ulrich Freund and
               Nuria Mata and
               Robert Sandner and
               Pierre Mai and
               Dirk Ziegenbein},
  title     = {Das AutoMoDe-Projekt},
  journal   = {Inform., Forsch. Entwickl.},
  volume    = {22},
  number    = {1},
  pages     = {45--57},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00450-007-0028-y},
  doi       = {10.1007/s00450-007-0028-y},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ife/BauerBRSBFMSMZ07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/date/BauerPT07,
  author    = {Andreas Bauer and
               Markus Pister and
               Michael Tautschnig},
  title     = {Tool-support for the analysis of hybrid systems and models},
  booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
               {DATE} 2007, Nice, France, April 16-20, 2007},
  pages     = {924--929},
  year      = {2007},
  crossref  = {DBLP:conf/date/2007},
  url       = {https://doi.org/10.1109/DATE.2007.364411},
  doi       = {10.1109/DATE.2007.364411},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/date/BauerPT07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/Kuhnel0T07,
  author    = {Christian K{\"{u}}hnel and
               Andreas Bauer and
               Michael Tautschnig},
  title     = {Compatibility and reuse in component-based systems via type and unit
               inference},
  booktitle = {33rd {EUROMICRO} Conference on Software Engineering and Advanced Applications
               {(EUROMICRO-SEAA} 2007), August 28-31, 2007, L{\"{u}}beck, German},
  pages     = {101--108},
  year      = {2007},
  crossref  = {DBLP:conf/euromicro/2007},
  url       = {https://doi.org/10.1109/EUROMICRO.2007.24},
  doi       = {10.1109/EUROMICRO.2007.24},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/euromicro/Kuhnel0T07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/BauerLST07,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart and
               Michael Tautschnig},
  title     = {Don't care in SMT-Building flexible yet efficient abstraction/refinement
               solvers},
  booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
               Verification and Validation, Poitiers-Futuroscope, France, December
               12-14, 2007},
  pages     = {135--146},
  year      = {2007},
  crossref  = {DBLP:conf/isola/2007},
  url       = {http://editions-rnti.fr/?inprocid=1000540},
  timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/BauerLST07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rv/0002LS07,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {The Good, the Bad, and the Ugly, But How Ugly Is Ugly?},
  booktitle = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver,
               Canada, March 13, 2007, Revised Selected Papers},
  pages     = {126--138},
  year      = {2007},
  crossref  = {DBLP:conf/rv/2007},
  url       = {https://doi.org/10.1007/978-3-540-77395-5_11},
  doi       = {10.1007/978-3-540-77395-5_11},
  timestamp = {Mon, 05 Jun 2017 12:42:13 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rv/0002LS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-4829,
  author    = {Dirk Ziegenbein and
               Peter Braun and
               Ulrich Freund and
               Andreas Bauer and
               Jan Romberg and
               Bernhard Sch{\"{a}}tz},
  title     = {AutoMoDe - Model-Based Development of Automotive Software},
  journal   = {CoRR},
  volume    = {abs/0710.4829},
  year      = {2007},
  url       = {http://arxiv.org/abs/0710.4829},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-0710-4829},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aswec/0002LS06,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {Model-based runtime analysis of distributed reactive systems},
  booktitle = {17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21
               April 2006, Sydney, Australia},
  pages     = {243--252},
  year      = {2006},
  crossref  = {DBLP:conf/aswec/2006},
  url       = {https://doi.org/10.1109/ASWEC.2006.36},
  doi       = {10.1109/ASWEC.2006.36},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aswec/0002LS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BauerLS06,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {Monitoring of Real-Time Properties},
  booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
               Computer Science, 26th International Conference, Kolkata, India, December
               13-15, 2006, Proceedings},
  pages     = {260--272},
  year      = {2006},
  crossref  = {DBLP:conf/fsttcs/2006},
  url       = {https://doi.org/10.1007/11944836_25},
  doi       = {10.1007/11944836_25},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/BauerLS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/0002LS06,
  author    = {Andreas Bauer and
               Martin Leucker and
               Jonathan Streit},
  title     = {{SALT} - Structured Assertion Language for Temporal Logic},
  booktitle = {Formal Methods and Software Engineering, 8th International Conference
               on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
               1-3, 2006, Proceedings},
  pages     = {757--775},
  year      = {2006},
  crossref  = {DBLP:conf/icfem/2006},
  url       = {https://doi.org/10.1007/11901433_41},
  doi       = {10.1007/11901433_41},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/0002LS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ife/BauerRS05,
  author    = {Andreas Bauer and
               Jan Romberg and
               Bernhard Sch{\"{a}}tz},
  title     = {Integrierte Entwicklung von Automotive-Software mit AutoFocus},
  journal   = {Inform., Forsch. Entwickl.},
  volume    = {19},
  number    = {4},
  pages     = {194--205},
  year      = {2005},
  url       = {https://doi.org/10.1007/s00450-005-0187-7},
  doi       = {10.1007/s00450-005-0187-7},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ife/BauerRS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Bauer05,
  author    = {Andreas Bauer},
  title     = {Simplifying Diagnosis Using {LSAT:} {A} Propositional Approach to
               Reasoning from First Principles},
  booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
               for Combinatorial Optimization Problems, Second International Conference,
               {CPAIOR} 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings},
  pages     = {49--63},
  year      = {2005},
  crossref  = {DBLP:conf/cpaior/2005},
  url       = {https://doi.org/10.1007/11493853_6},
  doi       = {10.1007/11493853_6},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cpaior/Bauer05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/date/ZiegenbeinBFBRS05,
  author    = {Dirk Ziegenbein and
               Peter Braun and
               Ulrich Freund and
               Andreas Bauer and
               Jan Romberg and
               Bernhard Sch{\"{a}}tz},
  title     = {AutoMoDe - Model-Based Development of Automotive Software},
  booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2005), 7-11 March 2005, Munich, Germany},
  pages     = {171--177},
  year      = {2005},
  crossref  = {DBLP:conf/date/2005},
  url       = {https://doi.org/10.1109/DATE.2005.77},
  doi       = {10.1109/DATE.2005.77},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/date/ZiegenbeinBFBRS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/RombergB04,
  author    = {Jan Romberg and
               Andreas Bauer},
  title     = {Loose synchronization of event-triggered networks for distribution
               of synchronous programs},
  booktitle = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International
               Conference On Embedded Software, Proceedings},
  pages     = {193--202},
  year      = {2004},
  crossref  = {DBLP:conf/emsoft/2004},
  url       = {http://doi.acm.org/10.1145/1017753.1017786},
  doi       = {10.1145/1017753.1017786},
  timestamp = {Thu, 09 Mar 2006 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/emsoft/RombergB04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gi/BauerRS04,
  author    = {Andreas Bauer and
               Jan Romberg and
               Bernhard Sch{\"{a}}tz},
  title     = {Integrierte Entwicklung von Automotive-Software mit AutoFOCUS},
  booktitle = {{INFORMATIK} 2004 - Informatik verbindet, Band 2, Beitr{\"{a}}ge
               der 34. Jahrestagung der Gesellschaft f{\"{u}}r Informatik e.V.
               (GI), Ulm, 20.-24. September 2004},
  pages     = {13--17},
  year      = {2004},
  crossref  = {DBLP:conf/gi/2004-2},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings51/article3201.html},
  timestamp = {Tue, 31 May 2011 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/gi/BauerRS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/PizkaB04,
  author    = {Markus Pizka and
               Andreas Bauer},
  title     = {A Brief Top-Down and Bottom-Up Philosophy on Software Evolution},
  booktitle = {7th International Workshop on Principles of Software Evolution {(IWPSE}
               2004), 6-7 September 2004, Kyoto, Japan},
  pages     = {131--136},
  year      = {2004},
  crossref  = {DBLP:conf/iwpse/2004},
  url       = {https://doi.org/10.1109/IWPSE.2004.1334777},
  doi       = {10.1109/IWPSE.2004.1334777},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwpse/PizkaB04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/usenix/Bauer04,
  author    = {Andreas Bauer},
  title     = {Creating a Portable Programming Language Using Open Source Software},
  booktitle = {Proceedings of the {FREENIX} Track: 2004 {USENIX} Annual Technical
               Conference, June 27 - July 2, 2004, Boston Marriott Copley Place,
               Boston, MA, {USA}},
  pages     = {103--113},
  year      = {2004},
  crossref  = {DBLP:conf/usenix/2004f},
  url       = {http://www.usenix.org/publications/library/proceedings/usenix04/tech/freenix/bauer.html},
  timestamp = {Thu, 09 Mar 2006 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/usenix/Bauer04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/BauerP03,
  author    = {Andreas Bauer and
               Markus Pizka},
  title     = {The Contribution of Free Software to Software Evolution},
  booktitle = {6th International Workshop on Principles of Software Evolution {(IWPSE}
               2003), 1-2 September 2003, Helsinki, Finland},
  pages     = {170},
  year      = {2003},
  crossref  = {DBLP:conf/iwpse/2003},
  url       = {https://doi.org/10.1109/IWPSE.2003.1231224},
  doi       = {10.1109/IWPSE.2003.1231224},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwpse/BauerP03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rv/2015,
  editor    = {Ezio Bartocci and
               Rupak Majumdar},
  title     = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
               Austria, September 22-25, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9333},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23820-3},
  doi       = {10.1007/978-3-319-23820-3},
  isbn      = {978-3-319-23819-7},
  timestamp = {Mon, 05 Jun 2017 12:42:13 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rv/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rv/2013,
  editor    = {Axel Legay and
               Saddek Bensalem},
  title     = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
               France, September 24-27, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8174},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40787-1},
  doi       = {10.1007/978-3-642-40787-1},
  isbn      = {978-3-642-40786-4},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rv/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2013,
  editor    = {Didier Galmiche and
               Dominique Larchey{-}Wendling},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
               International Conference, {TABLEAUX} 2013, Nancy, France, September
               16-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8123},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40537-2},
  doi       = {10.1007/978-3-642-40537-2},
  isbn      = {978-3-642-40536-5},
  timestamp = {Fri, 26 May 2017 00:51:20 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tableaux/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2012,
  editor    = {Dimitra Giannakopoulou and
               Dominique M{\'{e}}ry},
  title     = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
               August 27-31, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7436},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32759-9},
  doi       = {10.1007/978-3-642-32759-9},
  isbn      = {978-3-642-32758-2},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nfm/2012,
  editor    = {Alwyn Goodloe and
               Suzette Person},
  title     = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
               VA, USA, April 3-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7226},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28891-3},
  doi       = {10.1007/978-3-642-28891-3},
  isbn      = {978-3-642-28890-6},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nfm/2011,
  editor    = {Mihaela Gheorghiu Bobaru and
               Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6617},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5},
  doi       = {10.1007/978-3-642-20398-5},
  isbn      = {978-3-642-20397-8},
  timestamp = {Thu, 25 May 2017 00:40:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2010,
  editor    = {David Cohen},
  title     = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
               International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
               6-10, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6308},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15396-9},
  doi       = {10.1007/978-3-642-15396-9},
  isbn      = {978-3-642-15395-2},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecai/2010,
  editor    = {Helder Coelho and
               Rudi Studer and
               Michael Wooldridge},
  title     = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
               Lisbon, Portugal, August 16-20, 2010, Proceedings},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {215},
  publisher = {{IOS} Press},
  year      = {2010},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17702},
  isbn      = {978-1-60750-605-8},
  timestamp = {Mon, 23 Aug 2010 15:10:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/frocos/2009,
  editor    = {Silvio Ghilardi and
               Roberto Sebastiani},
  title     = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
               2009, Trento, Italy, September 16-18, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5749},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04222-5},
  doi       = {10.1007/978-3-642-04222-5},
  isbn      = {978-3-642-04221-8},
  timestamp = {Sun, 21 May 2017 00:21:23 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/frocos/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ictac/2009,
  editor    = {Martin Leucker and
               Carroll Morgan},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
               Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5684},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03466-4},
  doi       = {10.1007/978-3-642-03466-4},
  isbn      = {978-3-642-03465-7},
  timestamp = {Tue, 23 May 2017 01:11:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ictac/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lata/2009,
  editor    = {Adrian{-}Horia Dediu and
               Armand{-}Mihai Ionescu and
               Carlos Mart{\'{\i}}n{-}Vide},
  title     = {Language and Automata Theory and Applications, Third International
               Conference, {LATA} 2009, Tarragona, Spain, April 2-8, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5457},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00982-2},
  doi       = {10.1007/978-3-642-00982-2},
  isbn      = {978-3-642-00981-5},
  timestamp = {Wed, 24 May 2017 08:29:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lata/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2009,
  editor    = {Martin Giese and
               Arild Waaler},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
               International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
               2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5607},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02716-1},
  doi       = {10.1007/978-3-642-02716-1},
  isbn      = {978-3-642-02715-4},
  timestamp = {Fri, 26 May 2017 00:51:20 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tableaux/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bcs/2008,
  editor    = {Erol Gelenbe and
               Samson Abramsky and
               Vladimiro Sassone},
  title     = {Visions of Computer Science - {BCS} International Academic Conference,
               Imperial College, London, UK, 22-24 September 2008},
  publisher = {British Computer Society},
  year      = {2008},
  timestamp = {Mon, 21 Sep 2009 12:13:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/bcs/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2008sess,
  editor    = {Bart De Win and
               Seok{-}Won Lee and
               Mattia Monga},
  title     = {Proceedings of the Fourth International Workshop on Software Engineering
               for Secure Systems, {SESS} 2008, Leipzig, Germany, May 17-18, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://dl.acm.org/citation.cfm?id=1370905},
  isbn      = {978-1-60558-042-5},
  timestamp = {Thu, 06 Aug 2015 18:58:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/2008sess},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2007,
  editor    = {Rudy Lauwereins and
               Jan Madsen},
  title     = {2007 Design, Automation and Test in Europe Conference and Exposition,
               {DATE} 2007, Nice, France, April 16-20, 2007},
  publisher = {{EDA} Consortium, San Jose, CA, {USA}},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4211748},
  isbn      = {978-3-9810801-2-4},
  timestamp = {Tue, 10 Nov 2015 11:56:25 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/date/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/euromicro/2007,
  title     = {33rd {EUROMICRO} Conference on Software Engineering and Advanced Applications
               {(EUROMICRO-SEAA} 2007), August 28-31, 2007, L{\"{u}}beck, German},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4301045},
  isbn      = {0-7695-2977-1},
  timestamp = {Tue, 16 Feb 2016 13:59:25 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/euromicro/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2007,
  editor    = {Yamine A{\"{\i}}t Ameur and
               Fr{\'{e}}d{\'{e}}ric Boniol and
               Virginie Wiels},
  title     = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
               Verification and Validation, Poitiers-Futuroscope, France, December
               12-14, 2007},
  series    = {Revue des Nouvelles Technologies de l'Information},
  volume    = {{RNTI-SM-1}},
  publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year      = {2007},
  url       = {http://editions-rnti.fr/?procid=100068},
  isbn      = {978-2-85428-814-8},
  timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rv/2007,
  editor    = {Oleg Sokolsky and
               Serdar Tasiran},
  title     = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver,
               Canada, March 13, 2007, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4839},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-77395-5},
  doi       = {10.1007/978-3-540-77395-5},
  isbn      = {978-3-540-77394-8},
  timestamp = {Mon, 05 Jun 2017 12:42:13 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rv/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aswec/2006,
  title     = {17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21
               April 2006, Sydney, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10753},
  isbn      = {0-7695-2551-2},
  timestamp = {Thu, 16 Oct 2014 11:29:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aswec/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2006,
  editor    = {S. Arun{-}Kumar and
               Naveen Garg},
  title     = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
               Computer Science, 26th International Conference, Kolkata, India, December
               13-15, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4337},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11944836},
  doi       = {10.1007/11944836},
  isbn      = {3-540-49994-6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2006,
  editor    = {Zhiming Liu and
               Jifeng He},
  title     = {Formal Methods and Software Engineering, 8th International Conference
               on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
               1-3, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4260},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11901433},
  doi       = {10.1007/11901433},
  isbn      = {3-540-47460-9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2005,
  editor    = {Roman Bart{\'{a}}k and
               Michela Milano},
  title     = {Integration of {AI} and {OR} Techniques in Constraint Programming
               for Combinatorial Optimization Problems, Second International Conference,
               {CPAIOR} 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3524},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136920},
  doi       = {10.1007/b136920},
  isbn      = {3-540-26152-4},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cpaior/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2005,
  title     = {2005 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2005), 7-11 March 2005, Munich, Germany},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9609},
  isbn      = {0-7695-2288-2},
  timestamp = {Thu, 23 Jun 2016 15:53:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/date/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2004,
  editor    = {Giorgio C. Buttazzo},
  title     = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International
               Conference On Embedded Software, Proceedings},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-860-1},
  timestamp = {Wed, 03 Aug 2005 08:19:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/emsoft/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gi/2004-2,
  editor    = {Peter Dadam and
               Manfred Reichert},
  title     = {{INFORMATIK} 2004 - Informatik verbindet, Band 2, Beitr{\"{a}}ge
               der 34. Jahrestagung der Gesellschaft f{\"{u}}r Informatik e.V.
               (GI), Ulm, 20.-24. September 2004},
  series    = {{LNI}},
  volume    = {51},
  publisher = {{GI}},
  year      = {2004},
  isbn      = {3-88579-380-6},
  timestamp = {Wed, 08 Sep 2004 14:33:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/gi/2004-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iwpse/2004,
  title     = {7th International Workshop on Principles of Software Evolution {(IWPSE}
               2004), 6-7 September 2004, Kyoto, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9269},
  isbn      = {0-7695-2211-4},
  timestamp = {Wed, 13 May 2015 17:45:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwpse/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/usenix/2004f,
  title     = {Proceedings of the {FREENIX} Track: 2004 {USENIX} Annual Technical
               Conference, June 27 - July 2, 2004, Boston Marriott Copley Place,
               Boston, MA, {USA}},
  publisher = {{USENIX}},
  year      = {2004},
  timestamp = {Thu, 11 Nov 2004 12:52:08 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/usenix/2004f},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iwpse/2003,
  title     = {6th International Workshop on Principles of Software Evolution {(IWPSE}
               2003), 1-2 September 2003, Helsinki, Finland},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8710},
  isbn      = {0-7695-1903-2},
  timestamp = {Wed, 13 May 2015 17:45:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwpse/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier