Luigi Logrippo
Luigi Logrippo
Professor, Département d'informatique et ingénierie, Université du Québec en Outaouais
Verified email at uqo.ca
TitleCited byYear
Understanding GPRS: the GSM packet radio service
B Ghribi, L Logrippo
Computer Networks 34 (5), 763-779, 2000
1652000
An introduction to LOTOS: learning by examples
L Logrippo, M Faci, M Haj-Hussein
Computer Networks and ISDN systems 23 (5), 325-342, 1992
1561992
The importance of the service concept in the design of data communications protocols.
CA Vissers, L Logrippo
PSTV, 3-17, 1985
1101985
Feature Interactions in Telecommunications Networks IV
P Dini, R Boutaba, L Logrippo
IOS Press, 1997
1031997
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
831995
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
761991
Feature interactions in telecommunications and software systems VII
D Amyot, L Logrippo
IOS Press, 2003
702003
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
702000
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
701988
Specifying Features and Analysing Their
M Faci, L Logrippo
Feature Interactions in Telecommunications Systems, 136, 1994
651994
Specifying telephone systems in LOTOS
R Boumezbeur, L Logrippo
IEEE Communications Magazine 31 (8), 38-45, 1993
631993
Supervisory control of communicating processes
K Rudie, WM Wonham
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990
591990
Dynamic risk-based decision methods for access control systems
RA Shaikh, K Adi, L Logrippo
computers & security 31 (4), 447-464, 2012
532012
Feature Interaction Filtering with Use Case Maps at Requirements Stage.
M Nakamura, T Kikuno, J Hassine, L Logrippo
FIW, 163-178, 2000
462000
Access control policies: Modeling and validation
M Mankai, L Logrippo
5th NOTERE Conference (Nouvelles Technologies de la Répartition), 85-91, 2005
452005
Executing large LOTOS specifications
R Guillemot, M Haj-Hussein, L Logrippo
Protocol Specification, Testing, and Verification 8, 399-410, 1988
431988
Structural models for specifying telephone systems
M Faci, L Logrippo, B Stepien
Computer Networks and ISDN Systems 29 (4), 501-528, 1997
371997
Use Case Maps and Lotos for the prototyping and validation of a mobile group call system
D Amyot, L Logrippo
Computer Communications 23 (12), 1135-1157, 2000
352000
Executing LOTOS specifications
JP Briand
Protocol specification, testing and verification, 73-84, 1987
351987
The system can't perform the operation now. Try again later.
Articles 1–20