Loading...
The Reliability of Systems and Software (RSS) conducts research work centred around two complementary research activities :with a permanent focus on the production of an assessment of the quality (safety, security, reliability, etc.) of the developed systems and software.
- the design of rigorous techniques and methods supporting the development of high quality software and systems;
- the development of high quality systems and software using rigorous methods and techniques;
For more information, consult the Reliability Systems and Software department presentation on the IRIT website.
Latest full text publications
-
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18. ⟨hal-04098856⟩
-
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy. Tasks in modular proofs of concurrent algorithms. Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩. ⟨hal-04086420⟩
-
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. ⟨hal-04049910⟩
-
-
-
-
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. ⟨hal-04019340⟩
-
-
-
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, et al.. A Language-Parametric Approach to Exploratory Programming Environments. SLE 2022 - 15th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Dec 2022, Auckland, New Zealand. pp.175-188, ⟨10.1145/3567512.3567527⟩. ⟨hal-03921387⟩
Documents
649
Distribution per document type