Luigi Logrippo

Cited by

	All	Since 2019
Citations	3466	495
h-index	32	12
i10-index	87	17

160

120

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202428 26 24 41 67 60 50 88 90 102 92 115 72 158 118 102 97 120 121 79 131 112 120 79 104 91 93 84 102 92 103 87 75 83 80 103 77 75

Public access

View all

12 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Daniel AmyotProfessor, University of OttawaVerified email at site.uottawa.ca
Kamel AdiProfessor of Computer Science, Université du Québec en OutaouaisVerified email at uqo.ca
John MylopoulosUniversity of OttawaVerified email at cs.toronto.edu
Riaz Ahmed ShaikhAssociate Professor, School of Computing Sciences, University of East Anglia, UKVerified email at uea.ac.uk
Rossana Maria de Castro AndradeDepartment of Computer ScienceVerified email at ufc.br
Raouf BoutabaProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca
Masahide NakamuraProfessor, Kobe UniversityVerified email at cs.kobe-u.ac.jp
Jameleddine HassineAssociate Professor of Computer Science, KFUPMVerified email at kfupm.edu.sa
C.A. VissersProfessor of Computer ScienceVerified email at kpnplanet.nl
Tet YeapProfessor of Electrical Engineering and Computer Science, University of OttawaVerified email at uottawa.ca
Yacine BouzidaVerified email at ieee.org
Carlisle AdamsSchool of Electrical Engineering and Computer Science, University of OttawaVerified email at uottawa.ca
Muyiwa OlurinStudent, University of OttawaVerified email at uottawa.ca
Alexander ClemmDistinguished Engineer on sabbaticalVerified email at clemm.org
Stephan Reiff-MarganiecProfessor in Computer Science and Head of School of Computing and Engineering, University of DerbyVerified email at derby.ac.uk
Fernando Miguel CarvalhoAssitant Professor, ADEETC, ISEL, Polytechnic Institute of LisbonVerified email at cc.isel.ipl.pt
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Pamela ZaveAT&T Labs--ResearchVerified email at research.att.com

Luigi Logrippo

Professor, Département d'informatique et ingénierie, Université du Québec en Outaouais

Verified email at uqo.ca

Formal Methods Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Understanding GPRS: the GSM packet radio service B Ghribi, L Logrippo Computer Networks 34 (5), 763-779, 2000	186	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	82	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
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	63	2020
Supervisory control of communicating processes K Rudie, WM Wonham Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990	62	1990
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors