Vı́ctor Braberman

1.5k total citations
67 papers, 749 citations indexed

About

Vı́ctor Braberman is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Vı́ctor Braberman has authored 67 papers receiving a total of 749 indexed citations (citations by other indexed papers that have themselves been cited), including 51 papers in Computational Theory and Mathematics, 39 papers in Software and 34 papers in Artificial Intelligence. Recurrent topics in Vı́ctor Braberman's work include Formal Methods in Verification (49 papers), Advanced Software Engineering Methodologies (26 papers) and Software Testing and Debugging Techniques (21 papers). Vı́ctor Braberman is often cited by papers focused on Formal Methods in Verification (49 papers), Advanced Software Engineering Methodologies (26 papers) and Software Testing and Debugging Techniques (21 papers). Vı́ctor Braberman collaborates with scholars based in Argentina, United Kingdom and France. Vı́ctor Braberman's co-authors include Sebastián Uchitel, Nicolás D’Ippolito, Diego Garbervetsky, Nir Piterman, Alfredo Olivero, Wolfgang Grieskamp, Sergio Yovine, Jeff Kramer, Daniel Sykes and Jeff Magee and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and IEEE Transactions on Software Engineering.

In The Last Decade

Vı́ctor Braberman

63 papers receiving 715 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Vı́ctor Braberman Argentina 15 444 373 373 225 159 67 749
Michel Bidoit France 13 280 0.6× 495 1.3× 535 1.4× 147 0.7× 141 0.9× 37 855
François Laroussinie France 11 260 0.6× 326 0.9× 482 1.3× 85 0.4× 115 0.7× 27 701
Ph. Schnoebelen France 12 286 0.6× 392 1.1× 668 1.8× 91 0.4× 150 0.9× 26 877
Béatrice Bérard France 11 246 0.6× 256 0.7× 521 1.4× 90 0.4× 172 1.1× 31 760
B. Labaw United States 10 578 1.3× 416 1.1× 457 1.2× 252 1.1× 79 0.5× 16 836
Ofer Strichman Israel 16 468 1.1× 415 1.1× 486 1.3× 198 0.9× 144 0.9× 59 850
Laura K. Dillon United States 15 412 0.9× 290 0.8× 397 1.1× 163 0.7× 123 0.8× 57 678
Jan Madey Canada 5 423 1.0× 436 1.2× 272 0.7× 326 1.4× 122 0.8× 5 751
Arie Gurfinkel United States 15 330 0.7× 404 1.1× 425 1.1× 187 0.8× 114 0.7× 62 714
Gerald Lüttgen Germany 10 290 0.7× 201 0.5× 292 0.8× 107 0.5× 95 0.6× 39 512

Countries citing papers authored by Vı́ctor Braberman

Since Specialization
Citations

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

Fields of papers citing papers by Vı́ctor Braberman

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Vı́ctor Braberman. 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 Vı́ctor Braberman. The network helps show where Vı́ctor Braberman may publish in the future.

Co-authorship network of co-authors of Vı́ctor Braberman

This figure shows the co-authorship network connecting the top 25 collaborators of Vı́ctor Braberman. A scholar is included among the top collaborators of Vı́ctor Braberman 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 Vı́ctor Braberman. Vı́ctor Braberman 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.
Braberman, Vı́ctor, et al.. (2023). Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach. Proceedings of the International Conference on Automated Planning and Scheduling. 33(1). 569–577.
2.
Braberman, Vı́ctor, et al.. (2022). On-the-fly informed search of non-blocking directed controllers. Automatica. 147. 110731–110731. 1 indexed citations
3.
Braberman, Vı́ctor, et al.. (2021). Assured automatic dynamic reconfiguration of business processes. Information Systems. 104. 101850–101850. 2 indexed citations
4.
Braberman, Vı́ctor, Nicolás D’Ippolito, Shinichi Honiden, et al.. (2018). Dynamic Update of Discrete Event Controllers. IEEE Transactions on Software Engineering. 46(11). 1220–1240. 14 indexed citations
5.
Braberman, Vı́ctor, et al.. (2016). Assured and Correct Dynamic Update of Controllers. El Servicio de Difusión de la Creación Intelectual (National University of La Plata). 2016. 107. 9 indexed citations
6.
Braberman, Vı́ctor, et al.. (2016). Less is More. ACM Transactions on Software Engineering and Methodology. 25(2). 1–47. 1 indexed citations
7.
Braberman, Vı́ctor, et al.. (2013). Automated reliability estimation over partial systematic explorations. International Conference on Software Engineering. 602–611. 9 indexed citations
8.
Braberman, Vı́ctor, et al.. (2013). Summary-based inference of quantitative bounds of live heap objects. Science of Computer Programming. 92. 56–84. 3 indexed citations
9.
D’Ippolito, Nicolás, Vı́ctor Braberman, Nir Piterman, & Sebastián Uchitel. (2013). Synthesizing nonanomalous event-based controllers for liveness goals. ACM Transactions on Software Engineering and Methodology. 22(1). 1–36. 38 indexed citations
10.
Braberman, Vı́ctor & Laurent Fribourg. (2013). Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems. 2 indexed citations
11.
Braberman, Vı́ctor, et al.. (2010). Specification patterns can be formal and still easy.. Software Engineering and Knowledge Engineering. 37(3). 430–436. 1 indexed citations
12.
D’Ippolito, Nicolás, Vı́ctor Braberman, Nir Piterman, & Sebastián Uchitel. (2010). Synthesis of live behaviour models. 77–86. 40 indexed citations
13.
Braberman, Vı́ctor, et al.. (2009). Validation of contracts using enabledness preserving finite state abstractions. 452–462. 13 indexed citations
14.
Uchitel, Sebastián, et al.. (2008). Existential live sequence charts revisited. 41–50. 32 indexed citations
15.
Braberman, Vı́ctor, Diego Garbervetsky, & Sergio Yovine. (2006). A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption.. The Journal of Object Technology. 5(5). 31–31. 27 indexed citations
16.
Uchitel, Sebastián, et al.. (2006). A foundation for behavioural conformance in software product line architectures. 39–48. 73 indexed citations
17.
Braberman, Vı́ctor, Diego Garbervetsky, & Sergio Yovine. (2005). Synthesizing parametric specifications of dynamic memory utilization in object-oriented programs. 172(3985). 829–829. 6 indexed citations
18.
Braberman, Vı́ctor, et al.. (2005). A scenario-matching approach to the description and model checking of real-time properties. IEEE Transactions on Software Engineering. 31(12). 1028–1041. 23 indexed citations
19.
Garbervetsky, Diego, et al.. (2005). JScoper. 50–54. 4 indexed citations
20.
Braberman, Vı́ctor, et al.. (2004). Visual timed event scenarios. International Conference on Software Engineering. 168–177. 24 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 Michel Bidoit Breakdown of academic impact, for papers by François Laroussinie Breakdown of academic impact, for papers by Ph. Schnoebelen Breakdown of academic impact, for papers by Béatrice Bérard Breakdown of academic impact, for papers by B. Labaw Breakdown of academic impact, for papers by Ofer Strichman Breakdown of academic impact, for papers by Laura K. Dillon Breakdown of academic impact, for papers by Jan Madey Breakdown of academic impact, for papers by Arie Gurfinkel Breakdown of academic impact, for papers by Gerald Lüttgen
Rankless by CCL
2026