Luigi Logrippo
Luigi Logrippo
Professor, Département d'informatique et ingénierie, Université du Québec en Outaouais
Verified email at uqo.ca
Title
Cited by
Cited by
Year
Understanding GPRS: the GSM packet radio service
B Ghribi, L Logrippo
Computer Networks 34 (5), 763-779, 2000
1772000
An introduction to LOTOS: learning by examples
L Logrippo, M Faci, M Haj-Hussein
Computer Networks and ISDN systems 23 (5), 325-342, 1992
1571992
The importance of the service concept in the design of data communications protocols.
CA Vissers, L Logrippo
PSTV, 3-17, 1985
1061985
Feature Interactions in Telecommunications Networks IV
P Dini, R Boutaba, L Logrippo
IOS Press, 1997
971997
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
921999
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
861995
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
752000
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
721991
Feature interactions in telecommunications and software systems VII
D Amyot, L Logrippo
IOS Press, 2003
702003
Specifying features and analysing their interactions in a LOTOS environment.
M Faci, L Logrippo
FIW, 136-151, 1994
671994
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
661988
Specifying telephone systems in LOTOS
R Boumezbeur, L Logrippo
IEEE Communications Magazine 31 (8), 38-45, 1993
641993
Dynamic risk-based decision methods for access control systems
RA Shaikh, K Adi, L Logrippo
computers & security 31 (4), 447-464, 2012
632012
Supervisory control of communicating processes
K Rudie, WM Wonham
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990
611990
Access control policies: Modeling and validation
M Mankai, L Logrippo
5th NOTERE Conference (Nouvelles Technologies de la Répartition), 85-91, 2005
492005
Feature Interaction Filtering with Use Case Maps at Requirements Stage.
M Nakamura, T Kikuno, J Hassine, L Logrippo
FIW, 163-178, 2000
462000
Executing large LOTOS specifications
R Guillemot, M Haj-Hussein, L Logrippo
Protocol Specification, Testing, and Verification 8, 399-410, 1988
421988
Executing LOTOS specifications
JP Briand
Protocol specification, testing and verification, 73-84, 1987
411987
Validation of consistency and completeness of access control policy sets
RA Shaikh, K Adi, L Logrippo, S Mankovskii
US Patent 8,904,472, 2014
382014
A framework for risk assessment in access control systems
H Khambhammettu, S Boulares, K Adi, L Logrippo
computers & security 39, 86-103, 2013
362013
The system can't perform the operation now. Try again later.
Articles 1–20