Andreas Bauer - RankMe

46 papers A 4B 6C 4Misc 1Journal 16Unranked 13

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	Decentralised LTL monitoring. Formal Methods Syst. Des. Andreas Bauer, Yliès Falcone
2015	B	`conf`	Monitoring Real Android Malware. RV Jan-Christoph Küster, Andreas Bauer
2015	J	`jnl`	The ins and outs of first-order runtime verification. Formal Methods Syst. Des. Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
2014	J	`jnl`	Platform-Centric Android Monitoring - Modular and Efficient. CoRR Jan-Christoph Küster, Andreas Bauer
2013	B	`conf`	From Propositional to First-Order Monitoring. RV Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
2013	J	`jnl`	From propositional to first-order monitoring CoRR Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
2013	B	`conf`	Tableaux for Verification of Data-Centric Processes. TABLEAUX Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish
2012	—	`conf`	Runtime Verification Meets Android Security. NASA Formal Methods Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
2011	J	`jnl`	Decentralised LTL Monitoring CoRR Andreas Bauer, Yliès Falcone
2011	J	`jnl`	Run-Time Security Traceability for Evolving Systems. Comput. J. Andreas Bauer, Jan Jürjens, Yijun Yu
2011	J	`jnl`	Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. Andreas Bauer, Martin Leucker, Christian Schallhart
2011	—	`conf`	The Theory and Practice of SALT. NASA Formal Methods Andreas Bauer, Martin Leucker
2010	A	`conf`	An Integrated Modelling, Debugging, and Visualisation Environment for G12. CP Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney
2010	J	`jnl`	Comparing LTL Semantics for Runtime Verification. J. Log. Comput. Andreas Bauer, Martin Leucker, Christian Schallhart
2010	J	`jnl`	Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. Int. J. Softw. Tools Technol. Transf. Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
2010	A	`conf`	LTL Goal Specifications Revisited. ECAI Andreas Bauer, Patrik Haslum
2010	J	`jnl`	Monitorability of omega-regular languages CoRR Andreas Bauer
2010	J	`jnl`	Runtime verification of cryptographic protocols. Comput. Secur. Andreas Bauer, Jan Jürjens
2009	C	`conf`	A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC Andreas Bauer, Rajeev Goré, Alwen Tiu
2009	B	`conf`	A Novel Architecture for Situation Awareness Systems. TABLEAUX Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter
2009	J	`jnl`	A decidable policy language for history-based transaction monitoring CoRR Andreas Bauer, Rajeev Goré, Alwen Tiu
2009	C	`conf`	Matching Trace Patterns with Regular Policies. LATA Franz Baader, Andreas Bauer, Alwen Tiu
2009	J	`jnl`	Prognosis of Discret. Event Dyn. Syst. Andreas Bauer, Sophie Pinchinat
2009	—	`conf`	Runtime Verification Using a Temporal Description Logic. FroCoS Franz Baader, Andreas Bauer, Marcel Lippmann
2008	—	`conf`	Matching linear and non-linear trace patterns with regular policies. UNIF Franz Baader, Andreas Bauer, Alwen Tiu
2008	—	`conf`	Security protocols, properties, and their monitoring. SESS Andreas Bauer, Jan Jürjens
2008	—	`book`	The Theory and Practice of Runtime Reflection - A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems. Andreas Bauer
2008	—	`conf`	Tools for Traceable Security Verification. BCS Int. Acad. Conf. Jan Jürjens, Yijun Yu, Andreas Bauer
2007	J	`jnl`	AutoMoDe - Model-Based Development of Automotive Software CoRR Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
2007	—	`conf`	Compatibility and reuse in component-based systems via type and unit inference. EUROMICRO-SEAA Christian Kühnel, Andreas Bauer, Michael Tautschnig
2007	J	`jnl`	Das AutoMoDe-Projekt. Inform. Forsch. Entwickl. Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Núria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein
2007	C	`conf`	Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
2007	—	`—`	Model-based runtime analysis of distributed reactive systems. Andreas Bauer
2007	B	`conf`	The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV Andreas Bauer, Martin Leucker, Christian Schallhart
2007	A	`conf`	Tool-support for the analysis of hybrid systems and models. DATE Andreas Bauer, Markus Pister, Michael Tautschnig
2006	—	`conf`	Model-based runtime analysis of distributed reactive systems. ASWEC Andreas Bauer, Martin Leucker, Christian Schallhart
2006	—	`conf`	Monitoring of Real-Time Properties. FSTTCS Andreas Bauer, Martin Leucker, Christian Schallhart
2006	C	`conf`	SALT - Structured Assertion Language for Temporal Logic. ICFEM Andreas Bauer, Martin Leucker, Jonathan Streit
2005	A	`conf`	AutoMoDe - Model-Based Development of Automotive Software. DATE Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schätz
2005	J	`jnl`	Integrierte Entwicklung von Automotive-Software mit AutoFocus. Inform. Forsch. Entwickl. Andreas Bauer, Jan Romberg, Bernhard Schätz
2005	B	`conf`	Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. CPAIOR Andreas Bauer
2004	—	`conf`	A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. IWPSE Markus Pizka, Andreas Bauer
2004	—	`conf`	Creating a Portable Programming Language Using Open Source Software. USENIX ATC, FREENIX Track Andreas Bauer
2004	—	`conf`	Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. GI Jahrestagung (2) Andreas Bauer, Jan Romberg, Bernhard Schätz
2004	Misc	`conf`	Loose synchronization of event-triggered networks for distribution of synchronous programs. EMSOFT Jan Romberg, Andreas Bauer
2003	—	`conf`	The Contribution of Free Software to Software Evolution. IWPSE Andreas Bauer, Markus Pizka