עקוב אחר
Luigi Logrippo
Luigi Logrippo
Professor, Département d'informatique et ingénierie, Université du Québec en Outaouais
כתובת אימייל מאומתת בדומיין uqo.ca
כותרת
צוטט על ידי
צוטט על ידי
שנה
Understanding GPRS: the GSM packet radio service‏
B Ghribi, L Logrippo‏
Computer Networks 34 (5), 763-779, 2000‏
1852000
An introduction to LOTOS: learning by examples‏
L Logrippo, M Faci, M Haj-Hussein‏
Computer Networks and ISDN systems 23 (5), 325-342, 1992‏
1721992
The importance of the service concept in the design of data communications protocols.‏
CA Vissers, L Logrippo‏
PSTV, 3-17, 1985‏
1041985
Feature Interactions in Telecommunications Networks IV‏
P Dini, R Boutaba, L Logrippo‏
IOS Press, 1997‏
1021997
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‏
951999
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‏
891995
Dynamic risk-based decision methods for access control systems‏
RA Shaikh, K Adi, L Logrippo‏
computers & security 31 (4), 447-464, 2012‏
812012
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‏
812000
Feature interactions in telecommunications and software systems VII‏
D Amyot‏
Proc. FIW'03, June, 2003‏
752003
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‏
741991
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‏
731988
Specifying telephone systems in LOTOS‏
R Boumezbeur, L Logrippo‏
IEEE Communications Magazine 31 (8), 38-45, 1993‏
691993
Specifying features and analysing their interactions in a LOTOS environment.‏
M Faci, L Logrippo‏
FIW, 136-151, 1994‏
671994
Supervisory control of communicating processes‏
K Rudie, WM Wonham‏
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990‏
631990
Access control policies: Modeling and validation‏
M Mankai, L Logrippo‏
5th NOTERE Conference (Nouvelles Technologies de la Répartition), 85-91, 2005‏
582005
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‏
572017
A framework for risk assessment in access control systems‏
H Khambhammettu, S Boulares, K Adi, L Logrippo‏
computers & security 39, 86-103, 2013‏
562013
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‏
542020
Feature Interaction Filtering with Use Case Maps at Requirements Stage.‏
M Nakamura, T Kikuno, J Hassine, L Logrippo‏
FIW, 163-178, 2000‏
542000
Executing large LOTOS specifications‏
R Guillemot, M Haj-Hussein, L Logrippo‏
Protocol Specification, Testing, and Verification 8, 399-410, 1988‏
451988
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20