Understanding GPRS: the GSM packet radio service B Ghribi, L Logrippo Computer Networks 34 (5), 763-779, 2000 | 184 | 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 | 175 | 1992 |
The importance of the service concept in the design of data communications protocols. CA Vissers, L Logrippo PSTV, 3-17, 1985 | 105 | 1985 |
Feature Interactions in Telecommunications Networks IV P Dini, R Boutaba, L Logrippo IOS Press, 1997 | 101 | 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 | 94 | 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 | 84 | 1995 |
Dynamic risk-based decision methods for access control systems RA Shaikh, K Adi, L Logrippo computers & security 31 (4), 447-464, 2012 | 81 | 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 | 80 | 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 | 76 | 1991 |
Feature interactions in telecommunications and software systems VII D Amyot Proc. FIW'03, June, 2003 | 75 | 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 | 73 | 1988 |
Specifying telephone systems in LOTOS R Boumezbeur, L Logrippo IEEE Communications Magazine 31 (8), 38-45, 1993 | 71 | 1993 |
Specifying features and analysing their interactions in a LOTOS environment. M Faci, L Logrippo FIW, 136-151, 1994 | 69 | 1994 |
Supervisory control of communicating processes K Rudie, WM Wonham Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990 | 62 | 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 | 58 | 2020 |
A framework for risk assessment in access control systems H Khambhammettu, S Boulares, K Adi, L Logrippo Computers & Security 39, 86-103, 2013 | 57 | 2013 |
Access control policies: Modeling and validation M Mankai, L Logrippo 5th NOTERE Conference (Nouvelles Technologies de la Répartition), 85-91, 2005 | 57 | 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 | 56 | 2017 |
Feature Interaction Filtering with Use Case Maps at Requirements Stage. M Nakamura, T Kikuno, J Hassine, L Logrippo FIW, 163-178, 2000 | 54 | 2000 |
Executing large LOTOS specifications R Guillemot, M Haj-Hussein, L Logrippo Protocol Specification, Testing, and Verification 8, 399-410, 1988 | 45 | 1988 |