default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndreas Müller 0015
Person information
- affiliation: Johannes Kepler University (JKU), Department of Cooperative Information Systems, Linz, Austria
- not to be confused with: Andreas Müller 0002
Other persons with the same name
- Andreas Müller (aka: Andreas Mueller) — disambiguation page
- Andreas Müller 0001 (aka: Andreas Mueller 0001) — University of Stuttgart, Institute of Telecommunication, Germany
- Andreas Müller 0002
![[0000-0001-5033-340X]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0001-5033-340X")
(aka: Andreas Mueller 0002) — Johannes Kepler University (JKU), Institute of Robotics, Linz, Austria (and 3 more) - Andreas Müller 0003 — TU Munich, Network Architectures and Services, Germany
- Andreas C. Müller 0001 (aka: Andreas Christian Müller, Andreas Müller 0004) — University of Bonn, Institute for Computer Science, Germany
- Andreas Müller 0005 — University of Trier, Geography/Geosciences, Germany
- Andreas Müller 0006 — Kempten University of Applied Sciences, Germany (and 2 more)
- Andreas Müller 0007 — University of Rostock, Department of Computer Science, Germany
- Andreas Müller 0008 — University of Bristol, Department of Electrical and Electronic Engineering, UK
- Andreas Müller 0009 — German Aerospace Center (DLR), Wessling, Germany
- Andreas Müller 0010 — Naval Postgraduate School, Department of Applied Mathematics, Monterey, CA, USA
- Andreas Müller 0011 — University of Bayreuth, BERC, Germany
- Andreas Müller 0012 — University of Stuttgart, Institute for Natural Language Processing, Germany
- Andreas Müller 0013 — Botanic Garden and Botanical Museum Berlin-Dahlem, Germany
- Andreas Müller 0014 — Robert Bosch GmbH, Stuttgart, Germany
- Andreas Müller 0017 — Free University of Berlin, Dahlem, Germany
- Andreas Müller 0018 — Karlsruhe Institute of Technology, Germany
- Andreas Müller 0019 — TU Munich, Germany
- Andreas Müller 0020 — Technische Hochschule Karl-Marx-Stadt, Germany
- Andreas Müller 0021 — Robert Bosch GmbH, Bosch Corporate Research, Communication and Network Technology, Renningen, Germany
- Andreas Müller 0022 — Simulation Lab Neuroscience, Jülich Supercomputing Centre, Institute for Advanced Simulation, Germany
- Andreas Müller 0023 — University of Wales, Department of Electrical and Electronic Engineering, Swansea, UK (and 1 more)
- Andreas Müller 0024 (aka: Andreas C. Müller 0002) — Microsoft Gray Systems Lab, Sunnyvale, CA, USA (and 1 more)
- Andreas Müller 0025 — Ruhr University Bochum, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2018
[j2]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
Tactical contract composition for hybrid system component verification. Int. J. Softw. Tools Technol. Transf. 20(6): 615-643 (2018)- 2014
- [j1]Norbert Baumgartner, Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger:
A tour of BeAware - A situation awareness framework for control centers. Inf. Fusion 20: 155-173 (2014)
Conference and Workshop Papers
- 2020
- [c8]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
Towards CPS Verification Engineering. iiWAS 2020: 367-371 - 2018
- [c7]Andreas Müller, Stefan Mitsch, Wieland Schwinger, André Platzer:
A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration). CyPhy/WESE 2018: 91-110 - 2017
- [c6]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
A Benchmark for Component-based Hybrid Systems Safety Verification. ARCH@CPSWeek 2017: 65-74 - [c5]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
Change and Delay Contracts for Hybrid System Component Verification. FASE 2017: 134-151 - 2016
- [c4]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
A Component-Based Approach to Hybrid Systems Safety Verification. IFM 2016: 441-456 - 2015
- [c3]Andreas Müller, Stefan Mitsch, André Platzer:
Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. ITSC 2015: 757-764 - 2014
- [c2]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. KSEM 2014: 368-379 - 2013
- [c1]Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger:
A Survey on Clustering Techniques for Situation Awareness. APWeb 2013: 815-826
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-22 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
