Stefan Mitsch

Citirano

	Sve	Od 2020.
Citati	2189	1164
H-indeks	21	17
i10-indeks	44	31

280

140

210

2008200920102011201220132014201520162017201820192020202120222023202420259 5 17 34 25 42 87 93 124 145 176 226 207 232 193 232 267 33

Javni pristup

Prikaži sve

40 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyPotvrđena adresa e-pošte na kit.edu
Wieland Schwingera. Professor for Computer Science, Johannes Kepler University LinzPotvrđena adresa e-pošte na jku.at
Johannes SchönböckFachhochschule HagenbergPotvrđena adresa e-pošte na fh-hagenberg.at
Jan-David QueselGooglePotvrđena adresa e-pošte na google.com
Yong Kiam TanInstitute for Infocomm Research, SingaporePotvrđena adresa e-pošte na cs.cmu.edu
Sarah M. LoosGooglePotvrđena adresa e-pošte na google.com
Rose BohrerAssistant Professor, Worcester Polytechnic InstitutePotvrđena adresa e-pošte na wpi.edu
Khalil GhorbalINRIAPotvrđena adresa e-pošte na inria.fr
Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.Potvrđena adresa e-pošte na amazon.com
Nikos ArechigaToyota Research InstitutePotvrđena adresa e-pošte na tri.global
Manuel WimmerJohannes Kepler University LinzPotvrđena adresa e-pošte na jku.at
Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgPotvrđena adresa e-pošte na uni.lu
Wolfgang BeerDynatrace GmbhPotvrđena adresa e-pošte na smartlab.at
Magnus MyreenChalmers University of TechnologyPotvrđena adresa e-pošte na cl.cam.ac.uk
Jean-Baptiste JeanninUniversity of MichiganPotvrđena adresa e-pošte na umich.edu
Aurora SchmidtJohns Hopkins University Applied Physics LaboratoryPotvrđena adresa e-pošte na jhuapl.edu
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgePotvrđena adresa e-pošte na cl.cam.ac.uk
Juan Pablo MendozaCarnegie Mellon UniversityPotvrđena adresa e-pošte na ri.cmu.edu
Jose M. F. MouraPhilip L. and Marsha Dowd University Professor, Carnegie Mellon UniversityPotvrđena adresa e-pošte na ece.cmu.edu
Manuela M. VelosoHerbert A. Simon University Professor of Computer Science, Carnegie Mellon UniversityPotvrđena adresa e-pošte na cs.cmu.edu

Prati

Stefan Mitsch

School of Computing, DePaul University

Potvrđena adresa e-pošte na depaul.edu - Početna stranica

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


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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	332	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	207	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	141	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	105	2017
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	101	2018
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	99	2016
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	76	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	64	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	58	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	42	2014
The keymaera X proof IDE-concepts on usability in hybrid systems theorem proving S Mitsch, A Platzer arXiv preprint arXiv:1701.08469, 2017	37	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 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	33	2014
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	32	2018
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	30	2019
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	26	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

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori