Follow
Farhad Mehta
Farhad Mehta
Professor of Computer Science, OST Eastern Switzerland University of Applied Sciences
Verified email at ost.ch - Homepage
Title
Cited by
Cited by
Year
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
7742010
Proving pointer programs in higher-order logic
F Mehta, T Nipkow
International Conference on Automated Deduction, 121-135, 2003
982003
Proving pointer programs in higher-order logic
F Mehta, T Nipkow
Information and Computation 199 (1-2), 200-227, 2005
972005
Latent energy savings due to the innovative use of advisory speeds to avoid occupation conflicts
F Mehta, C Rößiger, M Montigel
Computers in Railway XII, 99-108, 2010
342010
Efficient well-definedness checking
Á Darvas, F Mehta, A Rudich
International Joint Conference on Automated Reasoning, 100-115, 2008
332008
Proofs for the working engineer
FD Mehta
ETH Zurich, 2008
232008
A practical approach to partiality–a proof based approach
F Mehta
International Conference on Formal Engineering Methods, 238-257, 2008
172008
Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12 (6), 447–466 (2010)
J Abrial, MJ Butler, S Hallerstede, TS Hoang, F Mehta, L Voisin
10
Supporting proof in a reactive development environment
F Mehta
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
72007
Potenzielle Energieersparnis durch Geschwindigkeitsempfehlungen im Bahnverkehr
F Mehta, C Rößiger, M Montigel
Signal und Draht 102 (9), 20, 2010
62010
Specification of Basic Tools and Platform
JR Abrial, S Hallerstede, F Mehta, C Métayer, L Voisin
RODIN Deliverable D10, 2005
62005
Aiding vehicle scheduling and rescheduling using machine learning
J Wälter, FD Mehta, X Rao
International Journal of Transport Development and Integration 4 (4), 308-320, 2020
12020
Hoare Logic
N Galm, W Guttmann, F Mehta, T Nipkow, LP Nieto
2022
B2 Merge Algorithm
F Mehta, R Ost
2021
Ranck-Downhill Support App
S Kurath
HSR Hochschule für Technik Rapperswil, 2018
2018
redbackup: a redundant distributed backup system prototype
F Hauser, R Zimmermann
HSR Hochschule für Technik Rapperswil, 2017
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
2016
Simulating and Evaluating the Lötschberg Train Traffic System
A Kaeslin, M Gerber
HSR Hochschule für Technik Rapperswil, 2013
2013
B2 Merge Algorithm
D Loosli, FD Mehta
Routing in a distributed anonymous P2P system
F Mehta
The system can't perform the operation now. Try again later.
Articles 1–20