Filtros de búsqueda

Lista de obras de Marco Roveri

A Model Checker for AADL

artículo científico publicado en 2010

An Analytic Evaluation of SystemC Encodings in Promela

artículo científico publicado en 2011

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty

artículo científico publicado en 2015

Boosting Lazy Abstraction for SystemC with Partial Order Reduction

artículo científico publicado en 2011

Certifying proofs for SAT-based model checking

artículo científico publicado en 2021

Codesign of dependable systems: A component-based modeling language

artículo científico publicado en 2009

Comparing Large Language Models and Grammatical Evolution for Code Generation

artículo científico publicado en 2024

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

artículo científico publicado en 2007

Conformant planning via symbolic model checking and heuristic search

artículo científico publicado en 2004

Diagnostic Information for Realizability

Dynamic controllability via Timed Game Automata

artículo científico publicado en 2016

FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems

artículo científico publicado en 2024

Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System

artículo científico publicado en 2012

Formal Verification of Infinite-State BIP Models

artículo científico publicado en 2015

Formal analysis of hardware requirements

artículo científico publicado en 2006

Formalization and validation of a subset of the European Train Control System

artículo científico publicado en 2010

Formalizing requirements with object models and temporal constraints

artículo científico publicado en 2009

From Informal Requirements to Property-Driven Formal Validation

artículo científico publicado en 2009

From PSL to NBA: a Modular Symbolic Encoding

artículo científico publicado en 2006

From Sequential Extended Regular Expressions to NFA with Symbolic Labels

artículo científico publicado en 2011

HRELTL: A temporal logic for hybrid systems

artículo científico publicado en 2015

Kratos – A Software Model Checker for SystemC

artículo científico publicado en 2011

LLM-Driven Knowledge Extraction in Temporal and Description Logics

NUSMV: a new symbolic model checker

artículo científico publicado en 2000

Object Models with Temporal Constraints

artículo científico publicado en 2008

OthelloPlay

artículo científico publicado en 2011

RATSY – A New Requirements Analysis Tool with Synthesis

artículo científico publicado en 2010

Requirements Validation for Hybrid Systems

artículo científico publicado en 2009

SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA

artículo científico publicado en 2007

Safety assessment of AltaRica models via symbolic model checking

artículo científico publicado en 2015

Safety, Dependability and Performance Analysis of Extended AADL Models

artículo científico publicado en 2010

Software Model Checking SystemC

artículo científico publicado en 2013

Software Model Checking with Explicit Scheduler and Symbolic Threads

artículo científico publicado en 2012

Solving Temporal Problems Using SMT: Strong Controllability

artículo científico publicado en 2012

Solving strong controllability of temporal problems with uncertainty using SMT

artículo científico publicado en 2014

Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation

artículo científico publicado en 2014

Spacecraft early design validation using formal methods

artículo científico publicado en 2014

Strong planning under partial observability

artículo científico publicado en 2006

Structure-aware computation of predicate abstraction

artículo científico publicado en 2009

Supporting Requirements Validation: The EuRailCheck Tool

artículo científico publicado en 2009

Symbolic Compilation of PSL

artículo científico publicado en 2008

System-Software Co-Engineering: Dependability and Safety Perspective

artículo científico publicado en 2011

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems

artículo científico publicado en 2009

The nuXmv Symbolic Model Checker

artículo científico publicado en 2014

Validation of requirements for hybrid systems

artículo científico publicado en 2012

Verification and performance evaluation of aadl models

artículo científico publicado en 2009

Weak, strong, and strong cyclic planning via symbolic model checking

artículo científico publicado en 2003

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda