Storage Interference in Asynchronous Computations - Luigi Logrippo (SWAT, 1969)

Renamings in Program Schemas (Extended Abstract) - Luigi Logrippo (SWAT, 1972)

Renamings and Economy of Memory in Program Schemata. - Luigi Logrippo (J. ACM, 1978)

Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata. - Luigi Logrippo (J. ACM, 1979)

Input-directed program design. - Luigi Logrippo (ACM Annual Conference, 1981)

Protocol/Specification-Level Validation. - Luigi Logrippo; Robert L. Probert (PSTV, 1982)

"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. - Luigi Logrippo (Protocol Specification, Testing, and Verification, 1983)

File Structures, Program Structures, and Attributed Grammars. - Luigi Logrippo; Douglas R. Skuce (IEEE Trans. Software Eng., 1983)

Executable Description of the OSI Transport Service in Prolog. - Luigi Logrippo; Didier Simon; Hasan Ural (PSTV, 1984)

The importance of the service concept in the design of data communications protocols. - Chris A. Vissers; Luigi Logrippo (PSTV, 1985)

Structure of a LOTOS interpreter. - J. P. Briand; M. C. Fehri; Luigi Logrippo; Abdellatif Obaid (SIGCOMM, 1986)

Cluster analysis for the computer-assisted statistical analysis of melodies. - Luigi Logrippo; Bernard Stepien (Comput. Humanit., 1986)

An Atomic Calculus of Communicating Systems. - Abdellatif Obaid; Luigi Logrippo (PSTV, 1987)

Derivation of Useful Execution Trees from LOTOS by using an Interpreter. - Renaud Guillemot; Luigi Logrippo (FORTE, 1988)

An Interpreter for LOTOS, a Specification Language for Distributed Systems. - Luigi Logrippo; Abdellatif Obaid; J. P. Briand; M. C. Fehri (Softw. Pract. Exp., 1988)

Derivation of Test Cases for LAP-B from a LOTOS Specification. - Djaffar Gueraichi; Luigi Logrippo (FORTE, 1989)

Formal Specifications of Telephone Systems in LOTOS. - Mohammed Faci; Luigi Logrippo; Bernard Stepien (PSTV, 1989)

The algebraic specification language LOTOS: an industrial experience. - Luigi Logrippo; Tim Melanchuk; Robert J. Du Wors (Formal Methods in Software Development, 1990)

A Hoare-style Proof System for LOTOS. - S. Gallouzi; Luigi Logrippo; Abdellatif Obaid (FORTE, 1990)

The University of Ottawa LOTOS Toolkit. - Luigi Logrippo (FORTE, 1990)

An expressive trace theory for LOTOS. - S. Gallouzi; Luigi Logrippo; Abdellatif Obaid (PSTV, 1991)

Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach. - Mohammed Faci; Luigi Logrippo; Bernard Stepien (Comput. Networks ISDN Syst., 1991)

Goal oriented execution for LOTOS. - Mazen Haj-Hussein; Luigi Logrippo; Jacques Sincennes (FORTE, 1992)

An Introduction to LOTOS: Learning by Examples. - Luigi Logrippo; Mohammed Faci; Mazen Haj-Hussein (Comput. Networks ISDN Syst., 1992)

Specifying Hardware Systems in LOTOS. - Mohammed Faci; Luigi Logrippo (CHDL, 1993)

A Validation Environment for LOTOS. - Brahim Ghribi; Luigi Logrippo (PSTV, 1993)

Specifying telephone systems in LOTOS. - Rezki Boumezbeur; Luigi Logrippo (IEEE Commun. Mag., 1993)

Specifying features and analysing their interactions in a LOTOS environment. - Mohammed Faci; Luigi Logrippo (FIW, 1994)

Feature interaction detection using backward reasoning with LOTOS. - Bernard Stepien; Luigi Logrippo (PSTV, 1994)

Representing and Verifying Intentions in Telephony Features Using Abstract Data Types. - Bernard Stepien; Luigi Logrippo (FIW, 1995)

Formal Support for Design Techniques: A Timethreads-LOTOS Approach. - Daniel Amyot; Francis Bordeleau; Raymond J. A. Buhr; Luigi Logrippo (FORTE, 1995)

The ISO Reference Model for Open Distributed Processing: An Introduction. - Kazi Farooqui; Luigi Logrippo; Jan de Meer (Comput. Networks ISDN Syst., 1995)

Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). - Jean-Pierre Courtiat; Piotr Dembinski; Gerard J. Holzmann; Luigi Logrippo; Harry Rudin; Pamela Zave (Comput. Networks ISDN Syst., 1996)

Group communication models. - Kazi Farooqui; Luigi Logrippo (Comput. Commun., 1996)

Structural Models for Specifying Telephone Systems. - Mohammed Faci; Luigi Logrippo; Bernard Stepien (Comput. Networks ISDN Syst., 1997)

Goal-Oriented Feature Interaction Detection in the Intelligent Network Model. - Jalel Kamoun; Luigi Logrippo (FIW, 1998)

Feature Interactions in Telecommunications Software. - Petre Dini; Luigi Logrippo (Comput. Networks, 1998)

Formal Spacification and Use Case Generation for a Mobile Telephony System. - Randall Tuok; Luigi Logrippo (Comput. Networks, 1998)

Use Case Maps for the Capture and Validation of Distributed Systems Requirements. - Daniel Amyot; Luigi Logrippo; Raymond J. A. Buhr; Tom Gray (RE, 1999)

Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. - Daniel Amyot; Leïla Charfi; Nicolas Gorse; Tom Gray; Luigi Logrippo; Jacques Sincennes; Bernard Stepien; Tom Ware (FIW, 2000)

Immaturity and Potential of Formal Methods: A Personal View. - Luigi Logrippo (FIW, 2000)

Feature Interaction Filtering with Use Case Maps at Requirements Stage. - Masahide Nakamura; Tohru Kikuno; Jameleddine Hassine; Luigi Logrippo (FIW, 2000)

Structural Coverage For LOTOS - a Probe Insertion Technique. - Daniel Amyot; Luigi Logrippo (TestCom, 2000)

Deriving use cases for distributed systems from knowledge requirements. - Xiao Jun Chen; Luigi Logrippo (Ann. des Télécommunications, 2000)

Feature interaction detection: a LOTOS-based approach. - Q. Fu; P. Harnois; Luigi Logrippo; Jacques Sincennes (Comput. Networks, 2000)

Understanding GPRS: the GSM packet radio service. - Brahim Ghribi; Luigi Logrippo (Comput. Networks, 2000)

Future wireless networks. - Luigi Logrippo; John Visser (Comput. Networks, 2000)

Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system. - Daniel Amyot; Luigi Logrippo (Comput. Commun., 2000)

Feature Execution Trees and Interactions. - Rui Gustavo Crespo; Luigi Logrippo; Tom Gray (PDPTA, 2002)

Graphic visualization and animation of LOTOS execution traces. - Bernard Stepien; Luigi Logrippo (Comput. Networks, 2002)

Directions in feature interaction research. - Daniel Amyot; Luigi Logrippo (Comput. Networks, 2004)

Policy-enabled mechanisms for feature interactions: reality, expectations, challenges. - Petre Dini; Alexander Clemm; Tom Gray; Fuchun Joseph Lin; Luigi Logrippo; Stephan Reiff-Marganiec (Comput. Networks, 2004)

Governance Policies for Privacy Access Control and their Interactions. - Waël Hassan; Luigi Logrippo (FIW, 2005)

Generation of test purposes from Use Case Maps. - Daniel Amyot; Luigi Logrippo; Michael Weiss 001 (Comput. Networks, 2005)

Interactive conflict detection and resolution for personalized features. - Daniel Amyot; Tom Gray; Ramiro Liscano; Luigi Logrippo; Jacques Sincennes (J. Commun. Networks, 2005)

Foreword - New technologies in distributed systems. - Kamel Adi; Daniel Amyot; Luigi Logrippo (Ann. des Télécommunications, 2006)

Personalization of internet telephony services for presence with SIP and extended CPL. - Dongmei Jiang; Ramiro Liscano; Luigi Logrippo (Comput. Commun., 2006)

Detecting feature interaction in CPL. - Nicolas Gorse; Luigi Logrippo; Jacques Sincennes (Softw. Syst. Model., 2006)

Formal detection of feature interactions with logic programming and LOTOS. - Nicolas Gorse; Luigi Logrippo; Jacques Sincennes (Softw. Syst. Model., 2006)

An Agent-Based Architecture for Context-Aware Communication. - Romelia Plesa; Luigi Logrippo (AINA Workshops (2), 2007)

Conflict Detection in Call Control Using First-Order Logic Model Checking. - Ahmed F. Layouni; Luigi Logrippo; Kenneth J. Turner (ICFI, 2007)

Normative Systems: the meeting point between Jurisprudence and Information Technology? - A position paper. - Luigi Logrippo (SoMeT, 2007)

Distributed resolution of feature interactions for internet applications. - Rui Gustavo Crespo; Miguel Carvalho; Luigi Logrippo (Comput. Networks, 2007)

Detecting feature interactions in CPL. - Yiqun Xu; Luigi Logrippo; Jacques Sincennes (J. Netw. Comput. Appl., 2007)

Requirements and compliance in legal systems: a logic approach. - Waël Hassan; Luigi Logrippo (RELAW, 2008)

Interactions among secrecy models - (Work-in-progress paper). - Waël Hassan; Luigi Logrippo (ICFI, 2009)

Typing for Conflict Detection in Access Control Policies. - Kamel Adi; Yacine Bouzida; Ikhlass Hattak; Luigi Logrippo; Serge Mankovski (MCETECH, 2009)

Governance Requirements Extraction Model for Legal Compliance Validation. - Waël Hassan; Luigi Logrippo (RELAW, 2009)

Inconsistency detection method for access control policies. - Riaz Ahmed Shaikh 001; Kamel Adi; Luigi Logrippo; Serge Mankovski (IAS, 2010)

Secrecy UML Method for Model Transformations. - Waël Hassan; Nadera Slimani; Kamel Adi; Luigi Logrippo (ASM, 2010)

Risk Analysis in Access Control Systems Based on Trust Theories. - Ji Ma; Luigi Logrippo; Kamel Adi; Serge Mankovski (Web Intelligence/IAT Workshops, 2010)

Risk management in dynamic role based access control systems. - Ji Ma; Kamel Adi; Luigi Logrippo; Serge Mankovski (ICDIM, 2010)

Detecting incompleteness in access control policies using data classification schemes. - Riaz Ahmed Shaikh 001; Kamel Adi; Luigi Logrippo; Serge Mankovski (ICDIM, 2010)

Risk analysis in access control systems. - Ji Ma; Kamel Adi; Mohamed Mejri; Luigi Logrippo (PST, 2010)

UACML: Unified Access Control Modeling Language. - Nadera Slimani; Hemanth Khambhammettu; Kamel Adi; Luigi Logrippo (NTMS, 2011)

Risk-based decision method for access control systems. - Riaz Ahmed Shaikh 001; Kamel Adi; Luigi Logrippo; Serge Mankovski (PST, 2011)

Concrete- and abstract-based access control. - Yacine Bouzida; Luigi Logrippo; Serge Mankovski (Int. J. Inf. Sec., 2011)

CatBAC: A generic framework for designing and validating hybrid access control models. - Bernard Stepien; Hemanth Khambhammettu; Kamel Adi; Luigi Logrippo (ICC, 2012)

Platform for privacy preferences (P3P): Current status and future directions. - Muyiwa Olurin; Carlisle Adams; Luigi Logrippo (PST, 2012)

A Framework for Threat Assessment in Access Control Systems. - Hemanth Khambhammettu; Sofiene Boulares; Kamel Adi; Luigi Logrippo (SEC, 2012)

Dynamic risk-based decision methods for access control systems. - Riaz Ahmed Shaikh 001; Kamel Adi; Luigi Logrippo (Comput. Secur., 2012)

Towards a process for legally compliant software. - Waël Hassan; Luigi Logrippo (RELAW, 2013)

Designing flexible access control models for the cloud. - Salim Khamadja; Kamel Adi; Luigi Logrippo (SIN, 2013)

An access control framework for hybrid policies. - Salim Khamadja; Kamel Adi; Luigi Logrippo (SIN, 2013)

A framework for risk assessment in access control systems. - Hemanth Khambhammettu; Sofiene Boulares; Kamel Adi; Luigi Logrippo (Comput. Secur., 2013)

Logical Method for Reasoning About Access Control and Data Flow Control Models. - Luigi Logrippo (FPS, 2014)

Granularity based flow control. - Omar Abahmane; Luigi Logrippo (PST, 2014)

Information Flow-Based Security Levels Assessment for Access Control Systems. - Sofiene Boulares; Kamel Adi; Luigi Logrippo (MCETECH, 2015)

Metamodelling with Formal Semantics with Application to Access Control Specification. - Jamal Abd-Ali; Karim El Guemhioui; Luigi Logrippo (MODELSWARD, 2015)

A Metamodel for Hybrid Access Control Policies. - Jamal Abd-Ali; Karim El Guemhioui; Luigi Logrippo (J. Softw., 2015)

Insider Threat Likelihood Assessment for Access Control Systems: Quantitative Approach. - Sofiene Boulares; Kamel Adi; Luigi Logrippo (FPS, 2016)

Multi-level Access Control, Directed Graphs and Partial Orders in Flow Control for Data Secrecy and Privacy. - Luigi Logrippo (FPS, 2017)

Insider Threat Likelihood Assessment for Flexible Access Control. - Sofiene Boulares; Kamel Adi; Luigi Logrippo (MCETECH, 2017)

A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets. - Riaz Ahmed Shaikh 001; Kamel Adi; Luigi Logrippo (Int. J. Inf. Sec., 2017)

Configuring Data Flows in the Internet of Things for Security and Privacy Requirements. - Luigi Logrippo; Abdelouadoud Stambouli (FPS, 2018)

Data flow analysis from capability lists, with application to RBAC. - Abdelouadoud Stambouli; Luigi Logrippo (Inf. Process. Lett., 2019)

Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. - Alireza Parvizimosaed; Sepehr Sharifi; Daniel Amyot; Luigi Logrippo; John Mylopoulos (ER, 2020)

Social Dependence Relationships in Requirements Engineering. - John Mylopoulos; Daniel Amyot; Luigi Logrippo; Alireza Parvizimosaed; Sepehr Sharifi (iStar, 2020)

Symboleo: Towards a Specification Language for Legal Contracts. - Sepehr Sharifi; Alireza Parvizimosaed; Daniel Amyot; Luigi Logrippo; John Mylopoulos (RE, 2020)

Social Requirements Models for Services. - John Mylopoulos; Daniel Amyot; Luigi Logrippo; Alireza Parvizimosaed; Sepehr Sharifi (Next-Gen Digital Services, 2021)

Multi-level models for data security in networks and in the Internet of things. - Luigi Logrippo (J. Inf. Secur. Appl., 2021)

Model-checking legal contracts with SymboleoPC. - Alireza Parvizimosaed; Marco Roveri; Aidin Rasti; Daniel Amyot; Luigi Logrippo; John Mylopoulos (MoDELS, 2022)

Symboleo2SC: from legal contract specifications to smart contracts. - Aidin Rasti; Daniel Amyot; Alireza Parvizimosaed; Marco Roveri; Luigi Logrippo; Amal Ahmed Anda; John Mylopoulos (MoDELS, 2022)

Specification and analysis of legal contracts with Symboleo. - Alireza Parvizimosaed; Sepehr Sharifi; Daniel Amyot; Luigi Logrippo; Marco Roveri; Aidin Rasti; Ali Roudak; John Mylopoulos (Softw. Syst. Model., 2022)

Engineering Smart Contracts with Symboleo: A Progress Report. - Daniel Amyot; Luigi Logrippo; John Mylopoulos; Marco Roveri; Amal Ahmed Anda; Alireza Parvizimosaed; Sofana Alfuhaid; Sepehr Sharifi; Aidin Rasti; Regan Meloche; Daniel Sousa-Diaz (CASCON, 2023)

Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy. - Quentin Rouland; Kamel Adi; Omer Nguena Timo; Luigi Logrippo (CRiSIS, 2024)

Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy. - Quentin Rouland; Kamel Adi; Omer Nguena Timo; Luigi Logrippo (FPS (1), 2024)

The order-theoretical foundation for data flow security. - Luigi Logrippo (CoRR, 2024)

Implementation of a Partial-Order Data Security Model for the Internet of Things (IoT) Using Software-Defined Networking (SDN). - Abdelouadoud Stambouli; Luigi Logrippo (J. Cybersecur. Priv., 2024)

Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures. - Maya Benabdelhafid; Kamel Adi; Omer Landry Nguena-Timo; Luigi Logrippo (SECRYPT, 2025)

SymboleoPC: checking properties of legal contracts. - Alireza Parvizimosaed; Marco Roveri; Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Daniel Amyot; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)

Automated generation of smart contract code from legal contract specifications with Symboleo2SC. - Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Alireza Parvizimosaed; Daniel Amyot; Marco Roveri; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)