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

Volltext

Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis von D'Ippolito, Nicolás, Rodrı́guez, Natalia, Sardina, Sebastian

Volltext

Control Strategies for Self-Adaptive Software Systems von Filieri, Antonio, Maggio, Martina, Angelopoulos, Konstantinos, D’ippolito, Nicolás, Gerostathopoulos, Ilias, Hempel, Andreas Berndt, Hoffmann, Henry, Jamshidi, Pooyan, Kalyvianaki, Evangelia, Klein, Cristian, Krikava, Filip, Misailovic, Sasa, Papadopoulos, Alessandro V., Ray, Suprio, Sharifloo, Amir M., Shevtsov, Stepan, Ujma, Mateusz, Vogel, Thomas

Volltext

On-the-fly informed search of non-blocking directed controllers von Ciolek, Daniel, Duran, Matias, Zanollo, Florencia, Pazos, Nicolas, Braier, Julián, Braberman, Victor, D’Ippolito, Nicolas, Uchitel, Sebastian

Volltext

Synthesis of live behaviour models for fallible domains von D'Ippolito, Nicolás, Braberman, Victor, Piterman, Nir, Uchitel, Sebastián

Volltext

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

Volltext

Interaction Models and Automated Control under Partial Observable Environments von Ciolek, Daniel, Braberman, Victor, DIppolito, Nicolas, Piterman, Nir, Uchitel, Sebastian

Volltext

The Modal Transition System Control Problem von D’Ippolito, Nicolás, Braberman, Victor, Piterman, Nir, Uchitel, Sebastián

Volltext

Revisiting Compatibility of Input-Output Modal Transition Systems von Krka, Ivo, D’Ippolito, Nicolás, Medvidović, Nenad, Uchitel, Sebastián

Volltext

Weak Alphabet Merging of Partial Behavior Models von Fischbein, Dario, D’Ippolito, Nicolas, Brunet, Greg, Chechik, Marsha, Uchitel, Sebastian

Volltext

Synthesis of event-based controllers: A software engineering challenge von D'Ippolito, N.

Volltext

Control and Discovery of Environment Behaviour von Keegan, Maureen, Braberman, Victor A., D'Ippolito, Nicolas, Piterman, Nir, Uchitel, Sebastian

Volltext

Alloy+HotCore: A Fast Approximation to Unsat Core von D’Ippolito, Nicolás, Frias, Marcelo F., Galeotti, Juan P., Lanzarotti, Esteban, Mera, Sergio

Volltext

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

Volltext

MTSA: The Modal Transition System Analyser von D'Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.

Volltext

Software Engineering Meets Control Theory von Filieri, Antonio, Maggio, Martina, Angelopoulos, Konstantinos, D'Ippolito, Nicolas, Gerostathopoulos, Ilias, Hempel, Andreas Berndt, Hoffmann, Henry, Jamshidi, Pooyan, Kalyvianaki, Evangelia, Klein, Cristian, Krikava, Filip, Misailovic, Sasa, Papadopoulos, Alessandro Vittorio, Ray, Suprio, Sharifloo, Amir M., Shevtsov, Stepan, Ujma, Mateusz, Vogel, Thomas

Volltext bestellen

FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings von Giannakopoulou, Dimitra, Mery, Dominique

Volltext

Multi-tier Automated Planning for Adaptive Behavior (Extended Version) von Ciolek, Daniel, D'Ippolito, Nicolás, Pozanco, Alberto, Sardina, Sebastian

Volltext bestellen

MAPPING APPLICATION PROGRAMMING INTERFACE SCHEMAS WITH SEMANTIC REPRESENTATIONS von D'Ippolito, Nicolás Roque, Chari, Guido Martín, Branavan, Satchuthananthavale Rasiah Kuhan

Volltext bestellen

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

Volltext