Dynamic Update of Discrete Event Controllers von Nahabedian, Leandro, Braberman, Victor, Dippolito, Nicolas, Honiden, Shinichi, Kramer, Jeff, Tei, Kenji, Uchitel, Sebastian

Volltext

Probabilistic Interface Automata von Pavese, Esteban, Braberman, Victor, Uchitel, Sebastian

Volltext

Less is More: Estimating Probabilistic Rewards over Partial System Explorations von Pavese, Esteban, Braberman, Víctor, Uchitel, Sebastian

Volltext

Model-based quality assurance of protocol documentation: tools and methodology von Grieskamp, Wolfgang, Kicillof, Nicolas, Stobie, Keith, Braberman, Victor

Volltext

Synthesizing nonanomalous event-based controllers for liveness goals von D'ippolito, Nicolás, Braberman, Victor, Piterman, Nir, Uchitel, Sebastián

Volltext

Declaratively building behavior by means of scenario clauses von Asteasuain, Fernando, Braberman, Víctor

Volltext

Compositional Supervisory Control via Reactive Synthesis and Automated Planning von Ciolek, Daniel Alfredo, Braberman, Victor, D'Ippolito, Nicolas, Sardina, Sebastian, Uchitel, Sebastian

Volltext

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings von Braberman, Víctor, Fribourg, Laurent

Volltext

Behaviour abstraction adequacy criteria for API call protocol testing von Czemerinski, Hernan, Braberman, Victor, Uchitel, Sebastian

Volltext

Synthesizing Modal Transition Systems from Triggered Scenarios von Sibay, G. E., Braberman, V., Uchitel, S., Kramer, J.

Volltext

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Volltext

Dynamic Reconfiguration of Business Processes von Nahabedian, Leandro, Braberman, Victor, D’ippolito, Nicolás, Kramer, Jeff, Uchitel, Sebastián

Volltext

Existential live sequence charts revisited von Sibay, G., Uchitel, S., Braberman, V.

Volltext

Enabledness-based program abstractions for behavior validation von Caso, Guido De, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Volltext

Controller synthesis: From modelling to enactment von Braberman, Victor, D'Ippolito, Nicolas, Piterman, Nir, Sykes, Daniel, Ucriitel, Sebastian

Volltext

Automated reliability estimation over partial systematic explorations von Pavese, Esteban, Braberman, Victor, Uchitel, Sebastian

Volltext

Program abstractions for behaviour validation von de Caso, Guido, Braberman, Víctor, Garbervetsky, Diego, Uchitel, Sebastián

Volltext

Automatic verification of real-time designs von Braberman, Victor A.

Volltext

An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation von Braberman, Victor, D’Ippolito, Nicolas, Kramer, Jeff, Sykes, Daniel, Uchitel, Sebastian

Volltext

Validation of contracts using enabledness preserving finite state abstractions von de Caso, Guido, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Volltext