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
1792000
An introduction to LOTOS: learning by examples
L Logrippo, M Faci, M Haj-Hussein
Computer Networks and ISDN systems 23 (5), 325-342, 1992
1661992
The importance of the service concept in the design of data communications protocols.
CA Vissers, L Logrippo
PSTV, 3-17, 1985
1051985
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
901999
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
881995
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
742000
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
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
711988
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
691994
Specifying telephone systems in LOTOS
R Boumezbeur, L Logrippo
IEEE Communications Magazine 31 (8), 38-45, 1993
661993
Dynamic risk-based decision methods for access control systems
RA Shaikh, K Adi, L Logrippo
computers & security 31 (4), 447-464, 2012
652012
Supervisory control of communicating processes
K Rudie, WM Wonham
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990
601990
Access control policies: Modeling and validation
M Mankai, L Logrippo
5th NOTERE Conference (Nouvelles Technologies de la Répartition), 85-91, 2005
512005
Feature Interaction Filtering with Use Case
M Nakamura, T Kikuno, J Hassine, L Logrippo
Feature Interactions in Telecommunications and Software Systems VI, 163, 2000
492000
Executing large LOTOS specifications
R Guillemot, M Haj-Hussein, L Logrippo
Protocol Specification, Testing, and Verification 8, 399-410, 1988
421988
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 (1), 91-113, 2017
402017
Executing LOTOS specifications
JP Briand
Protocol specification, testing and verification, 73-84, 1987
391987
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
The system can't perform the operation now. Try again later.
Articles 1–20