rafaeluriarte.com

sysma.imtlucca.it

Courses and organization |

http://sysma.imtlucca.it/phd/courses-and-organization

Skip to primary content. How to Do a PhD. The courses are taught by members of SysMA, members of other IMT research units, and visiting professors. The main courses of interest for PhD students that work within SysMA are reported below:. Formal Methods for Computer Science. Probability Theory, Stochastic Processes and Math. Statistics. Principles of Concurrent and Distributed Programming. Modelling and Verification of Reactive Systems. Machine Learning and Pattern Recognition. And at the IMT coursework.

sysma.imtlucca.it

Software Tools |

http://sysma.imtlucca.it/tools

Skip to primary content. How to Do a PhD. At SysMA we aim at providing formal theoretical results with strong impact in practice. For this reason, we provide tool support for many of our proposed contributions. This page collects the tools developed and maintained at SysMA, while a number of prototypes used to validate our techniques are listed here. ERODE: Evaluation and Reduction of Ordinary Differential Equations. The tool implements two complementary equivalences over ODE variables:. Is an efficient ...

sysma.imtlucca.it

Model Checking 2014 |

http://sysma.imtlucca.it/model-checking-2014

Skip to primary content. How to Do a PhD. This course is closely related with other course of the PhD program, namely “Formal Methods in Computer Science”, “Principles of Parallel and Distributed Programming” and “Modeling and Verification of Reactive Systems”. Joost-Pieter Katoen (lectures 6-10). Alberto Lluch Lafuente (lectures 1-5). Principles of Model Checking, Christel Baier and Joost-Pieter Katoen, MIT Press, 2008 [ BK08. Model Checking [ MCC. SPIN website [ SPIN. Lecture 1: Playing with SPIN.

sysma.imtlucca.it

How to Do a PhD |

http://sysma.imtlucca.it/phd/how-to-do-a-phd-within-sysma

Skip to primary content. How to Do a PhD. How to Do a PhD. The following 10 1 commandments are meant to help our students understand what it means to get a PhD. They have been inspired by many sources, some of which are listed below. Special thanks go to Luca Aceto, for his inspiring work and his suggestions to improve the commandments. There is also a 1-page printable PDF version. Suggestions, questions or comments are welcome. 1 FIND A TOPIC. 2 FIND A SUPERVISOR. 3 FIND YOUR TRIBE. 4 KNOW YOUR ROOTS.

sysma.imtlucca.it

MultiVeStA |

http://sysma.imtlucca.it/tools/multivesta

Skip to primary content. How to Do a PhD. Distributed Statistical Model Checking for Discrete Event Simulators. A property in the simulator-independent query language of MultiVeStA, and the obtained plot. MultiVeStA is an efficient statistical analysis tool which can be easily integrated with existing discrete event simulators, enriching them with distributed Statistical Analysis and Statistical Model Checking capabilities. The tool is maintained and developed by Stefano Sebastio and Andrea Vandin. An in...

sysma.imtlucca.it

OtherTool |

http://sysma.imtlucca.it/maudetoolold

Skip to primary content. How to Do a PhD. Proudly powered by WordPress.

sysma.imtlucca.it

SLAC |

http://sysma.imtlucca.it/tools/slac

Skip to primary content. How to Do a PhD. SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. Rafael Brundo Uriarte, Francesco Tiezzi and Rocco De Nicola. Definition of Metrics and Elements of the SLAC Language. Technical Report, IMT, 2014. The current version of the tool can be download here. While its source code can be found here. ZeroRPC: http:/ zerorpc.dotcloud.com/ – pip install zerorpc. Gevent: http:/ www.gevent.org/ – pip install gevent. Proudly powered by WordPress.

sysma.imtlucca.it

PhD Studies |

http://sysma.imtlucca.it/phd

Skip to primary content. How to Do a PhD. We are closely involved in the PhD program on Computer, Decision and Systems Science. The program is coordinated by Rocco de Nicola. In this site you can find some specific information about the doing the PhD within SysMA. SysMA PhD thesis topics. To apply for a PhD position go here. Proudly powered by WordPress.

sysma.imtlucca.it

MESSI – Maude Ensemble Strategies Simulator and Inquirer |

http://sysma.imtlucca.it/tools/ensembles

Skip to primary content. How to Do a PhD. MESSI – Maude Ensemble Strategies Simulator and Inquirer. Design, validation and performance evaluation of self-assembly strategies with Maude. Adaptive self-assembly strategies are a crucial mechanism that allows groups of simple individual entities to act as a single complex entity exhibiting emergent behaviours. Notable examples include bacteria or insect swarms, modular and self-assembling robots and software components with dynamic coupling mechanisms. Our i...

sysma.imtlucca.it

Twitlanger – Maude Interpreter for Twitlang |

http://sysma.imtlucca.it/tools/twitlanger

Skip to primary content. How to Do a PhD. Twitlanger – Maude Interpreter for Twitlang. An interpreter for Twitter interactions modeling language. A formal language to model interactions among Twitter accounts. The operational semantics associated to the language allows users to clearly and precisely determine the effects of actions performed by Twitter accounts, such as post, retweet, reply to or delete tweets. The language has been implemented in the form of a. Technical Report, IMT, 2015. Um1 ug1) &#46...