mtsa.dc.uba.ar Open in urlscan Pro
157.92.26.92  Public Scan

Form analysis
0 forms found in the DOM

Text Content

THE MODAL TRANSITION SYSTEM ANALYSER

The Modal Transition Analyser (MTSA) is a research and teaching platform for
modelling, analysis and synthesis of behaviour models represented as Labelled or
Modal Transition Systems. MTSA is a research effort by the Laboratory on
Foundations and Tools for Software Engineering (LaFHIS) at University of Buenos
Aires The tool is a fork of the Labelled Transition System Analyser developed at
Imperial College London initially by Jeff Magee.


DOWNLOADS

Repository
MTSA jar file
How to install MTSA Guide


PROJECTS


DIRECTED CONTROLLER SYNTHESIS FOR NON-MAXIMAL NONBLOCKING REQUIREMENTS

MTSA Tool
Benchmark



DYNAMIC UPDATE OF GR(1) DISCRETE EVENT CONTROLLERS

MTSA Tool



ASSUMPTION MONITORING USING RUNTIME VERIFICATION FOR UAV TEMPORAL TASK PLAN
EXECUTIONS (ICRA 2021)

Specifications and Flight Data for the missions



BUSINESS PROCESS RECONFIGURATION

MTSA Tool (InfSys 2020)
Case Studies (InfSys 2020)
MTSA Tool (BPM 2019)
Case Studies (BPM 2019)



UPDATE CONTROLLERS

Research Paper (SEAMS 2016)
MTSA Tool (TSE 2018)
Case Studies (TSE 2018)
User Guide (SEAMS 2016)
User Guide (TSE 2018)



GROUND CONTROL

Your browser does not support the video tag.


MTS EXPLORATION

MTSA Tool for exploration
Case studies



PUBLICATIONS


2019

 1. Leandro Nahabedian, Victor Braberman, Nicolas D'Ippolito, Jeff Kramer,
    Sebastian Uchitel. "Dynamic Reconfiguration of Business Processes"
    International Conference on Business Process Management (BPM'19).


2018

 1. Leandro Nahabedian, Victor Braberman, Nicolas D'Ippolito, Shinichi Honiden,
    Jeff Kramer, Kenji Tei, Sebastian Uchitel. "Dynamic Update of Discrete Event
    Controllers" IEEE Transactions on Software Engineering.


2016

 1. Leandro Nahabedian, Victor Braberman, Nicolas D'Ippolito, Shinichi Honiden,
    Jeff Kramer, Kenji Tei, Sebastian Uchitel. "Assured and Correct Dynamic
    Update of Controllers" International Symposium on Software Engineering for
    Adaptive and Self-Managing Systems (SEAMS'16).


2015

 1. Victor Braberman, Nicolas D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastian
    Uchitel. "MORPH: A Reference Architecture for Configuration and Behaviour
    Self-Adaptation" 1st Workshop on Control Theory for Software Engineering
    co-located with ESEC/FSE .
 2. Nicolas D'Ippolito, Victor Braberman, Daniel Sykes, Sebastian Uchitel.
    "Robust degradation and enhancement of robot mission behaviour in
    unpredictable environments" 1st Workshop on Control Theory for Software
    Engineering co-located with ESEC/FSE .
 3. Sebastián Sardiña, Nicolas D'Ippolito. "Towards Fully Observable
    Non-deterministic Planning as Assumption-based Automatic Synthesis"
    International Joint Conference on Artificial Intelligence .
 4. Germán Regis, Renzo Degiovanni, Nicolas D'Ippolito, Nazareno Aguirre.
    "Specifying Event-Based Systems with a Counting Fluent Temporal Logic"
    International Conference on Software Engineering .
 5. Antonio Filieri, Martina Maggio , Konstantinos Angelopoulos, Nicolas
    D'Ippolito. "Software Engineering meets Control Theory" 10th International
    Symposium on Software Engineering for Adaptive and Self-Managing Systems .


2014

 1. Nicolas D'Ippolito, Victor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes,
    Sebastian Uchitel. "Hope for the Best, Prepare for the Worst: Multi-tier
    Control for Adaptive Systems" 36th International Conference on Software
    Engineering ICSE 2014 .
 2. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel.
    "Controllability in Partial and Uncertain Environments" 14th International
    Conference on Application of Concurrency to System Design, {ACSD} 2014 .
 3. Ivo Krka, Nicolas D'Ippolito, Nenad Medvidovic, Sebastian Uchitel.
    "Revisiting Compatibility of Input-Output Modal Transition Systems" 19th
    International Symposium on Formal Methods FM 2014 .


2013

 1. Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Victor Braberman, Marsha
    Chechik, Guido de Caso, Nicolas DIppolito, Dario Fischbein, Diego
    Garbervetsky, Jeff Kramer, Alessandra Russo, German Sybay. "Supporting
    incremental behaviour model elaboration" Computer Science - Research and
    Development 28.
 2. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel.
    "Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals" ACM
    TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY .
 3. Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Daniel Sykes, Sebastian
    Uchitel. "Controller synthesis: from modelling to enactment" 35th
    International Conference on Software Engineering (ICSE 2013) .


2012

 1. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "The
    Modal Transition System Control Problem" LECTURE NOTES IN COMPUTER SCIENCE
    7436.
 2. Dario Fischbein, Greg Brunet, Nicolas D'Ippolito, Marsha Chechik, Sebastian
    Uchitel. "Weak Alphabet Merging of Partial Behaviour Models" ACM
    TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 21.
 3. Nicolas D'Ippolito. "Synthesis of event-based controllers: A software
    engineering challenge" International Conference on Software Engineering .


2011

 1. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel.
    "Synthesis of live behaviour models for fallible domains" 33rd International
    Conference on Software Engineering .


2010

 1. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel.
    "Synthesis of Live Behaviour Models" 18th ACM SIGSOFT International
    Symposium on Foundations of Software Engineering .


2008

 1. Nicolas D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastian Uchitel.
    "MTSA: The Modal Transition System Analyser" 23rd IEEE/ACM International
    Conference on Automated Software Engineering (ASE 2008) .


2007

 1. Nicolas D'Ippolito, Dario Fischbein, Howard Foster, Sebastian Uchitel.
    "MTSA: Eclipse support for modal transition systems construction, analysis
    and elaboration" 2007 OOPSLA workshop on Eclipse Technology eXchange .


ABOUT US


PROFESSORS




Sebastián Uchitel

Nicolás D'Ippolito


PH.D. STUDENTS




Daniel Ciolek

Mariano Cerruti

Ezequiel Castellano

Leandro Nahabedian


M.SC. STUDENTS




Virginia Brassesco
Ivan Pasquini
Victor Wjugow
Daniel Zacharias


 * FOR MORE INFORMATION ABOUT OUR RESEARCH GROUP VISIT LAFHIS WEBSITE

   




MTSA

LaFHIS - University of Buenos Aires

 * Home
 * Downloads
 * Projects
 * Publications
   
 * About Us
   

 * Email