Régine Laleau

894 total citations
26 papers, 159 citations indexed

About

Régine Laleau is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Régine Laleau has authored 26 papers receiving a total of 159 indexed citations (citations by other indexed papers that have themselves been cited), including 18 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 7 papers in Information Systems. Recurrent topics in Régine Laleau's work include Formal Methods in Verification (10 papers), Advanced Software Engineering Methodologies (8 papers) and Advanced Database Systems and Queries (6 papers). Régine Laleau is often cited by papers focused on Formal Methods in Verification (10 papers), Advanced Software Engineering Methodologies (8 papers) and Advanced Database Systems and Queries (6 papers). Régine Laleau collaborates with scholars based in France, Canada and United Kingdom. Régine Laleau's co-authors include Amel Mammar, Fiona Polack, Marc Frappier, Yves Ledru, Jean‐Michel Bruel, Benoît Fraikin, Frédéric Gervais, Neil D. Evans, Catherine Dubois and Michel Lemoine and has published in prestigious journals such as Information and Software Technology, Science of Computer Programming and Software & Systems Modeling.

In The Last Decade

Régine Laleau

26 papers receiving 146 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Régine Laleau France	9	102	74	59	56	32	26	159
Linas Laibinis Finland	8	59 0.6×	61 0.8×	33 0.6×	64 1.1×	38 1.2×	27	140
Martyn Thomas United Kingdom	7	63 0.6×	95 1.3×	64 1.1×	50 0.9×	18 0.6×	17	186
Chokri Mraidha France	9	102 1.0×	93 1.3×	46 0.8×	61 1.1×	49 1.5×	41	238
Gilles Motet France	7	47 0.5×	79 1.1×	44 0.7×	28 0.5×	20 0.6×	19	167
Iulian Ober France	8	66 0.6×	96 1.3×	37 0.6×	79 1.4×	15 0.5×	20	169
Anastasia Mavridou United States	7	65 0.6×	44 0.6×	60 1.0×	38 0.7×	23 0.7×	25	136
Ileana Ober France	7	57 0.6×	85 1.1×	37 0.6×	52 0.9×	28 0.9×	21	147
Hans Toetenel Netherlands	5	105 1.0×	86 1.2×	87 1.5×	47 0.8×	30 0.9×	18	209
Dennis Griffith United States	4	97 1.0×	83 1.1×	42 0.7×	55 1.0×	37 1.2×	7	179
Karl Meinke Sweden	7	79 0.8×	62 0.8×	45 0.8×	52 0.9×	28 0.9×	24	150

Countries citing papers authored by Régine Laleau

Since Specialization

Citations

This map shows the geographic impact of Régine Laleau's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Régine Laleau with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Régine Laleau more than expected).

Fields of papers citing papers by Régine Laleau

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Régine Laleau. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Régine Laleau. The network helps show where Régine Laleau may publish in the future.

Co-authorship network of co-authors of Régine Laleau

This figure shows the co-authorship network connecting the top 25 collaborators of Régine Laleau. A scholar is included among the top collaborators of Régine Laleau based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Régine Laleau. Régine Laleau is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Mammar, Amel, Marc Frappier, & Régine Laleau. (2024). An Event-B model of an automotive adaptive exterior light system. International Journal on Software Tools for Technology Transfer. 26(3). 331–346. 1 indexed citations

Mammar, Amel, et al.. (2022). Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation. Science of Computer Programming. 222. 102856–102856. 2 indexed citations

Mammar, Amel, et al.. (2019). A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. International Journal on Software Tools for Technology Transfer. 22(3). 333–347. 9 indexed citations

Frappier, Marc, et al.. (2019). Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. International Journal on Software Tools for Technology Transfer. 22(3). 349–363. 8 indexed citations

Frappier, Marc, et al.. (2016). A formal validation of the RBAC ANSI 2012 standard using B. Science of Computer Programming. 131. 76–93. 2 indexed citations

Mammar, Amel & Régine Laleau. (2015). Modeling a landing gear system in Event-B. International Journal on Software Tools for Technology Transfer. 19(2). 167–186. 13 indexed citations

Bruel, Jean‐Michel, et al.. (2012). Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. Procedia Computer Science. 10. 474–481. 9 indexed citations

Laleau, Régine, et al.. (2011). Combining UML, ASTD and B for the formal specification of an access control filter. Innovations in Systems and Software Engineering. 7(4). 303–313. 6 indexed citations

Frappier, Marc, et al.. (2010). Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB³SEC. Ingénierie des systèmes d information. 15(3). 113–136. 1 indexed citations

10.

Gervais, Frédéric, Marc Frappier, & Régine Laleau. (2008). Generating relational database transactions from eb 3 attribute definitions. Software & Systems Modeling. 8(3). 423–445. 1 indexed citations

11.

Laleau, Régine, et al.. (2008). USING VARIANTS IN KAOS GOAL MODELLING. 339–344. 1 indexed citations

12.

Ledru, Yves, et al.. (2008). Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. Ingénierie des systèmes d information. 13(4). 133–157. 1 indexed citations

13.

Evans, Neil D., Helen Treharne, Régine Laleau, & Marc Frappier. (2007). Applying CSP || B to information systems. Software & Systems Modeling. 7(1). 85–102. 1 indexed citations

14.

Laleau, Régine & Fiona Polack. (2007). Using formal metamodels to check consistency of functional views in information systems specification. Information and Software Technology. 50(7-8). 797–814. 12 indexed citations

15.

Mammar, Amel & Régine Laleau. (2006). UB2SQL. Journal of Database Management. 17(4). 70–89. 5 indexed citations

16.

Mammar, Amel & Régine Laleau. (2005). From a B formal specification to an executable code: application to the relational database domain. Information and Software Technology. 48(4). 253–279. 18 indexed citations

17.

Fraikin, Benoît, Marc Frappier, & Régine Laleau. (2005). State-based versus event-based specifications for information systems: a comparison of B and eb3. Software & Systems Modeling. 4(3). 236–257. 3 indexed citations

18.

Laleau, Régine, et al.. (1996). Mapping Object Diagrams into B Specifications. Electronic workshops in computing. 8 indexed citations

19.

Laleau, Régine, et al.. (1995). Génération automatique de spécifications VDM à partir d'un schéma conceptuel de données.. 1 indexed citations

20.

Laleau, Régine, et al.. (1993). Modeling Semantic Data Concepts with VDM.. Software Engineering and Knowledge Engineering. 228–230. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact