|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 16 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andreas Bauer 0002, Jan-Christoph Küster, Gil Vegliach |
Runtime Verification Meets Android Security.  |
NASA Formal Methods  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart |
Runtime Verification for LTL and TLTL. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Jan Jürjens, Yijun Yu |
Run-Time Security Traceability for Evolving Systems. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Yliès Falcone |
Decentralised LTL Monitoring |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker |
The Theory and Practice of SALT. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart |
Comparing LTL Semantics for Runtime Verification. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002 |
Monitorability of omega-regular languages |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Jan Jürjens |
Runtime verification of cryptographic protocols. |
Computers & Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart, Michael Tautschnig |
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Patrik Haslum |
LTL Goal Specifications Revisited. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney |
An Integrated Modelling, Debugging, and Visualisation Environment for G12. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Rajeev Goré, Alwen Tiu |
A decidable policy language for history-based transaction monitoring |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Sophie Pinchinat |
Prognosis of omega-Languages for the Diagnosis of *-Languages: A Topological Perspective. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Andreas Bauer 0002, Alwen Tiu |
Matching Trace Patterns with Regular Policies. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Rajeev Goré, Alwen Tiu |
A First-Order Policy Language for History-Based Transaction Monitoring. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Andreas Bauer 0002, Marcel Lippmann |
Runtime Verification Using a Temporal Description Logic. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Andreas Bauer 0002, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter |
A Novel Architecture for Situation Awareness Systems. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002 |
The Theory and Practice of Runtime Reflection - A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems. |
|
2008 |
RDF |
|
| 1 | Jan Jürjens, Yijun Yu, Andreas Bauer 0002 |
Tools for Traceable Security Verification. |
BCS Int. Acad. Conf. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Jan Jürjens |
Security protocols, properties, and their monitoring. |
SESS |
2008 |
DBLP DOI BibTeX RDF |
monitoring of history-based properties, temporal logic, security protocols, runtime verification, language-based security, security automata |
| 1 | Andreas Bauer 0002 |
Model-based runtime analysis of distributed reactive systems. |
|
2007 |
RDF |
|
| 1 | Andreas Bauer 0002, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun 0003, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein |
Das AutoMoDe-Projekt. |
Inform., Forsch. Entwickl. |
2007 |
DBLP DOI BibTeX RDF |
AutoMoDe, embedded software, synchronous languages, Automotive software engineering |
| 1 | Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz |
AutoMoDe - Model-Based Development of Automotive Software |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart |
The Good, the Bad, and the Ugly, But How Ugly Is Ugly? |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Markus Pister, Michael Tautschnig |
Tool-support for the analysis of hybrid systems and models. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart, Michael Tautschnig |
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christian Kühnel, Andreas Bauer 0002, Michael Tautschnig |
Compatibility and reuse in component-based systems via type and unit inference. |
EUROMICRO-SEAA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker, Jonathan Streit |
SALT - Structured Assertion Language for Temporal Logic. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart |
Model-based runtime analysis of distributed reactive systems. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart |
Monitoring of Real-Time Properties. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Jan Romberg, Bernhard Schätz |
Integrierte Entwicklung von Automotive-Software mit AutoFocus. |
Inform., Forsch. Entwickl. |
2005 |
DBLP DOI BibTeX RDF |
Embedded software, Synchronous languages, AutoFocus, Automotive software engineering |
| 1 | Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz |
AutoMoDe - Model-Based Development of Automotive Software. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002 |
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
formal specification, model based reasoning, system monitoring, model based diagnosis, SAT-solving |
| 1 | Jan Romberg, Andreas Bauer 0002 |
Loose synchronization of event-triggered networks for distribution of synchronous programs. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
scheduling, embedded software, synchronous languages, AutoFocus, code distribution |
| 1 | Markus Pizka, Andreas Bauer 0002 |
A Brief Top-Down and Bottom-Up Philosophy on Software Evolution. |
IWPSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002 |
Creating a Portable Programming Language Using Open Source Software. |
USENIX Annual Technical Conference, FREENIX Track |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Jan Romberg, Bernhard Schätz |
Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. |
GI Jahrestagung |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Markus Pizka |
The Contribution of Free Software to Software Evolution. |
IWPSE |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")