Concepedia

Luigi Logrippo

LL

48

Publications

1.3K

Citations

21

H-Index

1984

Active since

Affiliations

University of Ottawa(Current)

Université du Québec en Outaouais

University of Trento

Luigi Logrippo is an author at University of Ottawa specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringSoftware DesignSoftware AnalysisSoftware EngineeringVerificationProgram Analysis

Publications per year

1984–2024

48

Publications

48

An introduction to LOTOS: learning by examples

Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein · Computer Networks and ISDN Systems · 1992 · 100 citations

Artificial Intelligence, Engineering, Data Science +4

Understanding GPRS: the GSM packet radio service

Brahim Ghribi, Luigi Logrippo · Computer Networks · 2000 · 90 citations

Communication, Mobile Computing, Mobile Communication

Dynamic risk-based decision methods for access control systems

Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo · Computers & Security · 2012 · 71 citations

Engineering, Access Control Systems, Access Method +8

Use case maps for the capture and validation of distributed systems requirements

Daniel Amyot, Luigi Logrippo, R. J. A. Buhr et al. · 2003 · 66 citations

The importance of the service concept in the design of data communications protocols

Chris A. Vissers, Luigi Logrippo · 1985 · 65 citations

Rows per page

1–5 of 48