Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Luigi Logrippo
2010 – today
- 2012
[j29]Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo: Dynamic risk-based decision methods for access control systems. Computers & Security 31(4): 447-464 (2012)- [c47]Bernard Stepien, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo: CatBAC: A generic framework for designing and validating hybrid access control models. ICC 2012: 6721-6726
- [c46]Muyiwa Olurin, Carlisle Adams, Luigi Logrippo: Platform for privacy preferences (P3P): Current status and future directions. PST 2012: 217-220
- [c45]Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo: A Framework for Threat Assessment in Access Control Systems. SEC 2012: 187-198
- 2011
- [j28]Yacine Bouzida, Luigi Logrippo, Serge Mankovski: Concrete- and abstract-based access control. Int. J. Inf. Sec. 10(4): 223-238 (2011)
- [c44]Nadera Slimani, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo: UACML: Unified Access Control Modeling Language. NTMS 2011: 1-8
- [c43]Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski: Risk-based decision method for access control systems. PST 2011: 189-192
- 2010
- [c42]Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski: Inconsistency detection method for access control policies. IAS 2010: 204-209
- [c41]Waël Hassan, Nadera Slimani, Kamel Adi, Luigi Logrippo: Secrecy UML Method for Model Transformations. ASM 2010: 400
- [c40]Ji Ma, Luigi Logrippo, Kamel Adi, Serge Mankovski: Risk Analysis in Access Control Systems Based on Trust Theories. Web Intelligence/IAT Workshops 2010: 415-418
- [c39]Ji Ma, Kamel Adi, Luigi Logrippo, Serge Mankovski: Risk management in dynamic role based access control systems. ICDIM 2010: 1-8
- [c38]Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski: Detecting incompleteness in access control policies using data classification schemes. ICDIM 2010: 417-422
- [c37]Ji Ma, Kamel Adi, Mohamed Mejri, Luigi Logrippo: Risk analysis in access control systems. PST 2010: 160-166
2000 – 2009
- 2009
- [c36]Waël Hassan, Luigi Logrippo: Interactions among secrecy models - (Work-in-progress paper). ICFI 2009: 160-165
- [c35]Kamel Adi, Yacine Bouzida, Ikhlass Hattak, Luigi Logrippo, Serge Mankovski: Typing for Conflict Detection in Access Control Policies. MCETECH 2009: 212-226
- [c34]Waël Hassan, Luigi Logrippo: Governance Requirements Extraction Model for Legal Compliance Validation. RELAW 2009: 7-12
- 2008
- [c33]Waël Hassan, Luigi Logrippo: Requirements and compliance in legal systems: a logic approach. RELAW 2008: 40-44
- 2007
- [j27]Rui Gustavo Crespo, Miguel Carvalho, Luigi Logrippo: Distributed resolution of feature interactions for internet applications. Computer Networks 51(2): 382-397 (2007)
- [j26]Yiqun Xu, Luigi Logrippo, Jacques Sincennes: Detecting feature interactions in CPL. J. Network and Computer Applications 30(2): 775-799 (2007)
- [c32]Romelia Plesa, Luigi Logrippo: An Agent-Based Architecture for Context-Aware Communication. AINA Workshops (2) 2007: 133-138
- [c31]Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turner: Conflict Detection in Call Control Using First-Order Logic Model Checking. ICFI 2007: 66-82
- [c30]Luigi Logrippo: Normative Systems: the meeting point between Jurisprudence and Information Technology? - A position paper. SoMeT 2007: 343-354
- 2006
- [j25]Kamel Adi, Daniel Amyot, Luigi Logrippo: Foreword - New technologies in distributed systems. Annales des Télécommunications 61(11-12): 1226-1228 (2006)
- [j24]Dongmei Jiang, Ramiro Liscano, Luigi Logrippo: Personalization of internet telephony services for presence with SIP and extended CPL. Computer Communications 29(18): 3766-3779 (2006)
- [j23]Nicolas Gorse, Luigi Logrippo, Jacques Sincennes: Detecting feature interaction in CPL. Software and System Modeling 5(2): 121-134 (2006)
- [j22]Nicolas Gorse, Luigi Logrippo, Jacques Sincennes: Formal detection of feature interactions with logic programming and LOTOS. Software and System Modeling 5(2): 135 (2006)
- 2005
- [j21]Daniel Amyot, Luigi Logrippo, Michael Weiss: Generation of test purposes from Use Case Maps. Computer Networks 49(5): 643-660 (2005)
- [c29]Waël Hassan, Luigi Logrippo: Governance Policies for Privacy Access Control and their Interactions. FIW 2005: 114-130
- 2004
- [j20]Daniel Amyot, Luigi Logrippo: Directions in feature interaction research. Computer Networks 45(5): 563-567 (2004)
- [j19]Petre Dini, Alexander Clemm, Tom Gray, Fuchun Joseph Lin, Luigi Logrippo, Stephan Reiff-Marganiec: Policy-enabled mechanisms for feature interactions: reality, expectations, challenges. Computer Networks 45(5): 585-603 (2004)
- 2003
- [e4]Daniel Amyot, Luigi Logrippo (Eds.): Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada. IOS Press 2003, ISBN 1-58603-348-4
- 2002
- [j18]Bernard Stepien, Luigi Logrippo: Graphic visualization and animation of LOTOS execution traces. Computer Networks 40(5): 665-681 (2002)
- [c28]Rui Gustavo Crespo, Luigi Logrippo, Tom Gray: Feature Execution Trees and Interactions. PDPTA 2002: 1230-1236
- 2000
- [j17]Xiao Jun Chen, Luigi Logrippo: Deriving use cases for distributed systems from knowledge requirements. Annales des Télécommunications 55(1-2): 45-57 (2000)
- [j16]Q. Fu, P. Harnois, Luigi Logrippo, Jacques Sincennes: Feature interaction detection: a LOTOS-based approach. Computer Networks 32(4): 433-448 (2000)
- [j15]
- [j14]Brahim Ghribi, Luigi Logrippo: Understanding GPRS: the GSM packet radio service. Computer Networks 34(5): 763-779 (2000)
- [j13]Daniel Amyot, Luigi Logrippo: Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system. Computer Communications 23(12): 1135-1157 (2000)
- [c27]
- [c26]Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine, Luigi Logrippo: Feature Interaction Filtering with Use Case Maps at Requirements Stage. FIW 2000: 163-178
- [c25]Daniel Amyot, Leïla Charfi, Nicolas Gorse, Tom Gray, Luigi Logrippo, Jacques Sincennes, Bernard Stepien, Tom Ware: Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. FIW 2000: 274-289
- [c24]Daniel Amyot, Luigi Logrippo: Structural Coverage For LOTOS - a Probe Insertion Technique. TestCom 2000: 19-34
1990 – 1999
- 1999
- [c23]Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray: Use Case Maps for the Capture and Validation of Distributed Systems Requirements. RE 1999: 44-
- 1998
- [j12]Randall Tuok, Luigi Logrippo: Formal Spacification and Use Case Generation for a Mobile Telephony System. Computer Networks 30(11): 1045-1063 (1998)
- [j11]Petre Dini, Luigi Logrippo: Feature Interactions in Telecommunications Software. Computer Networks 30(14): 1359-1362 (1998)
- [c22]Jalel Kamoun, Luigi Logrippo: Goal-Oriented Feature Interaction Detection in the Intelligent Network Model. FIW 1998: 172-186
- 1997
- [j10]Mohammed Faci, Luigi Logrippo, Bernard Stepien: Structural Models for Specifying Telephone Systems. Computer Networks and ISDN Systems 29(4): 501-528 (1997)
- [e3]Petre Dini, Raouf Boutaba, Luigi Logrippo (Eds.): Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montréal, Canada. IOS Press 1997, ISBN 90-5199-347-1
- 1996
- [j9]Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave: Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). Computer Networks and ISDN Systems 28(13): 1845-1855 (1996)
- [j8]Kazi Farooqui, Luigi Logrippo: Group communication models. Computer Communications 19(14): 1276-1288 (1996)
- 1995
- [j7]Kazi Farooqui, Luigi Logrippo, Jan de Meer: The ISO Reference Model for Open Distributed Processing: An Introduction. Computer Networks and ISDN Systems 27(8): 1215-1229 (1995)
- [c21]Bernard Stepien, Luigi Logrippo: Representing and Verifying Intentions in Telephony Features Using Abstract Data Types. FIW 1995: 141-155
- [c20]Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo: Formal Support for Design Techniques: A Timethreads-LOTOS Approach. FORTE 1995: 57-72
- 1994
- [c19]Mohammed Faci, Luigi Logrippo: Specifying features and analysing their interactions in a LOTOS environment. FIW 1994: 136-151
- [c18]Bernard Stepien, Luigi Logrippo: Feature interaction detection using backward reasoning with LOTOS. PSTV 1994: 71-86
- 1993
- [c17]
- [c16]
- 1992
- [c15]Mazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes: Goal oriented execution for LOTOS. FORTE 1992: 311-327
- 1991
- [j6]Mohammed Faci, Luigi Logrippo, Bernard Stepien: Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach. Computer Networks and ISDN Systems 21: 53-67 (1991)
- [j5]Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein: An Introduction to LOTOS: Learning by Examples. Computer Networks and ISDN Systems 23(5): 325-342 (1991)
- [c14]S. Gallouzi, Luigi Logrippo, Abdellatif Obaid: An expressive trace theory for LOTOS. PSTV 1991: 159-175
- [e2]Luigi Logrippo (Ed.): Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 19-21, 1991. ACM 1991, ISBN 0-89791-439-2
- 1990
- [c13]S. Gallouzi, Luigi Logrippo, Abdellatif Obaid: A Hoare-style Proof System for LOTOS. FORTE 1990: 49-62
- [c12]
- [e1]Luigi Logrippo, Robert L. Probert, Hasan Ural (Eds.): Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. North-Holland 1990, ISBN 0-444-88810-1
1980 – 1989
- 1989
- [c11]Djaffar Gueraichi, Luigi Logrippo: Derivation of Test Cases for LAP-B from a LOTOS Specification. FORTE 1989: 361-374
- [c10]Mohammed Faci, Luigi Logrippo, Bernard Stepien: Formal Specifications of Telephone Systems in LOTOS. PSTV 1989: 25-34
- 1988
- [j4]Luigi Logrippo, Abdellatif Obaid, J. P. Briand, M. C. Fehri: An Interpreter for LOTOS, a Specification Language for Distributed Systems. Softw., Pract. Exper. 18(4): 365-385 (1988)
- [c9]Renaud Guillemot, Luigi Logrippo: Derivation of Useful Execution Trees from LOTOS by using an Interpreter. FORTE 1988: 311-325
- 1987
- [c8]
- 1986
- [c7]J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid: Structure of a LOTOS interpreter. SIGCOMM 1986: 167-175
- 1985
- [c6]Chris A. Vissers, Luigi Logrippo: The importance of the service concept in the design of data communications protocols. PSTV 1985: 3-17
- 1984
- [c5]Luigi Logrippo, Didier Simon, Hasan Ural: Executable Description of the OSI Transport Service in Prolog. PSTV 1984: 279-293
- 1983
- [j3]Luigi Logrippo, Douglas R. Skuce: File Structures, Program Structures, and Attributed Grammars. IEEE Trans. Software Eng. 9(3): 260-266 (1983)
- [c4]Luigi Logrippo: "Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. Protocol Specification, Testing, and Verification 1983: 111-124
- 1982
- [c3]
1970 – 1979
- 1979
- [j2]Luigi Logrippo: Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata. J. ACM 26(4): 819-833 (1979)
- 1978
- [j1]
- 1972
- [c2]
1960 – 1969
- 1969
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-17 17:52 CET by the dblp team