RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 137
Titolo Data di pubblicazione Autori File
An Evolutionary Approach to the Design of Supervision and Control Systems 1-gen-1999 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 1-gen-1999 MORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A Formal Approach for Designing CORBA based Applications 1-gen-2000 COEN PORISINI, ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits 1-gen-2002 ROSSI, MATTEO GIOVANNILOVERA, MARCO
A Multirate Predictive Approach to Orbit Control of Small Spacecraft 1-gen-2002 ROSSI, MATTEO GIOVANNILOVERA, MARCO
A formal approach for designing CORBA-based applications 1-gen-2003 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 1-gen-2004 MATTA, ANDREAFURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 1-gen-2004 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
Automated Compositional Proofs for Real-Time Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLO
A UML-compatible formal language for system architecture description 1-gen-2005 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Compositional Framework for Formally Verifying Modular Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
QUACK: a platform for the quality of new generation integrated embedded systems 1-gen-2005 ROSSI, MATTEO GIOVANNI +
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 1-gen-2006 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
A UML 2-compatible language and tool for formal modeling real-time system architectures 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
Comments on “An Interval Logic for Real-Time System Specification” 1-gen-2006 FURIA, CARLO ALBERTOMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Formal verification in analysis and design of production systems 1-gen-2006 SPOLETINI, PAOLATOMASELLA, MAURIZIOMATTA, ANDREAROSSI, MATTEO GIOVANNI
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 1-gen-2006 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators 1-gen-2007 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 1-gen-2007 MATTA, ANDREAROSSI, MATTEO GIOVANNISPOLETINI, PAOLAMANDRIOLI, DINOSEMERARO, QUIRICOTOLIO, TULLIO ANTONIO MARIA
Modeling the Environment in Software-Intensive Systems 1-gen-2007 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
Automated Compositional Proofs for Real-Time Systems 1-gen-2007 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
On the Expressiveness of MTL Variants over Dense Time 1-gen-2007 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 1-gen-2008 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
MTL with Bounded Variability: Decidability and Complexity 1-gen-2008 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 1-gen-2008 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 1-gen-2009 BERSANI, MARCELLO MARIAFURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Comments on temporal logics for real-time system specification 1-gen-2009 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Towards a formal model of autonomic services based on SelfLets 1-gen-2009 ROSSI, MATTEO GIOVANNI +
Modeling Time in Computing: a taxonomy and a comparative survey 1-gen-2010 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
SCORE: the first student contest on software engineering 1-gen-2010 MANDRIOLI, DINOFURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI +
MADES: Embedded Systems Engineering Approach in the Avionics Domain 1-gen-2010 BARESI, LUCIANOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI +
A theory of sampling for continuous-time metric temporal logic 1-gen-2010 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 1-gen-2010 FURIA, CARLO ALBERTODI NITTO, ELISABETTAROSSI, MATTEO GIOVANNI +
From Interaction Overview Diagrams to Temporal Logic 1-gen-2010 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI
Bounded Reachability for Temporal Logic over Constraint Systems 1-gen-2010 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 1-gen-2010 BERSANI, MARCELLO MARIACAVALLARO, LUCAFRIGERI, ACHILLEPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Towards the UML-Based Formal Verification of Timed Systems 1-gen-2011 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI
SCORE 2011Proceeding of the 33rd international conference on Software engineering - ICSE '11 1-gen-2011 ROSSI, MATTEO GIOVANNI +
From Interaction Overview Diagrams to Temporal Logic 1-gen-2011 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 1-gen-2011 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 1-gen-2012 ROSSI, MATTEO GIOVANNIMOTTA, ALFREDOBARESI, LUCIANO +
Flexible logic-based Co-simulation of Modelica models 1-gen-2012 BARESI, LUCIANOFERRETTI, GIANNILEVA, ALBERTOROSSI, MATTEO GIOVANNI
Green Move: towards next generation sustainable smartphone-based vehicle sharing 1-gen-2012 ALLI, GIOVANNIBARESI, LUCIANOBIANCHESSI, ANDREA GIOVANNICUGOLA, GIANPAOLOMARGARA, ALESSANDROMORZENTI, ANGELO CARLOONGINI, CARLOPANIGATI, EMANUELEROSSI, MATTEO GIOVANNISAVARESI, SERGIO MATTEOSCHREIBER, FABIO ALBERTOSIVIERI, ALESSANDROTANCA, LETIZIAVANNUTELLI DEPOLI, EDOARDO GIORGIO +
A logic-based semantics for the verification of multi-diagram UML models 1-gen-2012 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI
A Metric Temporal Logic for Dealing with Zero-Time Transitions 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
Modeling Time in Computing 1-gen-2012 MANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI +
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems 1-gen-2012 ROSSI, MATTEO GIOVANNI +
Automated Formal Verification for Flexible Manufacturing Systems 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI +
Mostrati risultati da 1 a 50 di 137
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile