Home
Conference on Applications of Artificial Intelligence in Forensics
- Details
- Category: Events
- Last Updated on Wednesday, 29 December 2021 20:37
The MCLab at Sapienza University of Rome co-organises, with the Department of Human Neuroscience, the Conference on Applications of Artificial Intelligence in Forensics.
The conference will take place in Rome, on January 28, 2022.
The Conference on Applications of Artificial Intelligence in Forensics aims at bringing together forensic psychiatrists and psychologists, legal experts, researchers and research scholars to exchange and share their experiences and research results on all aspects of Artificial Intelligence methods in the forensic field, as well as as facilitating connections and building synergies among the different disciplines.
Please find more details in the Conference website.
SDFS (POR FESR 2014-2020, Progetti strategici: Aerospazio)
- Details
- Category: Projects
- Last Updated on Wednesday, 28 July 2021 13:42
PROGETTO COFINANZIATO DALL'UNIONE EUROPEA
Project Title: Satellite Driven Fire Simulator
Project Acronym: SDFS
Funding: POR FESR 2014-2020, Progetti strategici: Aerospazio
CUP: E84G20000150006
Link: http://ing.uniroma2.it/progetti-strategici/
Project Total Funding: € 250,000.00
MCLab Sapienza University of Rome Unit (URM1-DI) Funding: € 73,600.00
Model Checking Group
- Details
- Category: Uncategorised
- Last Updated on Monday, 26 November 2012 10:03
Our main research activity focuses on Model Checking based algorithms and tools for automatic analysis and synthesis of mission or safety critical reactive systems.
A reactive system is a nonterminating system continuously exchanging information (input/output) with its environment in order to reach given goals. Examples of reactive systems are: digital hardware, control systems, operating systems, communication protocols, business processes, Decision Support Systems (DSS), Sense and Respond (SaR) systems in general.
Typically a system is considered mission critical when its failure may entail a loss of money whereas it is considered safety critical when its failure may entail loss of human lives.
Examples of mission critical systems are: space satellites, Decision Support Systems, ERP (Enterprise Resource Planning) systems. Examples of safety critical systems are: railway interlocking systems, airplanes.
SCAPR (POR FESR 2014-2020, Aerospazio e sicurezza)
- Details
- Category: Projects
- Last Updated on Friday, 06 September 2019 13:35
PROGETTO COFINANZIATO DALL'UNIONE EUROPEA
Project Title: Sistema per il Contrasto di Aeromobili a Pilotaggio Remoto
Project Acronym: SCAPR
Funding: POR FESR 2014-2020, Aerospazio e sicurezza
CUP: F83G17000830007
Project Total Funding: € 340,234.31
MCLab Sapienza University of Rome (UNIROMA1) Unit Funding: € 95,207.06
Open positions
- Details
- Category: News
- Last Updated on Friday, 18 October 2019 10:42
We have PhD and Post-Doc positions.
For further information please contact Enrico Tronci at This email address is being protected from spambots. You need JavaScript enabled to view it. .
SyLVer
- Details
- Category: Software
- Last Updated on Wednesday, 01 February 2017 12:15
SyLVer [MicPro16,PDP15,PDP14,CAV13,SpaceOps12,DASIA11] is a software allowing System Level Formal Verification (SLFV) of Cyber Physical Systems (CPSs). SyLVer implements an assume-guarantee approach to the problem of SLFV.
The goal of SLFV is to show system correctness notwithstanding uncontrollable events (disturbances), as for example faults, variation in system parameters, external inputs, etc. This may be achieved with an exhaustive Hardware In the Loop Simulation (HILS) based approach, by considering all relevant scenarios in the System Under Verification (SUV) operational environment.
SyLVer is a stand-alone software completely running on the user premises. Furtherly, it is possible to exploit MCLab Group cloud infrastructure potential for SyLVer, by using our derived and dedicated Web-based software SyLVer as a Service (SyLVaaS). With SyLVaaS, the generation of relevant scenarios is executed in MCLab cloud infrastructure but HILS activity still takes place on the user premises (as for SyLVer), thus allowing full Intellectual Property protection on the SUV model and the user verification flow.
QKS
- Details
- Category: Software
- Last Updated on Friday, 22 March 2019 14:15
QKS [TOSEM14] is a tool for automatic synthesis of correct-by-construction control software (as C code) for Discrete Time Linear Hybrid Systems. More in detail, QKS outputs a control software for software-based control systems like the following:
where we highlight the fact that:
- measures from plant sensors go through an Analog-to-Digital (AD) conversion (quantization) before being processed;
- the control software is typically executed by a microcontroller.
© Model Checking Group -