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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 84
Titolo Data di pubblicazione Autori File
On the specification of real-time systems using logic programming 1-gen-1987 GARZOTTO, FRANCAGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
TRIO a Logic Language for Executable Specifications of Real-time Systems 1-gen-1990 GHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
An object-oriented logic language for modular system specification 1-gen-1991 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A Model Parametric Real-Time Logic 1-gen-1992 MORZENTI, ANGELO CARLOMANDRIOLI, DINOGHEZZI, CARLO
A Survey and Assessment of Software Process Representation Formalisms 1-gen-1993 GHEZZI, CARLOMORZENTI, ANGELO CARLO +
Executable Specifications with Dataflow Diagrams 1-gen-1993 FUGGETTA, ALFONSOGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Validating real-time systems by history-checking TRIO specifications 1-gen-1994 MORZENTI, ANGELO CARLO +
A short note on the approximability of the maximum leaves spanning tree problem 1-gen-1994 MORZENTI, ANGELO CARLO +
Proving properties of real-time systems through logical specifications and Petri net models 1-gen-1994 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Object-oriented logical specification of time-critical systems 1-gen-1994 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Generating Test Cases for Real-Time Systems from Logic Specifications 1-gen-1995 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Generating functional test cases in-the-large for time-critical systems from logic-based specificationsProceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 1-gen-1996 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI +
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 1-gen-1996 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
On the Approximability of Some Maximum Spanning Tree Problems 1-gen-1997 MAFFIOLI, FRANCESCOMORZENTI, ANGELO CARLO +
Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems 1-gen-1997 SCHREIBER, FABIO ALBERTOMORZENTI, ANGELO CARLO
A Theory of Implementation and Refinement in Timed Petri Nets 1-gen-1998 MORZENTI, ANGELO CARLO +
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 1-gen-1998 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGIMORASCA, SANDRO
Dealing with Zero-time Transitions in Axiom Systems 1-gen-1999 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
From formal models to formally-based methods: an industrial experience 1-gen-1999 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
PROBLEMATICHE DI CERTIFICAZIONE DEL SOFTWARE SAFETY-CRITICAL II - PROGETTO; SVILUPPO E VALUTAZIONE 1-gen-1999 SCHREIBER, FABIO ALBERTOMORZENTI, ANGELO CARLO
Problematiche di certificazione del software safety-critical: I - Generalità, elicitazione e specifica dei requisiti 1-gen-1999 SCHREIBER, FABIO ALBERTOMORZENTI, ANGELO CARLO
Validation and Verification of the safety Kernel of the Naples subway 1-gen-1999 SCHREIBER, FABIO ALBERTOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 1-gen-1999 MORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
Generation of Execution Sequences for Modular Time Critical Systems 1-gen-2000 SAN PIETRO, PIERLUIGIMORZENTI, ANGELO CARLOMORASCA, SANDRO
A framework architecture for supervision and control systems 1-gen-2000 COEN PORISINI, ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLO +
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 1-gen-2000 MORASCA, SANDROMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
An application of a tool for automated system analysis based on modular specifications 1-gen-2000 MORASCA, SANDROMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Supervision and control systems framework 1-gen-2000 COEN PORISINI, ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Automated Deductive Requirements Analysis of Critical Systems 1-gen-2001 MORZENTI, ANGELO CARLO +
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 1-gen-2001 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Software procurement and methods for specification and validation in the railway transportation industry 1-gen-2002 GIULIANI, MARCOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI +
Model-checking TRIO specifications in SPIN 1-gen-2003 MORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems 1-gen-2003 MORZENTI, ANGELO CARLO +
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 1-gen-2003 MANDRIOLI, DINOMORZENTI, ANGELO CARLOSPOLETINI, PAOLA
A Dual Language Approach to the Development of Time Critical Systems with UML 1-gen-2003 MORZENTI, ANGELO CARLO +
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 1-gen-2003 MORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI
Practical Model Checking of LTL with Past 1-gen-2003 MORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
A Dual Language Approach to the Development of Time-Critical Systems with UML 1-gen-2004 LAVAZZA, LUIGIMORZENTI, ANGELO CARLO +
Automated Compositional Proofs for Real-Time Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 1-gen-2006 MORZENTI, ANGELO CARLO +
The defense of electric power systems: an approach exploiting formal methods 1-gen-2006 MANDRIOLI, DINOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI +
Comments on “An Interval Logic for Real-Time System Specification” 1-gen-2006 FURIA, CARLO ALBERTOMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Power and limits of automatic calculation: The complexity of calculation by algorithms [Potenza e limiti del calcolo automatico: La complessità di calcolo degli algoritmi] 1-gen-2007 MORZENTI, ANGELO CARLO
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 1-gen-2007 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Model Checking Temporal Metric Specifications with Trio2Promela 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
Automated Compositional Proofs for Real-Time Systems 1-gen-2007 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
Trio2Promela: A Model Checker for Temporal Metric Specifications 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 1-gen-2008 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 1-gen-2008 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A Metric Encoding for Bounded Model Checking 1-gen-2009 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Mostrati risultati da 1 a 50 di 84
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