Jacques Julliand

558 total citations
22 papers, 110 citations indexed

About

Jacques Julliand is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Jacques Julliand has authored 22 papers receiving a total of 110 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Software, 14 papers in Computational Theory and Mathematics and 6 papers in Artificial Intelligence. Recurrent topics in Jacques Julliand's work include Formal Methods in Verification (14 papers), Software Testing and Debugging Techniques (13 papers) and Model-Driven Software Engineering Techniques (7 papers). Jacques Julliand is often cited by papers focused on Formal Methods in Verification (14 papers), Software Testing and Debugging Techniques (13 papers) and Model-Driven Software Engineering Techniques (7 papers). Jacques Julliand collaborates with scholars based in France and Germany. Jacques Julliand's co-authors include Frédéric Dadeau, Achim D. Brucker, Fabrice Bouquet, Alain Giorgetti, Nikolaï Kosmatov, Bernard Botella, Olga Kouchnarenko, Julien Signoles, J. Groslambert and Marieke Huisman and has published in prestigious journals such as Lecture notes in computer science, Science of Computer Programming and ACM Transactions on Embedded Computing Systems.

In The Last Decade

Jacques Julliand

20 papers receiving 99 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Jacques Julliand France 7 80 55 44 23 19 22 110
Matthias Heizmann Germany 8 97 1.2× 95 1.7× 68 1.5× 28 1.2× 27 1.4× 15 149
Grigory Fedyukovich United States 7 93 1.2× 72 1.3× 75 1.7× 39 1.7× 20 1.1× 22 139
Markus Dahlweid Germany 3 44 0.6× 28 0.5× 49 1.1× 17 0.7× 18 0.9× 6 77
Jochen Hoenicke Germany 8 106 1.3× 113 2.1× 98 2.2× 31 1.3× 9 0.5× 17 165
Omar Inverso Italy 6 55 0.7× 70 1.3× 35 0.8× 21 0.9× 44 2.3× 22 118
Peter Schrammel United Kingdom 9 81 1.0× 84 1.5× 45 1.0× 19 0.8× 68 3.6× 22 136
Pierre-Loïc Garoche France 5 46 0.6× 48 0.9× 30 0.7× 18 0.8× 20 1.1× 30 98
Tal Lev-Ami Israel 5 54 0.7× 52 0.9× 74 1.7× 34 1.5× 18 0.9× 7 110
G.J. Tretmans France 6 164 2.0× 103 1.9× 35 0.8× 28 1.2× 19 1.0× 14 173
David Déharbe Brazil 8 47 0.6× 73 1.3× 78 1.8× 12 0.5× 25 1.3× 28 126

Countries citing papers authored by Jacques Julliand

Since Specialization
Citations

This map shows the geographic impact of Jacques Julliand'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 Jacques Julliand with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jacques Julliand more than expected).

Fields of papers citing papers by Jacques Julliand

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jacques Julliand. 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 Jacques Julliand. The network helps show where Jacques Julliand may publish in the future.

Co-authorship network of co-authors of Jacques Julliand

This figure shows the co-authorship network connecting the top 25 collaborators of Jacques Julliand. A scholar is included among the top collaborators of Jacques Julliand 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 Jacques Julliand. Jacques Julliand is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Kosmatov, Nikolaï, et al.. (2018). How testing helps to diagnose proof failures. Formal Aspects of Computing. 30(6). 629–657. 5 indexed citations
2.
3.
Julliand, Jacques, et al.. (2016). Tri-modal under-approximation for test generation. Science of Computer Programming. 132. 190–208. 1 indexed citations
4.
Julliand, Jacques, et al.. (2015). Tri-modal under-approximation of event systems for test generation. 1737–1744. 2 indexed citations
5.
Julliand, Jacques, et al.. (2014). A compositional automata-based semantics and preserving transformation rules for testing property patterns. Formal Aspects of Computing. 27(4). 641–664. 3 indexed citations
6.
Brucker, Achim D. & Jacques Julliand. (2012). Proceedings of the 6th international conference on Tests and Proofs. 5 indexed citations
7.
Dadeau, Frédéric, et al.. (2011). Scenario-based testing from UML/OCL behavioral models. International Journal on Software Tools for Technology Transfer. 13(5). 431–448. 4 indexed citations
8.
Julliand, Jacques, et al.. (2011). B model slicing and predicate abstraction to generate tests. Software Quality Journal. 21(1). 127–158. 4 indexed citations
9.
Julliand, Jacques, et al.. (2009). Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development. 6 indexed citations
10.
Julliand, Jacques, et al.. (2009). Generating tests from B specifications and dynamic selection criteria. Formal Aspects of Computing. 23(1). 3–19. 4 indexed citations
11.
Julliand, Jacques, et al.. (2008). Generating security tests in addition to functional tests. 41–44. 18 indexed citations
12.
Giorgetti, Alain, J. Groslambert, Jacques Julliand, & Olga Kouchnarenko. (2008). Verification of class liveness properties with Java modelling language. IET Software. 2(6). 500–514. 6 indexed citations
13.
Julliand, Jacques, et al.. (2007). Automatic generation of model based tests for a class of security properties. 12–22. 6 indexed citations
14.
Julliand, Jacques, et al.. (2006). On the Contribution of a τ-simulation in the Incremental Modeling of Timed Systems. Electronic Notes in Theoretical Computer Science. 160. 97–111. 2 indexed citations
15.
Julliand, Jacques, et al.. (2006). Experiments in the use of τ-simulations for the components-verification of real-time systems. 160. 33–40. 1 indexed citations
16.
Bouquet, Fabrice, et al.. (2006). Formal Approaches to Software Testing and Runtime Verification. Lecture notes in computer science. 15 indexed citations
17.
Julliand, Jacques, et al.. (2006). B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 1 indexed citations
18.
Julliand, Jacques, et al.. (2005). PLTL-partitioned model checking for reactive systems under fairness assumptions. ACM Transactions on Embedded Computing Systems. 4(2). 267–301. 3 indexed citations
19.
Huisman, Marieke, et al.. (2004). Verification of Liveness Properties with JML. HAL (Le Centre pour la Communication Scientifique Directe). 24. 3 indexed citations
20.
Julliand, Jacques, et al.. (2002). Modeling and Verification of the RUBIS μ−Kernel with SPIN. 10 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

Breakdown of academic impact, for papers by Matthias Heizmann Breakdown of academic impact, for papers by Grigory Fedyukovich Breakdown of academic impact, for papers by Markus Dahlweid Breakdown of academic impact, for papers by Jochen Hoenicke Breakdown of academic impact, for papers by Omar Inverso Breakdown of academic impact, for papers by Peter Schrammel Breakdown of academic impact, for papers by Pierre-Loïc Garoche Breakdown of academic impact, for papers by Tal Lev-Ami Breakdown of academic impact, for papers by G.J. Tretmans Breakdown of academic impact, for papers by David Déharbe
Rankless by CCL
2026