Folgen
Farhad Mehta
Farhad Mehta
Professor of Computer Science, OST Eastern Switzerland University of Applied Sciences
Bestätigte E-Mail-Adresse bei ost.ch - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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, 447-466, 2010
8472010
Proving pointer programs in higher-order logic
F Mehta, T Nipkow
International Conference on Automated Deduction, 121-135, 2003
1022003
Proving pointer programs in higher-order logic
F Mehta, T Nipkow
Information and Computation 199 (1-2), 200-227, 2005
1002005
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
352010
Efficient well-definedness checking
Á Darvas, F Mehta, A Rudich
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008
322008
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
Supporting proof in a reactive development environment
F Mehta
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
82007
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
8
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
22020
Hoare Logic
N Galm, W Guttmann, F Mehta, T Nipkow, LP Nieto
2023
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20