Farhad Mehta
Farhad Mehta
Professor of Computer Science, University of Applied Science Rapperswil (HSR)
Bestätigte E-Mail-Adresse bei hsr.ch - Startseite
Zitiert von
Zitiert von
Rodin: an open toolset for modelling and reasoning in Event-B
JR Abrial, M Butler, S Hallerstede, TS Hoang, F Mehta, L Voisin
International journal on software tools for technology transfer 12 (6), 447-466, 2010
Proving pointer programs in higher-order logic
F Mehta, T Nipkow
International Conference on Automated Deduction, 121-135, 2003
Proving pointer programs in higher-order logic
F Mehta, T Nipkow
Information and Computation 199 (1-2), 200-227, 2005
Efficient well-definedness checking
Á Darvas, F Mehta, A Rudich
International Joint Conference on Automated Reasoning, 100-115, 2008
Latent energy savings due to the innovative use of advisory speeds to avoid occupation conflicts
F Mehta, C Rößiger, M Montigel
2010 International Conference on Computer System Design and Operation in the …, 2010
Proofs for the working engineer
FD Mehta
ETH Zurich, 2008
A practical approach to partiality–A proof based approach
F Mehta
International Conference on Formal Engineering Methods, 238-257, 2008
Potenzielle Energieersparnis durch Geschwindigkeitsempfehlungen im Bahnverkehr
F Mehta, C Rößiger, M Montigel
Signal und Draht 102 (9), 20, 2010
Supporting proof in a reactive development environment
F Mehta
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
Specification of Basic Tools and Platform
JR Abrial, S Hallerstede, F Mehta, C Métayer, L Voisin
RODIN Deliverable D10, 2005
Ranck-Downhill Support App
S Kurath
HSR Hochschule für Technik Rapperswil, 2018
redbackup: a redundant distributed backup system prototype
F Hauser, R Zimmermann
HSR Hochschule für Technik Rapperswil, 2017
Scaps: type-directed API search for Scala
L Wegmann, F Mehta, P Sommerlad, M Stocker
Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, 95-104, 2016
Simulating and Evaluating the Lötschberg Train Traffic System
A Kaeslin, M Gerber
HSR Hochschule für Technik Rapperswil, 2013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14