Luigi Logrippo

Daniel Amyot, Luigi Logrippo, Rossana M. C. Andrade, 1999, 1999 IEEE Emerging Technologies Symposium. Wireless Communications and Systems (IEEE Cat. No.99EX297).

The importance of the service concept in the design of data communications protocols

Luigi Logrippo, Chris A. Vissers, C. A. Vissers, 1985, PSTV.

Proceedings of the 2005 International Conference on Pervasive Systems and Computing, PSC'05: Message from PSC-05 chairs

Jianhua Ma, Hesham H. Ali, Hamid Sharif, 2005 .

Designing flexible access control models for the cloud

Kamel Adi, Luigi Logrippo, Salim Khamadja, 2013, SIN.

Specifying features and analysing their interactions in a LOTOS environment

Luigi Logrippo, Mohammed Faci, 1994, FIW.

Requirements and compliance in legal systems: a logic approach

Luigi Logrippo, Waël Hassan, 2008, 2008 Requirements Engineering and Law.

Graphic visualization and animation of LOTOS execution traces

Luigi Logrippo, Bernard Stepien, 2002, Comput. Networks.

A Hoare-style Proof System for LOTOS

Luigi Logrippo, Abdellatif Obaid, S. Gallouzi, 1990, FORTE.

Governance Policies for Privacy Access Control and their Interactions

Luigi Logrippo, Waël Hassan, 2005, FIW.

A Metamodel for Hybrid Access Control Policies

Luigi Logrippo, Karim El Guemhioui, Jamal Abd-Ali, 2015, J. Softw..

Structural Models for Specifying Telephone Systems

Luigi Logrippo, Bernard Stepien, Mohammed Faci, 1997, Comput. Networks ISDN Syst..

STATISTICAL SOFTWARE TOOLS FOR COMPUTER-ASSISTED ANALYSIS OF MUSIC.

Luigi Logrippo, Bernard Stepien, 1981 .

The University of Ottawa LOTOS Toolkit

Luigi Logrippo, L. Logrippo, 1990, FORTE.

An experience modelling telecommunications systems using ODP-DLcomp

Luigi Logrippo, Bernard Stepien, K. Farooqui, 1997 .

Formal detection of feature interactions with logic programming and LOTOS

Luigi Logrippo, Jacques Sincennes, Nicolas Gorse, 2006, Software & Systems Modeling.

Inconsistency detection method for access control policies

Kamel Adi, Luigi Logrippo, Serge Mankovskii, 2010, 2010 Sixth International Conference on Information Assurance and Security.

Input-directed program design

Luigi Logrippo, 1981, ACM '81.

Prototyping and formal requirement validation of GPRS: a mobile data packet radio service for GSM

Luigi Logrippo, L. Andriantsiferana, Brahim Ghribi, 1999, Dependable Computing for Critical Applications 7.

Foundations and Practice of Security

Joaquin Garcia-Alfaro, Luigi Logrippo, Jean-Yves Marion, 2017, Lecture Notes in Computer Science.

An expressive trace theory for LOTOS

Luigi Logrippo, Abdellatif Obaid, S. Gallouzi, 1991, PSTV.

Multi-level Access Control, Directed Graphs and Partial Orders in Flow Control for Data Secrecy and Privacy

Luigi Logrippo, L. Logrippo, 2017, FPS.

Future wireless networks

Luigi Logrippo, John Visser, L. Logrippo, 2000, Comput. Networks.

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

Robert L. Probert, Hasan Ural, Luigi Logrippo, 1990, PSTV.

Goal-Oriented Feature Interaction Detection in the Intelligent Network Model

Luigi Logrippo, Jalel Kamoun, 1998, FIW.

Access Control Policies: Modeling and Validation

Luigi Logrippo, Mahdi Mankai, 2005 .

Guided search technique for lotos

Luigi Logrippo, Mazen Haj-Hussein, L. Logrippo, 1996 .

An Agent-Based Architecture for Context-Aware Communication

Luigi Logrippo, Romelia Plesa, L. Logrippo, 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS

Daniel Amyot, Luigi Logrippo, Bernard Stepien, 2000, FIW.

Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montréal, Canada

Raouf Boutaba, Luigi Logrippo, Petre Dini, 1997, FIW.

Structural Coverage for Lotos

Daniel Amyot, Luigi Logrippo, Daniel Amyot, 2000 .

Policy-enabled Mechanisms for Feature Interactions: Reality

Luigi Logrippo, Stephan Reiff-Marganiec, Fuchun Joseph Lin, 2004 .

Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995)

Harry Rudin, Gerard J. Holzmann, Pamela Zave, 1996, Comput. Networks ISDN Syst..

Risk Analysis in Access Control Systems Based on Trust Theories

Ji Ma, Kamel Adi, Luigi Logrippo, 2010, 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system

Daniel Amyot, Luigi Logrippo, Daniel Amyot, 2000, Comput. Commun..

Status-Oriented Telephone Service Specification: An Exercise in LOTOS Style

Luigi Logrippo, Bernard Stepien, L. Logrippo, 1993 .

Risk-based decision method for access control systems

Kamel Adi, Luigi Logrippo, Serge Mankovskii, 2011, 2011 Ninth Annual International Conference on Privacy, Security and Trust.

A Framework for Threat Assessment in Access Control Systems

Kamel Adi, Luigi Logrippo, Hemanth Khambhammettu, 2012, SEC.

Reusability at the Early Development Stages of Mobile Wireless Communication Systems

Luigi Logrippo, Rossana M. C. Andrade, L. Logrippo, 2000 .

Capture, reuse, and validation of requirements and analysis patterns for mobile systems

Luigi Logrippo, Rossana M. C. Andrade, L. Logrippo, 2001 .

CatBAC: A generic framework for designing and validating hybrid access control models

Kamel Adi, Luigi Logrippo, Bernard Stepien, 2012, 2012 IEEE International Conference on Communications (ICC).

The algebraic specification language LOTOS: an industrial experience

Tim Melanchuk, Luigi Logrippo, Robert J. Du Wors, 1990, Formal Methods in Software Development.

UACML: Unified Access Control Modeling Language

Kamel Adi, Luigi Logrippo, Hemanth Khambhammettu, 2011, 2011 4th IFIP International Conference on New Technologies, Mobility and Security.

Renamings in Program Schemas (Extended Abstract)

Luigi Logrippo, L. Logrippo, 1972, Scandinavian Workshop on Algorithm Theory.

Feature Interaction Filtering with Use Case Maps at Requirements Stage

Jameleddine Hassine, Tohru Kikuno, Masahide Nakamura, 2000, FIW.

Immaturity and Potential of Formal Methods: A Personal View

Luigi Logrippo, 2000, FIW.

Distributed resolution of feature interactions for internet applications

Luigi Logrippo, Miguel Carvalho, Rui Gustavo Crespo, 2007, Comput. Networks.

Proceedings of the 2005 International Conference on Pervasive Systems and Computing, PSC'05

Jianhua Ma, Hesham H. Ali, Hamid Sharif, 2005 .

Interactions among secrecy models - (Work-in-progress paper)

Luigi Logrippo, Waël Hassan, 2009, ICFI.

Governance Requirements Extraction Model for Legal Compliance Validation

Luigi Logrippo, Waël Hassan, 2009, 2009 Second International Workshop on Requirements Engineering and Law.

Logical Method for Reasoning About Access Control and Data Flow Control Models

Luigi Logrippo, L. Logrippo, 2014, FPS.

Detecting feature interaction in CPL

Luigi Logrippo, Jacques Sincennes, Nicolas Gorse, 2006, Software & Systems Modeling.

Structural Coverage For LOTOS - a Probe Insertion Technique

Daniel Amyot, Luigi Logrippo, Daniel Amyot, 2000, TestCom.

Secrecy UML Method for Model Transformations

Kamel Adi, Luigi Logrippo, Waël Hassan, 2010, ASM.

Insider Threat Likelihood Assessment for Flexible Access Control

Kamel Adi, Luigi Logrippo, Sofiene Boulares, 2017, MCETECH.

Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo

Daniel Amyot, John Mylopoulos, Luigi Logrippo, 2020, ER.

Risk management in dynamic role based access control systems

Ji Ma, Kamel Adi, Luigi Logrippo, 2010, 2010 Fifth International Conference on Digital Information Management (ICDIM).

Granularity based flow control

Luigi Logrippo, Omar Abahmane, 2014, 2014 Twelfth Annual International Conference on Privacy, Security and Trust.

Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 19-21, 1991

Luigi Logrippo, L. Logrippo, 1991, PODC.

Information Flow-Based Security Levels Assessment for Access Control Systems

Kamel Adi, Luigi Logrippo, Sofiene Boulares, 2015, MCETECH.

Feature Interactions in Telecommunications Networks IV

Luigi Logrippo, R. Boutaba, P. Drini, 1997 .

An Atomic Calculus of Communicating Systems

Luigi Logrippo, Abdellatif Obaid, L. Logrippo, 1987, PSTV.

The ISO Reference Model for Open Distributed Processing: An Introduction

Luigi Logrippo, Jan de Meer, Kazi Farooqui, 1995, Comput. Networks ISDN Syst..

A Validation Environment for LOTOS

Luigi Logrippo, Brahim Ghribi, L. Logrippo, 1993, PSTV.

Risk analysis in access control systems

Ji Ma, Mohamed Mejri, Kamel Adi, 2010, 2010 Eighth International Conference on Privacy, Security and Trust.

Metamodelling with formal semantics with application to access control specification

Luigi Logrippo, Karim El Guemhioui, Jamal Abd-Ali, 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Directions in feature interaction research

Daniel Amyot, Luigi Logrippo, Daniel Amyot, 2004, Comput. Networks.

Foreword - New technologies in distributed systems

Daniel Amyot, Kamel Adi, Luigi Logrippo, 2006, Ann. des Télécommunications.

Social Dependence Relationships in Requirements Engineering

Daniel Amyot, John Mylopoulos, Luigi Logrippo, 2020, iStar.

Group communication models

Luigi Logrippo, Kazi Farooqui, 1996, Comput. Commun..

"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers

Luigi Logrippo, L. Logrippo, 1983, Protocol Specification, Testing and Verification.

An interpreter for LOTOS, a specification language for distributed systems

Luigi Logrippo, Abdellatif Obaid, J. P. Briand, 1988, Softw. Pract. Exp..

Feature interaction detection: a LOTOS-based approach

Luigi Logrippo, Q. Fu, Jacques Sincennes, 2000, Comput. Networks.

Feature interactions in telecommunication networks IV

Raouf Boutaba, Luigi Logrippo, Petre Dini, 1997 .

Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata

Luigi Logrippo, 1979, JACM.

Interactive conflict detection and resolution for personalized features

Daniel Amyot, Luigi Logrippo, Ramiro Liscano, 2005, Journal of Communications and Networks.

Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada

Daniel Amyot, Luigi Logrippo, Daniel Amyot, 2003, FIW.

Detecting incompleteness in access control policies using data classification schemes

Kamel Adi, Luigi Logrippo, Serge Mankovskii, 2010, 2010 Fifth International Conference on Digital Information Management (ICDIM).

Platform for privacy preferences (P3P): Current status and future directions

Luigi Logrippo, Carlisle M. Adams, Muyiwa Olurin, 2012, 2012 Tenth Annual International Conference on Privacy, Security and Trust.

Renamings and Economy of Memory in Program Schemata

Luigi Logrippo, L. Logrippo, 1978, JACM.

Detecting feature interactions in CPL

Luigi Logrippo, Yiqun Xu, Jacques Sincennes, 2007, J. Netw. Comput. Appl..

An access control framework for hybrid policies

Kamel Adi, Luigi Logrippo, Salim Khamadja, 2013, SIN.

An Algebraic Framework for the Feature Interaction Problem

Luigi Logrippo, Mohammed Faci, L. Logrippo, 2007 .

Feature Interactions in Telecommunications Software

Luigi Logrippo, Petre Dini, P. Dini, 1998, Comput. Networks.

Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X

Robert L. Probert, Hasan Ural, Luigi Logrippo, 1990 .

Symboleo: Towards a Specification Language for Legal Contracts

Daniel Amyot, John Mylopoulos, Luigi Logrippo, 2020, 2020 IEEE 28th International Requirements Engineering Conference (RE).

Derivation of Useful Execution Trees from LOTOS by using an Interpreter

Luigi Logrippo, Renaud Guillemot, L. Logrippo, 1988, Formal Techniques for (Networked and) Distributed Systems.

Feature interaction detection using backward reasoning with LOTOS

Luigi Logrippo, Bernard Stepien, 1994, PSTV.

Three tutorial papers on protocol specification, validation, and design

Robert L. Probert, Hasan Ural, Luigi Logrippo, 1992 .

Validation of LOTOS specifications using an interpreter: an application to telephone systems

Luigi Logrippo, Rezki Boumezbeur, L. Logrippo, 1992, [1992] Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering.

Protocol/Specification-Level Validation

Robert L. Probert, Luigi Logrippo, L. Logrippo, 1982, PSTV.

Representing and Verifying Intentions in Telephony Features Using Abstract Data Types

Luigi Logrippo, Bernard Stepien, 1995, FIW.

Structure of a LOTOS interpreter

Luigi Logrippo, Abdellatif Obaid, J. P. Briand, 1986, SIGCOMM '86.

Specification and validation of telecommunications systems with use case maps and lotos

Daniel Amyot, Luigi Logrippo, 2001 .

Feature Execution Trees and Interactions

Luigi Logrippo, Rui Gustavo Crespo, Tom Gray, 2002, International Conference on Parallel and Distributed Processing Techniques and Applications.

METAMODELLING WITH FORMAL SEMANTICS SPECIFICATIONS FOR AN ACCESS CONTROL METAMODEL WITH DECISION CAPABILITIES

Luigi Logrippo, Karim El Guemhioui, Jamal Abd-Ali, 2015, MODELSWARD 2015.

Executable Description of the OSI Transport Service in Prolog

Hasan Ural, Luigi Logrippo, Didier Simon, 1985, Protocol Specification, Testing and Verification.

Understanding GPRS: the GSM packet radio service

Luigi Logrippo, Brahim Ghribi, L. Logrippo, 2000, Comput. Networks.

Generation of test purposes from Use Case Maps

Daniel Amyot, Michael Weiss, Luigi Logrippo, 2005, Comput. Networks.

File Structures, Program Structures, and Attributed Grammars

Luigi Logrippo, Douglas R. Skuce, L. Logrippo, 1983, IEEE Transactions on Software Engineering.

Specifying Hardware Systems in LOTOS

Luigi Logrippo, Mohammed Faci, L. Logrippo, 1993, CHDL.

Insider Threat Likelihood Assessment for Access Control Systems: Quantitative Approach

Kamel Adi, Luigi Logrippo, Sofiene Boulares, 2016, FPS.

Telephone systems can be specified in the LOTOS language; LOTOS tools can help detect unwanted feature interactions in the system.

Luigi Logrippo, Rezki Boumezbeur, L. Logrippo, 1993 .

An Introduction to LOTOS: Learning by Examples

Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein, 1992, Comput. Networks ISDN Syst..

Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach

Luigi Logrippo, Bernard Stepien, Mohammed Faci, 1991, Comput. Networks ISDN Syst..

Dynamic risk-based decision methods for access control systems

Kamel Adi, Luigi Logrippo, Riaz Ahmed Shaikh, 2012, Comput. Secur..

Conflict Detection in Call Control Using First-Order Logic Model Checking

Luigi Logrippo, Kenneth J. Turner, Ahmed F. Layouni, 2008, ICFI.

Personalization of internet telephony services for presence with SIP and extended CPL

Dongmei Jiang, Luigi Logrippo, Ramiro Liscano, 2006, Comput. Commun..

Typing for Conflict Detection in Access Control Policies

Kamel Adi, Luigi Logrippo, Serge Mankovskii, 2009, MCETECH.

Policy-enabled mechanisms for feature interactions: reality, expectations, challenges

Tom Gray, Luigi Logrippo, Stephan Reiff-Marganiec, 2004, Comput. Networks.

Goal oriented execution for LOTOS

Luigi Logrippo, Jacques Sincennes, Mazen Haj-Hussein, 1992, FORTE.

Multi-level models for data security in networks and in the Internet of things

Luigi Logrippo, L. Logrippo, 2021, J. Inf. Secur. Appl..

Social Requirements Models for Services

John Mylopoulos, Daniel Amyot, Luigi Logrippo, 2021, Next-Gen Digital Services.

Reuse and Validation of Requirements for Mobile Systems

Luigi Logrippo, L. Logrippo, R. Andrade, 2022 .

Validating access control policies with Alloy

Luigi Logrippo, Waël Hassan, Mahdi Mankai, 2004 .

Viewpoint Transformation

Luigi Logrippo, Kazi Farooqui, 1993 .

Formal Spacification and Use Case Generation for a Mobile Telephony System

Luigi Logrippo, L. Logrippo, Randall Tuok, 1998, Comput. Networks.

A Pattern Language for Radio Resource Management

Luigi Logrippo, L. Logrippo, R. Andrade, 2022 .

Detecting inconsistencies of mixed secrecy models and business policies

Luigi Logrippo, Waël Hassan, 2009 .

Specification and Validation of Telephone Systems in LOTOS 1 , 2

Luigi Logrippo, Rezki Boumezbeur, L. Logrippo, 1991 .