Stefan Mitsch

Dikutip oleh

	Semua	Sejak 2020
Kutipan	2241	1214
indeks-h	21	17
indeks-i10	44	32

280

140

210

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

Akses publik

Lihat semua

44 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyEmail yang diverifikasi di kit.edu
Wieland Schwingera. Professor for Computer Science, Johannes Kepler University LinzEmail yang diverifikasi di jku.at
Johannes SchönböckFachhochschule HagenbergEmail yang diverifikasi di fh-hagenberg.at
Jan-David QueselGoogleEmail yang diverifikasi di google.com
Yong Kiam TanInstitute for Infocomm Research, SingaporeEmail yang diverifikasi di cs.cmu.edu
Sarah M. LoosGoogleEmail yang diverifikasi di google.com
Rose BohrerAssistant Professor, Worcester Polytechnic InstituteEmail yang diverifikasi di wpi.edu
Khalil GhorbalINRIAEmail yang diverifikasi di inria.fr
Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.Email yang diverifikasi di amazon.com
Nikos ArechigaToyota Research InstituteEmail yang diverifikasi di tri.global
Manuel WimmerJohannes Kepler University LinzEmail yang diverifikasi di jku.at
Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgEmail yang diverifikasi di uni.lu
Wolfgang BeerDynatrace GmbhEmail yang diverifikasi di smartlab.at
Magnus MyreenChalmers University of TechnologyEmail yang diverifikasi di cl.cam.ac.uk
Jean-Baptiste JeanninUniversity of MichiganEmail yang diverifikasi di umich.edu
Aurora SchmidtJohns Hopkins University Applied Physics LaboratoryEmail yang diverifikasi di jhuapl.edu
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeEmail yang diverifikasi di cl.cam.ac.uk
Juan Pablo MendozaCarnegie Mellon UniversityEmail yang diverifikasi di ri.cmu.edu
Jose M. F. MouraPhilip L. and Marsha Dowd University Professor, Carnegie Mellon UniversityEmail yang diverifikasi di ece.cmu.edu
Manuela M. VelosoHerbert A. Simon University Professor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu

Ikuti

Stefan Mitsch

School of Computing, DePaul University

Email yang diverifikasi di depaul.edu - Beranda

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


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama