| An overview of a method and its support tool for generating B specifications from UML notations R Laleau, A Mammar Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000 | 116 | 2000 |
| A first attempt to combine SysML requirements diagrams and B R Laleau, F Semmak, A Matoussi, D Petit, A Hammad, B Tatibouet Innovations in Systems and Software Engineering 6 (1), 47-54, 2010 | 101 | 2010 |
| Coming and going from UML to B: a proposal to support traceability in rigorous IS development R Laleau, F Polack International Conference of B and Z Users, 517-534, 2002 | 72 | 2002 |
| A goal-based approach to guide the design of an abstract Event-B specification A Matoussi, F Gervais, R Laleau 2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011 | 63 | 2011 |
| Mapping object diagrams into B specifications P Facon, R Laleau, HP Nguyen Proceedings of the Methods Integration Workshop, 1996 | 60 | 1996 |
| Extending statecharts with process algebra operators M Frappier, F Gervais, R Laleau, B Fraikin, R St-Denis Innovations in Systems and Software Engineering 4 (3), 285-292, 2008 | 57 | 2008 |
| Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach TFS Jeffrey, M Frappier, L Regine, M Amel International Journal on Software Tools for Technology Transfer 22 (3), 349-363, 2020 | 55* | 2020 |
| From a B formal specification to an executable code: application to the relational database domain A Mammar, R Laleau Information and Software Technology 48 (4), 253-279, 2006 | 55 | 2006 |
| Reuse of specification patterns with the B method S Blazy, F Gervais, R Laleau International Conference of B and Z Users, 40-57, 2003 | 51 | 2003 |
| Modeling a landing gear system in Event-B A Mammar, R Laleau International Journal on Software Tools for Technology Transfer 19 (2), 167-186, 2017 | 46 | 2017 |
| A survey of non-functional requirements in software development process A Matoussi, R Laleau LACL, 2008 | 46 | 2008 |
| A generic process to refine a B specification into a relational database implementation R Laleau, A Mammar International Conference of B and Z Users, 22-41, 2000 | 46 | 2000 |
| Combining UML, ASTD and B for the formal specification of an access control filter J Milhau, A Idani, R Laleau, MA Labiadh, Y Ledru, M Frappier Innovations in Systems and Software Engineering 7 (4), 303-313, 2011 | 39 | 2011 |
| Secure databases: an analysis of Clark-Wilson model in a database environment X Ge, F Polack, R Laleau International Conference on Advanced Information Systems Engineering, 234-247, 2004 | 39 | 2004 |
| Using RELAX, SysML and KAOS for ambient systems requirements modeling M Ahmad, JM Bruel, R Laleau, C Gnaho Procedia Computer Science 10, 474-481, 2012 | 38 | 2012 |
| An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard A Mammar, M Frappier, SJ Tueno Fotso, R Laleau International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018 | 36 | 2018 |
| On the use of domain and system knowledge modeling in goal-based Event-B specifications A Mammar, R Laleau International Symposium on Leveraging Applications of Formal Methods, 325-339, 2016 | 35 | 2016 |
| Combining UML with the B formal method for the specification of database applications P Facon, R Laleau, A Mammar CEDRIC Lab/CNAM, 1999 | 33 | 1999 |
| Taking into account functional models in the validation of is security policies Y Ledru, A Idani, J Milhau, N Qamar, R Laleau, JL Richier, MA Labiadh International Conference on Advanced Information Systems Engineering, 592-606, 2011 | 32 | 2011 |
| Systematic Translation Rules from astd to Event-B J Milhau, M Frappier, F Gervais, R Laleau International Conference on Integrated Formal Methods, 245-259, 2010 | 32 | 2010 |
