Sfoglia per Autore
MADES: Embedded Systems Engineering Approach in the Avionics Domain
2010-01-01 Alessandra, Bagnato; Andrey, Sadovykh; Richard, Paige; Dimitrios, Kolovos; Baresi, Luciano; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
From Interaction Overview Diagrams to Temporal Logic
2010-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
Modeling Time in Computing: a taxonomy and a comparative survey
2010-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Bounded Reachability for Temporal Logic over Constraint Systems
2010-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Towards the UML-Based Formal Verification of Timed Systems
2011-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
From Interaction Overview Diagrams to Temporal Logic
2011-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
A logic-based semantics for the verification of multi-diagram UML models
2012-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
Modeling Time in Computing
2012-01-01 Carlo A., Furia; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
A Metric Temporal Logic for Dealing with Zero-Time Transitions
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Green Move: towards next generation sustainable smartphone-based vehicle sharing
2012-01-01 Alli, Giovanni; Baresi, Luciano; Bianchessi, ANDREA GIOVANNI; Cugola, Gianpaolo; Margara, Alessandro; Morzenti, ANGELO CARLO; Ongini, Carlo; Panigati, Emanuele; Rossi, MATTEO GIOVANNI; S., Rotondi; Savaresi, SERGIO MATTEO; Schreiber, FABIO ALBERTO; Sivieri, Alessandro; Tanca, Letizia; VANNUTELLI DEPOLI, EDOARDO GIORGIO
Automated Formal Verification for Flexible Manufacturing Systems
2012-01-01 Emanuele, Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mauro, Mazzolini; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Formal Languages and Compilation
2013-01-01 CRESPI REGHIZZI, Stefano; Breveglieri, LUCA ODDONE; Morzenti, ANGELO CARLO
Bounded Satisfiability Checking of Metric Temporal Logic Specifications
2013-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Complexity of extended vs classic LR parsers
2014-01-01 A., Borsotti; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
Constraint LTL Satisfiability Checking without Automata
2014-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Shift-Reduce Parsers for Transition Networks
2014-01-01 Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
Automated formal verification for flexible manufacturing systems
2014-01-01 E., Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mazzolini, •. M.; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing
2014-01-01 Bianchessi, ANDREA GIOVANNI; Cugola, Gianpaolo; Formentin, Simone; Morzenti, ANGELO CARLO; Ongini, Carlo; Panigati, Emanuele; Rossi, MATTEO GIOVANNI; Savaresi, SERGIO MATTEO; Schreiber, FABIO ALBERTO; Tanca, Letizia; Edoardo G., Vannutelli Depoli
Linguaggi formali e compilazione - 2a edizione
2015-01-01 CRESPI REGHIZZI, Stefano; Breveglieri, LUCA ODDONE; Morzenti, ANGELO CARLO
From Ambiguous Regular Expressions to Deterministic Parsing Automata
2015-01-01 Borsotti, Angelo; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
BSP: A Parsing Tool for Ambiguous Regular Expressions
2015-01-01 Borsotti, Angelo; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications
2016-01-01 Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO; Ferrucci, Luca
A logic-based approach for the verification of UML timed models
2017-01-01 Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Pourhashem, Mohammad Mehdi; Rossi, Matteo
Green Move Dynamic Applications
2017-01-01 Cugola, Gianpaolo; Morzenti, Angelo; Rossi, Matteo; Vannutelli Depoli, Edoardo G.
Architecture of the Green Move System
2017-01-01 Bianchessi, Andrea G.; Cugola, Gianpaolo; Formentin, Simone; Morzenti, Angelo; Ongini, Carlo; Panigati, Emanuele; Rossi, Matteo; Schreiber, Fabio A.; Savaresi, Sergio Matteo; Tanca, Letizia; Vannutelli Depoli, Edoardo G.
Fast deterministic parsers for transition networks
2018-01-01 Borsotti, Angelo; Breveglieri, Luca; Crespi Reghizzi, Stefano; Morzenti, Angelo
Formal Languages and Compilation
2019-01-01 Crespi Reghizzi, Stefano; Breveglieri, Luca; Morzenti, Angelo
A Benchmark Production Tool for Regular Expressions
2019-01-01 Borsotti, A.; Breveglieri, L.; Crespireghizzi, S.; Morzenti, A.
A generalized LR(1) parser for extended context-free grammars
2020-01-01 Borsotti, Angelo; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
Fast GLR Parsers for Extended BNF Grammars and Transition Networks
2021-01-01 Borsotti, Angelo; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
A deterministic parsing algorithm for ambiguous regular expressions
2021-01-01 Borsotti, Angelo; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
2022 Best Paper Award Runner Up - Journal of Computer Languages
2023-01-01 Borsotti, Angelo; Breveglieri, Luca; CRESPI REGHIZZI, Stefano; Morzenti, Angelo
General parsing with regular expression matching
2023-01-01 Borsotti, A.; Breveglieri, L.; Crespi Reghizzi, S.; Morzenti, A.
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