E-LIB Suche - Ergebnisse für: Braberman, Victor

1

Verification of Programs with Common Fragments:

, In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering,

Postolski, Ivan ; Braberman, Víctor ; Garbervetsky, Diego. - p. 487-491 , 2024

Link: https://dl.acm.org/doi/1..

2

On-the-fly informed search of non-blocking directed control..:

Ciolek, Daniel ; Duran, Matias ; Zanollo, Florencia...
Automatica. 147 (2023) - p. 110731 , 2023

Link: https://doi.org/10.1016/..

3

Control and Discovery of Environment Behaviour:

Keegan, Maureen ; Braberman, Victor ; DaIppolito, Nicolas..
IEEE Transactions on Software Engineering. 48 (2022) 6 - p. 1965-1978 , 2022

Link: https://doi.org/10.1109/..

4

Dynamic Update of Discrete Event Controllers:

Nahabedian, Leandro ; Braberman, Victor ; Dippolito, Nicolas...
IEEE Transactions on Software Engineering. 46 (2020) 11 - p. 1220-1240 , 2020

Link: https://doi.org/10.1109/..

5

Dynamic Reconfiguration of Business Processes:

, In: Lecture Notes in Computer Science; Business Process Management,

Nahabedian, Leandro ; Braberman, Victor ; D'ippolito, Nicolás.. - p. 35-51 , 2019

Link: https://doi.org/10.1007/..

6

Simulator-based diff-time performance testing:

, In: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results,

Postolski, Ivan ; Braberman, Victor ; Garbervetsky, Diego. - p. 81-84 , 2019

Link: https://dl.acm.org/doi/1..

7

Minimising Makespan of Discrete Controllers: A Qualitative ..:

, In: 2019 IEEE 58th Conference on Decision and Control (CDC),

Castellano, Ezequiel ; Braberman, Victor ; D'Ippolito, Nicolas.. - p. 1068-1075 , 2019

Link: https://doi.org/10.1109/..

8

Testing and validating end user programmed calculated field:

, In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Braberman, Víctor ; Garbervetsky, Diego ; Godoy, Javier... - p. 827-832 , 2018

Link: https://dl.acm.org/doi/1..

9

Model checker execution reports:

, In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering,

Castaño, Rodrigo ; Braberman, Víctor ; Garbervetsky, Diego. - p. 200-205 , 2017

Link: http://dl.acm.org/citati..

10

Interaction Models and Automated Control under Partial Obse..:

Ciolek, Daniel ; Braberman, Victor ; DIppolito, Nicolas..
IEEE Transactions on Software Engineering. 43 (2017) 1 - p. 19-33 , 2017

Link: https://doi.org/10.1109/..

11

Less is More: Estimating Probabilistic Rewards over Partial..:

Pavese, Esteban ; Braberman, Víctor ; Uchitel, Sebastian
ACM Transactions on Software Engineering and Methodology. 25 (2016) 2 - p. 1-47 , 2016

Link: https://doi.org/10.1145/..

12

Runtime Controller Synthesis for Self-Adaptation: Be Discre..:

, In: 2016 IEEE/ACM 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),

Uchitel, Sebastian ; Braberman, Victor A. ; D'Ippolito, Nicolas - p. 1-3 , 2016

Link: https://doi.org/10.1109/..

13

Declaratively building behavior by means of scenario clause:

Asteasuain, Fernando ; Braberman, Víctor
Requirements Engineering. 22 (2016) 2 - p. 239-274 , 2016

Link: https://doi.org/10.1007/..

14

Runtime controller synthesis for self-adaptation : be di..:

, In: Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,

Uchitel, Sebastian ; Braberman, Victor A. ; D'Ippolito, Nicolas - p. 1-3 , 2016

Link: https://dl.acm.org/doi/1..

15

Assured and Correct Dynamic Update of Controllers:

, In: 2016 IEEE/ACM 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),

Nahabedian, Leandro ; Braberman, Victor ; D'Ippolito, Nicolas... - p. 96-107 , 2016

Link: https://doi.org/10.1145/..