E-LIB Suche - Ergebnisse für: Morzenti, A.

1

Performance assessment in clay pigeon shooting using machin..:

, In: 2020 IEEE International Workshop on Metrology for Industry 4.0 & IoT,

Micheli, Massimiliano ; Massardi, Stefano ; Morzenti, Stefano... - p. 111-115 , 2020

Link: https://doi.org/10.1109/..

2

Translation Semantics and Static Analysis:

, In: Texts in Computer Science; Formal Languages and Compilation,

Crespi Reghizzi, Stefano ; Breveglieri, Luca ; Morzenti, Angelo - p. 383-486 , 2019

Link: https://doi.org/10.1007/..

3

Pushdown Automata and Parsing:

, In: Texts in Computer Science; Formal Languages and Compilation,

Crespi Reghizzi, Stefano ; Breveglieri, Luca ; Morzenti, Angelo - p. 199-381 , 2019

Link: https://doi.org/10.1007/..

4

A Benchmark Production Tool for Regular Expressions:

, In: Implementation and Application of Automata; Lecture Notes in Computer Science,

Borsotti, Angelo ; Breveglieri, Luca ; Crespi Reghizzi, Stefano. - p. 95-107 , 2019

Link: https://doi.org/10.1007/..

5

Finite Automata as Regular Language Recognizers:

, In: Texts in Computer Science; Formal Languages and Compilation,

Crespi Reghizzi, Stefano ; Breveglieri, Luca ; Morzenti, Angelo - p. 115-197 , 2019

Link: https://doi.org/10.1007/..

6

Introduction:

, In: Texts in Computer Science; Formal Languages and Compilation,

Crespi Reghizzi, Stefano ; Breveglieri, Luca ; Morzenti, Angelo - p. 1-4 , 2019

Link: https://doi.org/10.1007/..

7

Syntax:

, In: Texts in Computer Science; Formal Languages and Compilation,

Crespi Reghizzi, Stefano ; Breveglieri, Luca ; Morzenti, Angelo - p. 5-113 , 2019

Link: https://doi.org/10.1007/..

8

From Interaction Overview Diagrams to Temporal Logic:

, In: Models in Software Engineering; Lecture Notes in Computer Science,

Baresi, Luciano ; Morzenti, Angelo ; Motta, Alfredo. - p. 90-104 , 2011

Link: https://doi.org/10.1007/..

9

From interaction overview diagrams to temporal logic:

, In: Proceedings of the 2010 international conference on Models in software engineering,

Baresi, Luciano ; Morzenti, Angelo ; Motta, Alfredo. - p. 90-104 , 2010

Link: https://dl.acm.org/doi/1..

10

The symmetry of the past and of the future : bi-infinite..:

, In: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering,

Pradella, Matteo ; Morzenti, Angelo ; San Pietro, Pierluigi - p. 312-320 , 2007

Link: https://dl.acm.org/doi/1..

11

Trio2Promela : A Model Checker for Temporal Metric Speci..:

, In: Companion to the proceedings of the 29th International Conference on Software Engineering,

Bianculli, Domenico ; Morzenti, Angelo ; Pradella, Matteo.. - p. 61-62 , 2007

Link: https://dl.acm.org/doi/1..

12

Model checking temporal metric specifications with Trio2Pro..:

, In: Proceedings of the 2007 international conference on Fundamentals of software engineering,

Bianculli, Domenico ; Spoletini, Paola ; Morzenti, Angelo.. - p. 388-395 , 2007

Link: https://dl.acm.org/doi/1..

13

Providing automated support to deductive analysis of time c..:

, In: Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering,

Alborghetti, Andrea ; Gargantini, Angelo ; Morzenti, Angelo - p. 211-226 , 1997

Link: https://dl.acm.org/doi/1..

14

Generating functional test cases in-the-large for time-crit..:

, In: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis,

Morasca, Sandro ; Morzenti, Angelo ; SanPietro, Pieluigi - p. 39-52 , 1996

Link: https://dl.acm.org/doi/1..

15

Validating real-time systems by history-checking TRIO speci..:

, In: Proceedings of the 14th international conference on Software engineering,

Felder, Miguel ; Morzenti, Angelo - p. 199-211 , 1992

Link: https://dl.acm.org/doi/1..