Luigi Logrippo
Luigi Logrippo
Professor, Département d'informatique et ingénierie, Université du Québec en Outaouais
Verified email at
Cited by
Cited by
Understanding GPRS: the GSM packet radio service
B Ghribi, L Logrippo
Computer Networks 34 (5), 763-779, 2000
An introduction to LOTOS: learning by examples
L Logrippo, M Faci, M Haj-Hussein
Computer Networks and ISDN systems 23 (5), 325-342, 1992
The importance of the service concept in the design of data communications protocols.
CA Vissers, L Logrippo
PSTV, 3-17, 1985
Feature Interactions in Telecommunications Networks IV
P Dini, R Boutaba, L Logrippo
IOS Press, 1997
Use case maps for the capture and validation of distributed systems requirements
D Amyot, L Logrippo, RJA Buhr, T Gray
Proceedings IEEE international symposium on requirements engineering (Cat …, 1999
The ISO reference model for open distributed processing: an introduction
K Farooqui, L Logrippo, J de Meer
Computer Networks and ISDN Systems 27 (8), 1215-1229, 1995
Dynamic risk-based decision methods for access control systems
RA Shaikh, K Adi, L Logrippo
computers & security 31 (4), 447-464, 2012
Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS.
D Amyot, L Charfi, N Gorse, T Gray, L Logrippo, J Sincennes, B Stepien, ...
FIW, 274-289, 2000
Formal specification of telephone systems in LOTOS: the constraint-oriented style approach
M Faci, L Logrippo, B Stepien
Computer Networks and ISDN Systems 21 (1), 53-67, 1991
Feature interactions in telecommunications and software systems VII
D Amyot
Proc. FIW'03, June, 2003
An interpreter for LOTOS, a specification language for distributed systems
L Logrippo, A Obaid, JP Briand, MC Fehri
Software: Practice and Experience 18 (4), 365-385, 1988
Specifying telephone systems in LOTOS
R Boumezbeur, L Logrippo
IEEE Communications Magazine 31 (8), 38-45, 1993
Specifying features and analysing their interactions in a LOTOS environment.
M Faci, L Logrippo
FIW, 136-151, 1994
Supervisory control of communicating processes
K Rudie, WM Wonham
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990
Symboleo: Towards a specification language for legal contracts
S Sharifi, A Parvizimosaed, D Amyot, L Logrippo, J Mylopoulos
2020 IEEE 28th international requirements engineering conference (RE), 364-369, 2020
A framework for risk assessment in access control systems
H Khambhammettu, S Boulares, K Adi, L Logrippo
Computers & Security 39, 86-103, 2013
Access control policies: Modeling and validation
M Mankai, L Logrippo
5th NOTERE Conference (Nouvelles Technologies de la Répartition), 85-91, 2005
A data classification method for inconsistency and incompleteness detection in access control policy sets
RA Shaikh, K Adi, L Logrippo
International Journal of Information Security 16, 91-113, 2017
Feature Interaction Filtering with Use Case Maps at Requirements Stage.
M Nakamura, T Kikuno, J Hassine, L Logrippo
FIW, 163-178, 2000
Executing large LOTOS specifications
R Guillemot, M Haj-Hussein, L Logrippo
Protocol Specification, Testing, and Verification 8, 399-410, 1988
The system can't perform the operation now. Try again later.
Articles 1–20