Andreas Bauer

Cituota

	Visi	Nuo 2020
Šaltiniai	2871	730
h-rodyklė	24	10
i10-rodyklė	36	11

260

130

195

20042005200620072008200920102011201220132014201520162017201820192020202120222023202420259 14 43 55 77 90 135 142 141 190 243 218 186 151 228 173 136 169 147 120 144 14

Viešas pasiekiamumas

Peržiūrėti viską

5 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Martin LeuckerProfessor of Computer Science, University of LübeckPatvirtintas el. paštas isp.uni-luebeck.de
Christian SchallhartGooglePatvirtintas el. paštas schallhart.net
Jan-Christoph KüsterANU-NICTA PhD StudentPatvirtintas el. paštas anu.edu.au
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenPatvirtintas el. paštas fortiss.org
Dirk ZiegenbeinCorporate Research, Robert Bosch GmbHPatvirtintas el. paštas de.bosch.com
Michael TautschnigQueen Mary University of LondonPatvirtintas el. paštas qmul.ac.uk
Jan JürjensUniversität Koblenz-Landau, GermanyPatvirtintas el. paštas jurjens.de
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigPatvirtintas el. paštas tu-dresden.de
Yliès FalconeUniv. Grenoble Alpes and InriaPatvirtintas el. paštas univ-grenoble-alpes.fr
Peter BaumgartnerData61|CSIROPatvirtintas el. paštas data61.csiro.au
Patrik HaslumAustralian National UniversityPatvirtintas el. paštas anu.edu.au
Alwen TiuSchool of Computing, The Australian National UniversityPatvirtintas el. paštas anu.edu.au
Alfredo GabaldonGE ResearchPatvirtintas el. paštas ge.com
Rajeev GoreFaculty of Information Technology, Monash University, AustraliaPatvirtintas el. paštas monash.edu
Jussi RintanenAalto UniversityPatvirtintas el. paštas aalto.fi
Sophie PinchinatUniv Rennes/CNRSPatvirtintas el. paštas irisa.fr
Jens KohlPatvirtintas el. paštas bmw.de
Michael NorrishAustralian National UniversityPatvirtintas el. paštas anu.edu.au
Adi BoteaPrincipal Data Scientist, Eaton
Manfred BroyProfessor of Computer Science, Technical University of Munich

Stebėti

Andreas Bauer

Universität Augsburg

Patvirtintas el. paštas uni-a.de - Pagrindinis puslapis

Software Engineering Formal Methods Runtime Verification


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Runtime verification for LTL and TLTL A Bauer, M Leucker, C Schallhart ACM Transactions on Software Engineering and Methodology (TOSEM) 20 (4), 14, 2011	814	2011
Comparing LTL semantics for runtime verification A Bauer, M Leucker, C Schallhart Journal of Logic and Computation 20 (3), 651-674, 2010	323	2010
Monitoring of real-time properties A Bauer, M Leucker, C Schallhart FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006	251	2006
The good, the bad, and the ugly, but how ugly is ugly? A Bauer, M Leucker, C Schallhart RV'07: Runtime Verification, 126-138, 2007	186	2007
Decentralised LTL Monitoring A Bauer, Y Falcone 18th Intl. Symp. on Formal Methods (FM), 2012	152	2012
Model-based runtime analysis of reactive distributed systems A Bauer, M Leucker, C Schallhart Australian Software Engineering Conference (ASWEC). IEEE Computer Society …, 2006	85*	2006
From propositional to first-order monitoring A Bauer, JC Küster, G Vegliach 13th Intl. Conf. on Runtime Verification (RV), 59-75, 2013	78	2013
SALT—structured assertion language for temporal logic A Bauer, M Leucker, J Streit Formal Methods and Software Engineering: 8th International Conference on …, 2006	70	2006
Tool-support for the analysis of hybrid systems and models A Bauer, M Pister, M Tautschnig 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007	68	2007
AutoMoDe—notations, methods, and tools for model-based development of automotive software A Bauer, M Broy, J Romberg, B Schätz, P Braun, U Freund, N Mata, ... Proceedings of the SAE 2005 World Congress 1921, 2005	67	2005
The contribution of free software to software evolution A Bauer, M Pizka Sixth International Workshop on Principles of Software Evolution, 170-179, 2003	59	2003
A novel architecture for situation awareness systems F Baader, A Bauer, P Baumgartner, A Cregan, A Gabaldon, K Ji, K Lee, ... Automated Reasoning with Analytic Tableaux and Related Methods, 77-92, 2009	58	2009
Runtime Verification meets Android Security A Bauer, JC Küster, G Vegliach 4th NASA Formal Methods Symposium (NFM), 174-180, 2012	44	2012
Runtime verification using a temporal description logic F Baader, A Bauer, M Lippmann Frontiers of Combining Systems, 149-164, 2009	43	2009
A brief top-down and bottom-up philosophy on software evolution M Pizka, A Bauer Proceedings. 7th International Workshop on Principles of Software Evolution …, 2004	43	2004
COLA–The component language S Kugele, M Tautschnig, A Bauer, C Schallhart, S Merenda, W Haberl, ... Institut für Informatik, Technische Universität München, Tech. Rep. TUM-I0714, 2007	37	2007
A first-order policy language for history-based transaction monitoring A Bauer, R Goré, A Tiu Theoretical Aspects of Computing-ICTAC 2009, 96-111, 2009	35	2009
LTL Goal Specifications Revisited. A Bauer, P Haslum ECAI 10, 881-886, 2010	34	2010
The theory and practice of SALT A Bauer, M Leucker NASA Formal Methods Symposium, 13-40, 2011	29	2011
Automode-model-based development of automotive software D Ziegenbein, P Braun, U Freund, A Bauer, J Romberg, B Schatz Design, Automation and Test in Europe, 2005. Proceedings, 171-176, 2005	26	2005

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai