% csauthors.net - beta - BibTeX bibliography of Andreas Bauer 002
@inproceedings{conf/iwpse/BauerP03,
title = {The Contribution of Free Software to Software Evolution.},
year = {2003},
booktitle = {IWPSE},
author = {{Andreas Bauer 002} and {Markus Pizka}},
publisher = {IEEE Computer Society},
booktitle = {6th International Workshop on Principles of Software Evolution (IWPSE 2003), 1-2 September 2003, Helsinki, Finland}
}
@inproceedings{conf/emsoft/RombergB04,
title = {Loose synchronization of event-triggered networks for distribution of synchronous programs.},
year = {2004},
booktitle = {EMSOFT},
author = {{Jan Romberg} and {Andreas Bauer 002}},
publisher = {ACM},
booktitle = {EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings}
}
@inproceedings{conf/iwpse/PizkaB04,
title = {A Brief Top-Down and Bottom-Up Philosophy on Software Evolution.},
year = {2004},
booktitle = {IWPSE},
author = {{Markus Pizka} and {Andreas Bauer 002}},
publisher = {IEEE Computer Society},
booktitle = {7th International Workshop on Principles of Software Evolution (IWPSE 2004), 6-7 September 2004, Kyoto, Japan}
}
@inproceedings{conf/usenix/Bauer04,
title = {Creating a Portable Programming Language Using Open Source Software.},
year = {2004},
booktitle = {USENIX Annual Technical Conference, FREENIX Track},
author = {{Andreas Bauer 002}},
publisher = {USENIX},
booktitle = {Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference, June 27 - July 2, 2004, Boston Marriott Copley Place, Boston, MA, USA}
}
@inproceedings{conf/cpaior/Bauer05,
title = {Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles.},
year = {2005},
booktitle = {CPAIOR},
author = {{Andreas Bauer 002}},
publisher = {Springer},
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}
}
@inproceedings{conf/date/ZiegenbeinBFBRS05,
title = {AutoMoDe - Model-Based Development of Automotive Software.},
year = {2005},
booktitle = {DATE},
author = {{Dirk Ziegenbein} and {Peter Braun 003} and {Ulrich Freund} and {Andreas Bauer 002} and {Jan Romberg} and {Bernhard Schätz}},
publisher = {IEEE Computer Society},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany}
}
@article{journals/ife/BauerRS05,
title = {Integrierte Entwicklung von Automotive-Software mit AutoFocus.},
year = {2005},
journal = {Inform. Forsch. Entwickl.},
author = {{Andreas Bauer 002} and {Jan Romberg} and {Bernhard Schätz}}
}
@inproceedings{conf/aswec/0002LS06,
title = {Model-based runtime analysis of distributed reactive systems.},
year = {2006},
booktitle = {ASWEC},
author = {{Andreas Bauer 002} and {Martin Leucker} and {Christian Schallhart}},
publisher = {IEEE Computer Society},
booktitle = {17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia}
}
@inproceedings{conf/fsttcs/BauerLS06,
title = {Monitoring of Real-Time Properties.},
year = {2006},
booktitle = {FSTTCS},
author = {{Andreas Bauer 002} and {Martin Leucker} and {Christian Schallhart}},
publisher = {Springer},
booktitle = {FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings}
}
@inproceedings{conf/icfem/0002LS06,
title = {SALT - Structured Assertion Language for Temporal Logic.},
year = {2006},
booktitle = {ICFEM},
author = {{Andreas Bauer 002} and {Martin Leucker} and {Jonathan Streit}},
publisher = {Springer},
booktitle = {Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings}
}
@inproceedings{conf/date/BauerPT07,
title = {Tool-support for the analysis of hybrid systems and models.},
year = {2007},
booktitle = {DATE},
author = {{Andreas Bauer 002} and {Markus Pister 001} and {Michael Tautschnig}},
publisher = {EDA Consortium, San Jose, CA, USA},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007}
}
@inproceedings{conf/euromicro/Kuhnel0T07,
title = {Compatibility and reuse in component-based systems via type and unit inference.},
year = {2007},
booktitle = {EUROMICRO-SEAA},
author = {{Christian Kühnel} and {Andreas Bauer 002} and {Michael Tautschnig}},
publisher = {IEEE Computer Society},
booktitle = {33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany}
}
@inproceedings{conf/rv/0002LS07,
title = {The Good, the Bad, and the Ugly, But How Ugly Is Ugly?},
year = {2007},
booktitle = {RV},
author = {{Andreas Bauer 002} and {Martin Leucker} and {Christian Schallhart}},
publisher = {Springer},
booktitle = {Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers}
}
@article{journals/ife/BauerBRSBFMSMZ07,
title = {Das AutoMoDe-Projekt.},
year = {2007},
journal = {Inform. Forsch. Entwickl.},
author = {{Andreas Bauer 002} and {Manfred Broy} and {Jan Romberg} and {Bernhard Schätz} and {Peter Braun 003} and {Ulrich Freund} and {Nuria Mata} and {Robert Sandner} and {Pierre Mai} and {Dirk Ziegenbein}}
}
@phdthesis{phd/de/Bauer2007a,
title = {Model-based runtime analysis of distributed reactive systems.},
year = {2007},
author = {{Andreas Bauer 002}}
}
@book{books/daglib/0023984,
title = {The Theory and Practice of Runtime Reflection - A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems.},
year = {2008},
isbn = {978-3-8364-7441-2},
publisher = {VDM},
author = {{Andreas Bauer 002}}
}
@inproceedings{conf/bcs/JurjensYB08,
title = {Tools for Traceable Security Verification.},
year = {2008},
booktitle = {BCS Int. Acad. Conf.},
author = {{Jan Jürjens} and {Yijun Yu} and {Andreas Bauer 002}},
publisher = {British Computer Society},
booktitle = {Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008}
}
@inproceedings{conf/icse/BauerJ08,
title = {Security protocols, properties, and their monitoring.},
year = {2008},
booktitle = {SESS},
author = {{Andreas Bauer 002} and {Jan Jürjens}},
publisher = {ACM},
booktitle = {Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems, SESS 2008, Leipzig, Germany, May 17-18, 2008}
}
@inproceedings{conf/unif/BaaderBT08,
title = {Matching linear and non-linear trace patterns with regular policies.},
year = {2008},
booktitle = {UNIF},
author = {{Franz Baader} and {Andreas Bauer 002} and {Alwen Tiu}},
booktitle = {Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008.}
}
@inproceedings{conf/frocos/BaaderBL09,
title = {Runtime Verification Using a Temporal Description Logic.},
year = {2009},
booktitle = {FroCoS},
author = {{Franz Baader} and {Andreas Bauer 002} and {Marcel Lippmann}},
publisher = {Springer},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings}
}
@inproceedings{conf/ictac/BauerGT09,
title = {A First-Order Policy Language for History-Based Transaction Monitoring.},
year = {2009},
booktitle = {ICTAC},
author = {{Andreas Bauer 002} and {Rajeev Goré} and {Alwen Tiu}},
publisher = {Springer},
booktitle = {Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings}
}
@inproceedings{conf/lata/BaaderBT09,
title = {Matching Trace Patterns with Regular Policies.},
year = {2009},
booktitle = {LATA},
author = {{Franz Baader} and {Andreas Bauer 002} and {Alwen Tiu}},
publisher = {Springer},
booktitle = {Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings}
}
@inproceedings{conf/tableaux/BaaderBBCGJLRS09,
title = {A Novel Architecture for Situation Awareness Systems.},
year = {2009},
booktitle = {TABLEAUX},
author = {{Franz Baader} and {Andreas Bauer 002} and {Peter Baumgartner 001} and {Anne Cregan} and {Alfredo Gabaldon} and {Krystian Ji} and {Kevin Lee} and {David Rajaratnam} and {Rolf Schwitter}},
publisher = {Springer},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings}
}
@article{journals/corr/abs-0903-2904,
title = {A decidable policy language for history-based transaction monitoring},
year = {2009},
journal = {CoRR},
author = {{Andreas Bauer 002} and {Rajeev Goré} and {Alwen Tiu}}
}
@article{journals/deds/BauerP09,
title = {Prognosis of omega-Languages for the Diagnosis of *-Languages: A Topological Perspective.},
year = {2009},
journal = {Discret. Event Dyn. Syst.},
author = {{Andreas Bauer 002} and {Sophie Pinchinat}}
}
@inproceedings{conf/cp/0002BBGHS10,
title = {An Integrated Modelling, Debugging, and Visualisation Environment for G12.},
year = {2010},
booktitle = {CP},
author = {{Andreas Bauer 002} and {Viorica Botea} and {Mark Brown} and {Matt Gray} and {Daniel Harabor} and {John K. Slaney}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}
}
@inproceedings{conf/ecai/BauerH10,
title = {LTL Goal Specifications Revisited.},
year = {2010},
booktitle = {ECAI},
author = {{Andreas Bauer 002} and {Patrik Haslum}},
publisher = {IOS Press},
booktitle = {ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings}
}
@article{journals/compsec/BauerJ10,
title = {Runtime verification of cryptographic protocols.},
year = {2010},
journal = {Comput. Secur.},
author = {{Andreas Bauer 002} and {Jan Jürjens}}
}
@article{journals/corr/abs-1006-3638,
title = {Monitorability of omega-regular languages},
year = {2010},
journal = {CoRR},
author = {{Andreas Bauer 002}}
}
@article{journals/logcom/BauerLS10,
title = {Comparing LTL Semantics for Runtime Verification.},
year = {2010},
journal = {J. Log. Comput.},
author = {{Andreas Bauer 002} and {Martin Leucker} and {Christian Schallhart}}
}
@article{journals/sttt/BauerLST10,
title = {Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.},
year = {2010},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Andreas Bauer 002} and {Martin Leucker} and {Christian Schallhart} and {Michael Tautschnig}}
}
@inproceedings{conf/nfm/BauerL11,
title = {The Theory and Practice of SALT.},
year = {2011},
booktitle = {NASA Formal Methods},
author = {{Andreas Bauer 002} and {Martin Leucker}},
publisher = {Springer},
booktitle = {NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings}
}
@article{journals/cj/BauerJY11,
title = {Run-Time Security Traceability for Evolving Systems.},
year = {2011},
journal = {Comput. J.},
author = {{Andreas Bauer 002} and {Jan Jürjens} and {Yijun Yu}}
}
@article{journals/tosem/BauerLS11,
title = {Runtime Verification for LTL and TLTL.},
year = {2011},
journal = {ACM Trans. Softw. Eng. Methodol.},
author = {{Andreas Bauer 002} and {Martin Leucker} and {Christian Schallhart}}
}
@inproceedings{conf/nfm/BauerKV12,
title = {Runtime Verification Meets Android Security.},
year = {2012},
booktitle = {NASA Formal Methods},
author = {{Andreas Bauer 002} and {Jan-Christoph Küster} and {Gil Vegliach}},
publisher = {Springer},
booktitle = {NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings}
}
@article{journals/corr/abs-1207-2461,
title = {Reasoning with Data-Centric Business Processes},
year = {2012},
journal = {CoRR},
author = {{Andreas Klaus Bauer} and {Peter Baumgartner 001} and {Michael Norrish}}
}
@inproceedings{conf/rv/0002KV13,
title = {From Propositional to First-Order Monitoring.},
year = {2013},
booktitle = {RV},
author = {{Andreas Bauer 002} and {Jan-Christoph Küster} and {Gil Vegliach}},
publisher = {Springer},
booktitle = {Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings}
}
@inproceedings{conf/tableaux/0002BDN13,
title = {Tableaux for Verification of Data-Centric Processes.},
year = {2013},
booktitle = {TABLEAUX},
author = {{Andreas Bauer 002} and {Peter Baumgartner 001} and {Martin Diller} and {Michael Norrish}},
publisher = {Springer},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings}
}
@article{journals/corr/KuesterB14,
title = {Platform-Centric Android Monitoring - Modular and Efficient.},
year = {2014},
journal = {CoRR},
author = {{Jan-Christoph Küster} and {Andreas Bauer 002}}
}
@inproceedings{conf/rv/Kuster015,
title = {Monitoring Real Android Malware.},
year = {2015},
booktitle = {RV},
author = {{Jan-Christoph Küster} and {Andreas Bauer 002}},
publisher = {Springer},
booktitle = {Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings}
}
@article{journals/fmsd/0002KV15,
title = {The ins and outs of first-order runtime verification.},
year = {2015},
journal = {Formal Methods Syst. Des.},
author = {{Andreas Bauer 002} and {Jan-Christoph Küster} and {Gil Vegliach}}
}
@article{journals/fmsd/0002F16,
title = {Decentralised LTL monitoring.},
year = {2016},
journal = {Formal Methods Syst. Des.},
author = {{Andreas Bauer 002} and {Yliès Falcone}}
}