Publications de Neeraj SINGH
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe Palanque
Formal domain-driven system development in Event-B: Application to interactive critical systems
Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe Palanque
Formal domain-driven system development in Event-B: Application to interactive critical systems
Journal of Systems Architecture, 2023, 135 (Special issue “Dependable Software Engineering: Theories, Tools and Applications”), pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur
Reflexive Event-B: Semantics and Correctness The EB4EB framework
IEEE Transactions on Reliability, 2022, pp.1-16. ⟨10.1109/TR.2022.3219649⟩
Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc Pantel
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B
Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismail Mendil, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc Pantel
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems
ACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Romain Geniet, Dominique Méry, Philippe Palanque
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications
Interacting with Computers, 2021, ⟨10.1093/iwcomp/iwab016⟩
Neeraj Kumar Singh, Mark Lawford, Thomas Maibaum, Alan Wassyng
A formal approach to rigorous development of critical systems
Journal of Software: Evolution and Process, 2021, Special issue : Safe and secure cyber-physical systems, 33 (e2334), pp.1-27. ⟨10.1002/smr.2334⟩
Detection of postural balance degradation using fuzzy neural network
International Journal of Bioinformatics Research and Applications, 2019, 15 (4), pp.371-394. ⟨10.1504/IJBRA.2019.103788⟩
Christopher J L Murray, Ryan M Barber, Kyle J Foreman, Ayse Abbasoglu Ozgoren, Foad Abd-Allah, Semaw F Abera, Victor Aboyans, Jerry P Abraham, Ibrahim Abubakar, Laith J Abu-Raddad, Niveen M Abu-Rmeileh, Tom Achoki, Ilana N Ackerman, Zanfina Ademi, Arsène K Adou, José C Adsuar, Ashkan Afshin, Emilie E Agardh, Sayed Saidul Alam, Deena Alasfoor, Mohammed I Albittar, Miguel A Alegretti, Zewdie A Alemu, Rafael Alfonso-Cristancho, Samia Alhabib, Raghib Ali, François Alla, Peter Allebeck, Mohammad A Almazroa, Ubai Alsharif, Elena Alvarez, Nelson Alvis-Guzman, Azmeraw T Amare, Emmanuel A Ameh, Heresh Amini, Walid Ammar, H Ross Anderson, Benjamin O Anderson, Carl Abelardo T Antonio, Palwasha Anwari, Johan Arnlöv, Valentina S Arsic Arsenijevic, Al Artaman, Rana J Asghar, Reza Assadi, Lydia S Atkins, Marco A Avila, Baffour Awuah, Victoria F Bachman, Alaa Badawi, Maria C Bahit, Kalpana Balakrishnan, Amitava Banerjee, Suzanne L Barker-Collo, Simon Barquera, Lars Barregard, Lope H Barrero, Arindam Basu, Sanjay Basu, Mohammed O Basulaiman, Justin Beardsley, Neeraj Bedi, Ettore Beghi, Tolesa Bekele, Michelle L Bell, Corina Benjet, Derrick A Bennett, Isabela M Bensenor, Habib Benzian, Eduardo Bernabé, Amelia Bertozzi-Villa, Tariku J Beyene, Neeraj Bhala, Ashish Bhalla, Zulfiqar A Bhutta, Kelly Bienhoff, Boris Bikbov, Stan Biryukov, Jed D Blore, Christopher D Blosser, Fiona M Blyth, Megan A Bohensky, Ian W Bolliger, Berrak Bora Başara, Natan M Bornstein, Dipan Bose, Soufiane Boufous, Rupert R A Bourne, Lindsay N Boyers, Michael Brainin, Carol E Brayne, Alexandra Brazinova, Nicholas J K Breitborde, Hermann Brenner, Adam D Briggs, Peter M Brooks, Jonathan C Brown, Traolach S Brugha, Rachelle Buchbinder, Geoffrey C Buckle, Christine M Budke, Anne Bulchis, Andrew G Bulloch, Ismael R Campos-Nonato, Hélène Carabin, Jonathan R Carapetis, Rosario Cárdenas, David O Carpenter, Valeria Caso, Carlos A Castañeda-Orjuela, Ruben E Castro, Ferrán Catalá-López, Fiorella Cavalleri, Alanur Çavlin, Vineet K Chadha, Jung-Chen Chang, Fiona J Charlson, Honglei Chen, Wanqing Chen, Peggy P Chiang, Odgerel Chimed-Ochir, Rajiv Chowdhury, Hanne Christensen, Costas A Christophi, Massimo Cirillo, Matthew M Coates, Luc E Coffeng, Megan S Coggeshall, Valentina Colistro, Samantha M Colquhoun, Graham S Cooke, Cyrus Cooper, Leslie T Cooper, Luis M Coppola, Monica Cortinovis, Michael H Criqui, John A Crump, Lucia Cuevas-Nasu, Hadi Danawi, Lalit Dandona, Rakhi Dandona, Emily Dansereau, Paul I Dargan, Gail Davey, Adrian Davis, Dragos V Davitoiu, Anand Dayama, Diego de Leo, Louisa Degenhardt, Borja del Pozo-Cruz, Robert P Dellavalle, Kebede Deribe, Sarah Derrett, Don C Des Jarlais, Muluken Dessalegn, Samath D Dharmaratne, Mukesh K Dherani, Cesar Diaz-Torné, Daniel Dicker, Eric L Ding, Klara Dokova, E Ray Dorsey, Tim R Driscoll, Leilei Duan, Herbert C Duber, Beth E Ebel, Karen M Edmond, Yousef M Elshrek, Matthias Endres, Sergey P Ermakov, Holly E Erskine, Babak Eshrati, Alireza Esteghamati, Kara Estep, Emerito Jose A Faraon, Farshad Farzadfar, Derek F Fay, Valery L Feigin, David T Felson, Seyed-Mohammad Fereshtehnejad, Jefferson G Fernandes, Alize J Ferrari, Christina Fitzmaurice, Abraham D Flaxman, Thomas D Fleming, Nataliya Foigt, Mohammad H Forouzanfar, F Gerry R Fowkes, Urbano Fra Paleo, Richard C Franklin, Thomas Fürst, Belinda Gabbe, Lynne Gaffikin, Fortuné G Gankpé, Johanna M Geleijnse, Bradford D Gessner, Peter Gething, Katherine B Gibney, Maurice Giroud, Giorgia Giussani, Hector Gomez Dantes, Philimon Gona, Diego González-Medina, Richard A Gosselin, Carolyn C Gotay, Atsushi Goto, Hebe N Gouda, Nicholas Graetz, Harish C Gugnani, Rahul Gupta, Rajeev Gupta, Reyna A Gutiérrez, Juanita Haagsma, Nima Hafezi-Nejad, Holly Hagan, Yara A Halasa, Randah R Hamadeh, Hannah Hamavid, Mouhanad Hammami, Jamie Hancock, Graeme J Hankey, Gillian M Hansen, Yuantao Hao, Hilda L Harb, Josep Maria Haro, Rasmus Havmoeller, Simon I Hay, Roderick J Hay, Ileana B Heredia-Pi, Kyle R Heuton, Pouria Heydarpour, Hideki Higashi, Martha Hijar, Hans W Hoek, Howard J Hoffman, H Dean Hosgood, Mazeda Hossain, Peter J Hotez, Damian G Hoy, Mohamed Hsairi, Guoqing Hu, Cheng Huang, John J Huang, Abdullatif Husseini, Chantal Huynh, Marissa L Iannarone, Kim M Iburg, Kaire Innos, Manami Inoue, Farhad Islami, Kathryn H Jacobsen, Deborah L Jarvis, Simerjot K Jassal, Sun Ha Jee, Panniyammakal Jeemon, Paul N Jensen, Vivekanand Jha, Guohong Jiang, Ying Jiang, Jost B Jonas, Knud Juel, Haidong Kan, André Karch, Corine K Karema, Chante Karimkhani, Ganesan Karthikeyan, Nicholas J Kassebaum, Anil Kaul, Norito Kawakami, Konstantin Kazanjan, Andrew H Kemp, Andre P Kengne, Andre Keren, Yousef S Khader, Shams Eldin A Khalifa, Ejaz A Khan, Gulfaraz Khan, Young-Ho Khang, Christian Kieling, Daniel Kim, Sungroul Kim, Yunjin Kim, Yohannes Kinfu, Jonas M Kinge, Miia Kivipelto, Luke D Knibbs, Ann Kristin Knudsen, Yoshihiro Kokubo, Soewarta Kosen, Sanjay Krishnaswami, Barthelemy Kuate Defo, Burcu Kucuk Bicer, Ernst J Kuipers, Chanda Kulkarni, Veena S Kulkarni, G Anil Kumar, Hmwe H Kyu, Taavi Lai, Ratilal Lalloo, Tea Lallukka, Hilton Lam, Qing Lan, van C Lansingh, Anders Larsson, Alicia E B Lawrynowicz, Janet L Leasher, James Leigh, Ricky Leung, Carly E Levitz, Bin Li, Yichong Li, Yongmei Li, Stephen S Lim, Maggie Lind, Steven E Lipshultz, Shiwei Liu, Yang Liu, Belinda K Lloyd, Katherine T Lofgren, Giancarlo Logroscino, Katharine J Looker, Joannie Lortet-Tieulent, Paulo A Lotufo, Rafael Lozano, Robyn M Lucas, Raimundas Lunevicius, Ronan A Lyons, Stefan Ma, Michael F Macintyre, Mark T Mackay, Marek Majdan, Reza Malekzadeh, Wagner Marcenes, David J Margolis, Christopher Margono, Melvin B Marzan, Joseph R Masci, Mohammad T Mashal, Richard Matzopoulos, Bongani M Mayosi, Tasara T Mazorodze, Neil W Mcgill, John J Mcgrath, Martin Mckee, Abigail Mclain, Peter A Meaney, Catalina Medina, Man Mohan Mehndiratta, Wubegzier Mekonnen, Yohannes A Melaku, Michele Meltzer, Ziad A Memish, George A Mensah, Atte Meretoja, Francis A Mhimbira, Renata Micha, Ted R Miller, Edward J Mills, Philip B Mitchell, Charles N Mock, Norlinah Mohamed Ibrahim, Karzan A Mohammad, Ali H Mokdad, Glen L D Mola, Lorenzo Monasta, Julio C Montañez Hernandez, Marcella Montico, Thomas J Montine, Meghan D Mooney, Ami R Moore, Maziar Moradi-Lakeh, Andrew E Moran, Rintaro Mori, Joanna Moschandreas, Wilkister N Moturi, Madeline L Moyer, Dariush Mozaffarian, William T Msemburi, Ulrich O Mueller, Mitsuru Mukaigawara, Erin C Mullany, Michele E Murdoch, Joseph Murray, Kinnari S Murthy, Mohsen Naghavi, Aliya Naheed, Kovin S Naidoo, Luigi Naldi, Devina Nand, Vinay Nangia, K M Venkat Narayan, Chakib Nejjari, Sudan P Neupane, Charles R Newton, Marie Ng, Frida N Ngalesoni, Grant Nguyen, Muhammad I Nisar, Sandra Nolte, Ole F Norheim, Rosana E Norman, Bo Norrving, Luke Nyakarahuka, In-Hwan Oh, Takayoshi Ohkubo, Summer L Ohno, Bolajoko O Olusanya, John Nelson Opio, Katrina Ortblad, Alberto Ortiz, Amanda W Pain, Jeyaraj D Pandian, Carlo Irwin A Panelo, Christina Papachristou, Eun-Kee Park, Jae-Hyun Park, Scott B Patten, George C Patton, Vinod K Paul, Boris I Pavlin, Neil Pearce, David M Pereira, Rogelio Perez-Padilla, Fernando Perez-Ruiz, Norberto Perico, Aslam Pervaiz, Konrad Pesudovs, Carrie B Peterson, Max Petzold, Michael R Phillips, Bryan K Phillips, David E Phillips, Frédéric B Piel, Dietrich Plass, Dan Poenaru, Suzanne Polinder, Daniel Pope, Svetlana Popova, Richie G Poulton, Farshad Pourmalek, Dorairaj Prabhakaran, Noela M Prasad, Rachel L Pullan, Dima M Qato, D Alex Quistberg, Anwar Rafay, Kazem Rahimi, Sajjad U Rahman, Murugesan Raju, Saleem M Rana, Homie Razavi, K Srinath Reddy, Amany Refaat, Giuseppe Remuzzi, Serge Resnikoff, Antonio L Ribeiro, Lee Richardson, Jan Hendrik Richardus, D Allen Roberts, David Rojas-Rueda, Luca Ronfani, Gregory A Roth, Dietrich Rothenbacher, David H Rothstein, Jane T Rowley, Nobhojit Roy, George M Ruhago, Mohammad y Saeedi, Sukanta Saha, Mohammad Ali Sahraian, Uchechukwu K A Sampson, Juan R Sanabria, Logan Sandar, Itamar S Santos, Maheswar Satpathy, Monika Sawhney, Peter Scarborough, Ione J Schneider, Ben Schöttker, Austin E Schumacher, David C Schwebel, James G Scott, Soraya Seedat, Sadaf G Sepanlou, Peter T Serina, Edson E Servan-Mori, Katya A Shackelford, Amira Shaheen, Saeid Shahraz, Teresa Shamah Levy, Siyi Shangguan, Jun She, Sara Sheikhbahaei, Peilin Shi, Kenji Shibuya, Yukito Shinohara, Rahman Shiri, Kawkab Shishani, Ivy Shiue, Mark G Shrime, Inga D Sigfusdottir, Donald H Silberberg, Edgar P Simard, Shireen Sindi, Abhishek Singh, Jasvinder A Singh, Lavanya Singh, Vegard Skirbekk, Erica Leigh Slepak, Karen Sliwa, Samir Soneji, Kjetil Søreide, Sergey Soshnikov, Luciano A Sposato, Chandrashekhar T Sreeramareddy, Jeffrey D Stanaway, Vasiliki Stathopoulou, Dan J Stein, Murray B Stein, Caitlyn Steiner, Timothy J Steiner, Antony Stevens, Andrea Stewart, Lars J Stovner, Konstantinos Stroumpoulis, Bruno F Sunguya, Soumya Swaminathan, Mamta Swaroop, Bryan L Sykes, Karen M Tabb, Ken Takahashi, Nikhil Tandon, David Tanne, Marcel Tanner, Mohammad Tavakkoli, Hugh R Taylor, Braden J Te Ao, Fabrizio Tediosi, Awoke M Temesgen, Tara Templin, Margreet ten Have, Eric y Tenkorang, Abdullah S Terkawi, Blake Thomson, Andrew L Thorne-Lyman, Amanda G Thrift, George D Thurston, Taavi Tillmann, Marcello Tonelli, Fotis Topouzis, Hideaki Toyoshima, Jefferson Traebert, Bach X Tran, Matias Trillini, Thomas Truelsen, Miltiadis Tsilimbaris, Emin M Tuzcu, Uche S Uchendu, Kingsley N Ukwaja, Eduardo A Undurraga, Selen B Uzun, Wim H van Brakel, Steven van de Vijver, Coen H van Gool, Jim van Os, Tommi J Vasankari, N Venketasubramanian, Francesco S Violante, Vasiliy V Vlassov, Stein Emil Vollset, Gregory R Wagner, Joseph Wagner, Stephen G Waller, Xia Wan, Haidong Wang, Jianli Wang, Linhong Wang, Tati S Warouw, Scott Weichenthal, Elisabete Weiderpass, Robert G Weintraub, Wang Wenzhi, Andrea Werdecker, Ronny Westerman, Harvey A Whiteford, James D Wilkinson, Thomas N Williams, Charles D Wolfe, Timothy M Wolock, Anthony D Woolf, Sarah Wulf, Brittany Wurtz, Gelin Xu, Lijing L Yan, Yuichiro Yano, Pengpeng Ye, Gökalp K Yentür, Paul Yip, Naohiro Yonemoto, Seok-Jun Yoon, Mustafa Z Younis, Chuanhua Yu, Maysaa E Zaki, Yong Zhao, Yingfeng Zheng, David Zonies, Xiaonong Zou, Joshua A Salomon, Alan D Lopez, Theo Vos
Global, regional, and national disability-adjusted life years (DALYs) for 306 diseases and injuries and healthy life expectancy (HALE) for 188 countries, 1990-2013: quantifying the epidemiological transition.
The Lancet, 2015, 386 (10009), pp.2145-91. ⟨10.1016/S0140-6736(15)61340-X⟩
Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont
Proof automation for Event-B theories
10th Rodin User and Developer Workshop (Rodin 2023), May 2023, Nancy, France
Peter Riviere, Neeraj Singh, Yamine Aït-Ameur, Guillaume Dupont
Standalone Event-B models analysis relying on the EB4EB meta-theory
9th International Conference on Rigorous State-based Methods (ABZ 2023), LORIA : laboratoire lorrain de recherche en informatique et ses applications, Université de Lorraine, May 2023, Nancy, France
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework
NASA Formal Methods (NFM 2023), NASA: National Aeronautics and Space Administration, May 2023, Houston, United States. pp.1-18
Ismail Mendil, Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
2022 29th Asia-Pacific Software Engineering Conference (APSEC), Dec 2022, Japan, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur
EB4EB: A Framework for Reflexive Event-B
26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), Mar 2022, Hiroshima, Japan. pp.71-80, ⟨10.1109/ICECCS54210.2022.00017⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Singh
Event-B Refinement for Continuous Behaviours Approximation
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Standard Conformance-by-Construction with Event-B
FMICS 2021 – 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Peter Riviere, Neeraj Kumar Singh, Yamine Ait-Ameur
Data-types definitions: Use of Theory and Context instantiations Plugins
9th Rodin User and Developer Workshop collocated with the ABZ 2021 Conference, Jun 2021, Ulm (virtual), Germany. pp.1-6
Guillaume Dupont, Yamine Aït-Ameur, Neeraj Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩
Ismaël Mendil, Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, Philippe Palanque
An Integrated Framework for the Formal Analysis of Critical Interactive Systems
The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Singh
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
7th International Conference on Rigorous State-Based Methods (ABZ 2020), May 2020, Ulm, Germany. pp.169-185, ⟨10.1007/978-3-030-48077-6_12⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B
13th International Symposium on Theoretical Aspects of Software Engineering – TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩
Alexandra Halchin, Yamine Aït-Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni
Certified embedding of B models in an integrated verification framework
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Jul 2019, Guilin, China. pp.168-175
Virtual environment model of glucose homeostasis for diabetes patients
2019 IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), May 2019, Taipei, Taiwan. pp.417-422
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Mery
Formal Ontology Driven Model Refactoring
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist
MEDI 2018 – The 8h International Conference on Model and Data Engineering, Oct 2018, Marrakech, Morocco. pp.153–158, ⟨10.1007/978-3-030-02852-7_14⟩
Romain Geniet, Neeraj Kumar Singh
Refinement Based Formal Development of Human-Machine Interface
7th International Workshop on Formal Methods for Interactive Systems (FMIS), Jun 2018, Toulouse, France. pp.240-256
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
6th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), University of Southampton, Jun 2018, Southampton, United Kingdom. pp.155-170
Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, John Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand Oussaid, Neeraj Kumar Singh, Laurent Voisin
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B
6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425–430, ⟨10.1007/978-3-319-91271-4_35⟩
Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït-Ameur, Julien Ordioni
B-PERFect – Applying the PERF Approach to B Based System Developments
International Conference Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2017), Nov 2017, Pristoia, Italy. pp.160-172
Neeraj Kumar Singh, Mark Lawford, Thomas S. E. Maibaum, Alan Wassyng
Use of Tabular Expressions for Refinement Automation
MEDI 2017 – Model and Data Engineering – 7th International Conference, Oct 2017, Barcelona, Spain. pp.167-182
Guillaume Babin, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
A System Substitution Mechanism for Hybrid Systems in Event-B
International Conference on Formal Engineering Methods, Nov 2016, Tokyo, Japan. pp.106–121, ⟨10.1007/978-3-319-47846-3_8⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study
21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp.1-10, ⟨10.1109/ICECCS.2016.015⟩
Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït-Ameur
Correct-by-Construction Evolution of Realisable Conversation Protocols
MEDI 2016 – Model and Data Engineering – 6th International Conference, Sep 2016, Almería, Spain. pp.260-273
Guillaume Babin, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development
ABZ 2016 – 5th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z, May 2016, Linz, Austria. pp.290–296, ⟨10.1007/978-3-319-33600-8_23⟩
Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas S. E. Maibaum, Alan Wassyng
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements
Digital Human Modeling – Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health – 6th International Conference (DHM 2015), Aug 2015, Los Angeles, United States. pp.387-398
Neeraj Kumar Singh, Akshay M Fajge, Raju Halder, Md Imran Alam
Formal Verification and Code Generation for Solidity Smart Contracts
Rajiv Pandey, Sam Goundar, and Shahnaz Fatima. Distributed Computing to Blockchain: Architecture, Technology, and Applications, pp.332, In press, 978-0323961462
Yamine Aït-Ameur, Guillaume Dupont, Ismail Mendil, Dominique Méry, Marc Pantel, Peter Rivière, Neeraj Singh
Empowering the Event-B Method Using External Theories
Integrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
Towards Leveraging Domain Knowledge in State-Based Formal Methods
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry
Formal Ontological Analysis for Medical Protocols
Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Incremental Proof-Based Development for Resilient Distributed Systems
Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering