Tommaso Bolognesi

Publications

1.6K

Citations

H-Index

1983

Active since

Affiliations

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"(Current)

University of Twente

I.R.C.C.S. Oasi Maria SS

Tommaso Bolognesi is an author at Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsComputer ArchitectureSystem SoftwareParallel ComputingAutomated ReasoningFormal VerificationComputer EngineeringSoftware Engineering

Publications per year

1983–2003

Publications

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems · 1987 · 1.3K citations · Full text

Specification Language, Formal Specification, Engineering +9

From timed Petri nets to timed LOTOS

Tommaso Bolognesi, Ferdinando Lucidi, Sebastiano Trigila · 1990 · 70 citations

Petri Net, Engineering, Stochastic Petri Net +6

Fundamental Results for the Verification of Observational Equivalence: A Survey

Tommaso Bolognesi, Scott A. Smolka · 1987 · 63 citations

Engineering, Automated Reasoning, Mechanical Verification +10

Techniques for the formal definition of the G-LOTOS syntax

Tommaso Bolognesi, Diego Latella · 2003 · 28 citations

Engineering, Abstract Syntax, G-lotos Syntax +18

Converging towards a timed LOTOS standard

Tommaso Bolognesi, Ferdinando Lucidi, Sebastiano Trigila · Computer Standards & Interfaces · 1994 · 27 citations

Hardware Security, Engineering, Real-time Operating System +7

Rows per page

1–5 of 12