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
2022 Best Paper Award Runner Up - Journal of Computer Languages 1-gen-2023 Luca BreveglieriStefano Crespi ReghizziAngelo Morzenti +
General parsing with regular expression matching 1-gen-2023 L. BreveglieriS. Crespi ReghizziA. Morzenti +
A deterministic parsing algorithm for ambiguous regular expressions 1-gen-2021 Luca BreveglieriStefano Crespi ReghizziAngelo Morzenti +
Fast GLR Parsers for Extended BNF Grammars and Transition Networks 1-gen-2021 LUCA BREVEGLIERISTEFANO CRESPI REGHIZZIANGELO MORZENTI +
A generalized LR(1) parser for extended context-free grammars 1-gen-2020 Luca BreveglieriStefano Crespi ReghizziAngelo Morzenti +
Formal Languages and Compilation 1-gen-2019 Crespi Reghizzi, StefanoBreveglieri, LucaMorzenti, Angelo
A Benchmark Production Tool for Regular Expressions 1-gen-2019 Breveglieri L.Morzenti A. +
Fast deterministic parsers for transition networks 1-gen-2018 Breveglieri, LucaCrespi Reghizzi, StefanoMorzenti, Angelo +
A logic-based approach for the verification of UML timed models 1-gen-2017 Baresi, LucianoMorzenti, AngeloMotta, AlfredoPourhashem, Mohammad MehdiRossi, Matteo
Green Move Dynamic Applications 1-gen-2017 Cugola, GianpaoloMorzenti, AngeloRossi, MatteoVannutelli Depoli, Edoardo G.
Architecture of the Green Move System 1-gen-2017 Bianchessi, Andrea G.Cugola, GianpaoloFormentin, SimoneMorzenti, AngeloOngini, CarloPanigati, EmanueleRossi, MatteoSchreiber, Fabio A.Savaresi, Sergio MatteoTanca, LetiziaVannutelli Depoli, Edoardo G.
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 1-gen-2016 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLOFERRUCCI, LUCA
Linguaggi formali e compilazione - 2a edizione 1-gen-2015 CRESPI REGHIZZI, STEFANOBREVEGLIERI, LUCA ODDONEMORZENTI, ANGELO CARLO
From Ambiguous Regular Expressions to Deterministic Parsing Automata 1-gen-2015 BREVEGLIERI, LUCA ODDONECRESPI REGHIZZI, STEFANOMORZENTI, ANGELO CARLO +
BSP: A Parsing Tool for Ambiguous Regular Expressions 1-gen-2015 BREVEGLIERI, LUCA ODDONECRESPI REGHIZZI, STEFANOMORZENTI, ANGELO CARLO +
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 1-gen-2014 BIANCHESSI, ANDREA GIOVANNICUGOLA, GIANPAOLOFORMENTIN, SIMONEMORZENTI, ANGELO CARLOONGINI, CARLOPANIGATI, EMANUELEROSSI, MATTEO GIOVANNISAVARESI, SERGIO MATTEOSCHREIBER, FABIO ALBERTOTANCA, LETIZIA +
Automated formal verification for flexible manufacturing systems 1-gen-2014 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI +
Shift-Reduce Parsers for Transition Networks 1-gen-2014 BREVEGLIERI, LUCA ODDONECRESPI REGHIZZI, STEFANOMORZENTI, ANGELO CARLO
Complexity of extended vs classic LR parsers 1-gen-2014 BREVEGLIERI, LUCA ODDONECRESPI REGHIZZI, STEFANOMORZENTI, ANGELO CARLO +
Constraint LTL Satisfiability Checking without Automata 1-gen-2014 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 1-gen-2013 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Formal Languages and Compilation 1-gen-2013 CRESPI REGHIZZI, STEFANOBREVEGLIERI, LUCA ODDONEMORZENTI, ANGELO CARLO
A logic-based semantics for the verification of multi-diagram UML models 1-gen-2012 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI
Modeling Time in Computing 1-gen-2012 MANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI +
Automated Formal Verification for Flexible Manufacturing Systems 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, 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
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 Metric Temporal Logic for Dealing with Zero-Time Transitions 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
From Interaction Overview Diagrams to Temporal Logic 1-gen-2011 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI
Towards the UML-Based Formal Verification of Timed Systems 1-gen-2011 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI
MADES: Embedded Systems Engineering Approach in the Avionics Domain 1-gen-2010 BARESI, LUCIANOMORZENTI, ANGELO CARLOROSSI, 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
Modeling Time in Computing: a taxonomy and a comparative survey 1-gen-2010 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
A Metric Encoding for Bounded Model Checking 1-gen-2009 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
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
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
Automated Compositional Proofs for Real-Time Systems 1-gen-2007 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
Model Checking Temporal Metric Specifications with Trio2Promela 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
Trio2Promela: A Model Checker for Temporal Metric Specifications 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
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
Automated Compositional Proofs for Real-Time Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLO
A Dual Language Approach to the Development of Time-Critical Systems with UML 1-gen-2004 LAVAZZA, LUIGIMORZENTI, ANGELO CARLO +
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
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