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 | 858 | 2010 |
Proving pointer programs in higher-order logic F Mehta, T Nipkow International Conference on Automated Deduction, 121-135, 2003 | 102 | 2003 |
Proving pointer programs in higher-order logic F Mehta, T Nipkow Information and Computation 199 (1-2), 200-227, 2005 | 100 | 2005 |
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 | 35 | 2010 |
Efficient well-definedness checking Á Darvas, F Mehta, A Rudich Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008 | 32 | 2008 |
Proofs for the working engineer FD Mehta ETH Zurich, 2008 | 23 | 2008 |
A practical approach to partiality–a proof based approach F Mehta International Conference on Formal Engineering Methods, 238-257, 2008 | 17 | 2008 |
Supporting proof in a reactive development environment F Mehta Fifth IEEE International Conference on Software Engineering and Formal …, 2007 | 8 | 2007 |
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 | 6 | 2010 |
Specification of Basic Tools and Platform JR Abrial, S Hallerstede, F Mehta, C Métayer, L Voisin RODIN Deliverable D10, 2005 | 6 | 2005 |
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 | 2 | 2020 |
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 | 1 | 2016 |
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 |
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 | | |