Stefan Mitsch

Citado por

	Total	Desde 2020
Citas	2241	1214
Índice h	21	17
Índice i10	44	32

280

140

210

2008200920102011201220132014201520162017201820192020202120222023202420259 5 17 34 24 42 83 92 119 145 184 231 212 230 220 246 273 33

Acceso público

Ver todo

44 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyDirección de correo verificada de kit.edu
Wieland Schwingera. Professor for Computer Science, Johannes Kepler University LinzDirección de correo verificada de jku.at
Johannes SchönböckFachhochschule HagenbergDirección de correo verificada de fh-hagenberg.at
Jan-David QueselGoogleDirección de correo verificada de google.com
Yong Kiam TanInstitute for Infocomm Research, SingaporeDirección de correo verificada de cs.cmu.edu
Sarah M. LoosGoogleDirección de correo verificada de google.com
Rose BohrerAssistant Professor, Worcester Polytechnic InstituteDirección de correo verificada de wpi.edu
Khalil GhorbalINRIADirección de correo verificada de inria.fr
Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.Dirección de correo verificada de amazon.com
Nikos ArechigaToyota Research InstituteDirección de correo verificada de tri.global
Manuel WimmerJohannes Kepler University LinzDirección de correo verificada de jku.at
Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgDirección de correo verificada de uni.lu
Wolfgang BeerDynatrace GmbhDirección de correo verificada de smartlab.at
Magnus MyreenChalmers University of TechnologyDirección de correo verificada de cl.cam.ac.uk
Jean-Baptiste JeanninUniversity of MichiganDirección de correo verificada de umich.edu
Aurora SchmidtJohns Hopkins University Applied Physics LaboratoryDirección de correo verificada de jhuapl.edu
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
Juan Pablo MendozaCarnegie Mellon UniversityDirección de correo verificada de ri.cmu.edu
Jose M. F. MouraPhilip L. and Marsha Dowd University Professor, Carnegie Mellon UniversityDirección de correo verificada de ece.cmu.edu
Manuela M. VelosoHerbert A. Simon University Professor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu

Seguir

Stefan Mitsch

School of Computing, DePaul University

Dirección de correo verificada de depaul.edu - Página principal

Cyber-physical Systems Theorem Proving Model-Driven Development Runtime Verification


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
KeYmaera X: An axiomatic tactical theorem prover for hybrid systems N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015	342	2015
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models S Mitsch, A Platzer Formal Methods in System Design 49 (1), 33-74, 2016	206	2016
BeAware!—situation awareness, the ontology-driven way N Baumgartner, W Gottesheim, S Mitsch, W Retschitzegger, W Schwinger Data & Knowledge Engineering 69 (11), 1181-1193, 2010	140	2010
On provably safe obstacle avoidance for autonomous robotic ground vehicles S Mitsch, K Ghorbal, A Platzer Robotics: Science and Systems IX, Technische Universität Berlin, Berlin …, 2013	125	2013
Formal verification of obstacle avoidance and navigation of ground robots S Mitsch, K Ghorbal, D Vogelbacher, A Platzer The International Journal of Robotics Research 36 (12), 1312-1340, 2017	110	2017
How to model and prove hybrid systems with KeYmaera: a tutorial on safety JD Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer International Journal on Software Tools for Technology Transfer 18 (1), 67-91, 2016	104	2016
VeriPhy: Verified controller executables from verified cyber-physical system models R Bohrer, YK Tan, S Mitsch, MO Myreen, A Platzer Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018	102	2018
Towards formal verification of freeway traffic control S Mitsch, SM Loos, A Platzer 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 171-180, 2012	75	2012
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ... International Journal on Software Tools for Technology Transfer 19, 717-741, 2017	65	2017
Bellerophon: Tactical theorem proving for hybrid systems N Fulton, S Mitsch, R Bohrer, A Platzer International Conference on Interactive Theorem Proving, 207-224, 2017	62	2017
A tour of BeAware–A situation awareness framework for control centers N Baumgartner, S Mitsch, A Mueller, W Retschitzegger, A Salfinger, ... Information Fusion 20, 155-173, 2014	40	2014
The keymaera X proof IDE-concepts on usability in hybrid systems theorem proving S Mitsch, A Platzer arXiv preprint arXiv:1701.08469, 2017	38	2017
User profile integration made easy: model-driven extraction and transformation of social network schemas M Wischenbart, S Mitsch, E Kapsammer, A Kusel, B Pröll, ... Proceedings of the 21st International Conference on World Wide Web, 939-948, 2012	35	2012
A formal safety net for waypoint-following in ground robots R Bohrer, YK Tan, S Mitsch, A Sogokon, A Platzer IEEE Robotics and Automation Letters 4 (3), 2910-2917, 2019	33	2019
Tactical contract composition for hybrid system component verification A Müller, S Mitsch, W Retschitzegger, W Schwinger, A Platzer International Journal on Software Tools for Technology Transfer 20, 615-643, 2018	33	2018
A component-based approach to hybrid systems safety verification A Müller, S Mitsch, W Retschitzegger, W Schwinger, A Platzer Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016	33	2016
Refactoring, refinement, and reasoning: A logical characterization for hybrid systems S Mitsch, JD Quesel, A Platzer FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014	32	2014
High-assurance SPIRAL: End-to-end guarantees for robot and car control F Franchetti, TM Low, S Mitsch, JP Mendoza, L Gui, A Phaosawasdi, ... IEEE Control Systems Magazine 37 (2), 82-103, 2017	27	2017
Parallel composition and modular verification of computer controlled systems in differential dynamic logic S Lunel, S Mitsch, B Boyer, JP Talpin International Symposium on Formal Methods, 354-370, 2019	25	2019
A survey on clustering techniques for situation awareness S Mitsch, A Müller, W Retschitzegger, A Salfinger, W Schwinger Asia-pacific web conference, 815-826, 2013	24	2013

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores