Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Loreti, Simone
6  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Stark: A Software Tool for the Analysis of Robustness in th..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone - p. 115-132 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Constrained Reachability Problems for a Planar Manipulator:

, In: Informatics in Control, Automation and Robotics; Lecture Notes in Electrical Engineering,
Cacace, Simone ; Lai, Anna Chiara ; Loreti, Paola - p. 17-31 , 2022
Link: https://doi.org/10.1007/..
 
?
3

How Adaptive and Reliable is Your Program?:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone - p. 60-79 , 2021
Link: https://doi.org/10.1007/..
 
?
4

MoonLight: A Lightweight Tool for Monitoring Spatio-Tempora..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele.. - p. 417-428 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Measuring Adaptability and Reliability of Large Scale Syste..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,
Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone - p. 380-396 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Optimal Reachability and Grasping for a Soft Manipulator:

, In: Informatics in Control, Automation and Robotics; Lecture Notes in Electrical Engineering,
Cacace, Simone ; Lai, Anna Chiara ; Loreti, Paola - p. 16-34 , 2020
Link: https://doi.org/10.1007/..
 
1-6