| 2025 | SECRYPT | Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures. | Maya Benabdelhafid, Kamel Adi, Omer Landry Nguena-Timo, Luigi Logrippo |
| 2024 | CRiSIS | Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy. | Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo |
| 2022 | MODELS | Model-checking legal contracts with SymboleoPC. | Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
| 2022 | MODELS | Symboleo2SC: from legal contract specifications to smart contracts. | Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos |
| 2020 | ER | Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. | Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
| 2020 | RE | Symboleo: Towards a Specification Language for Legal Contracts. | Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
| 2015 | MODELSWARD | Metamodelling with Formal Semantics with Application to Access Control Specification. | Jamal Abd-Ali, Karim El Guemhioui, Luigi Logrippo |
| 2014 | PST | Granularity based flow control. | Omar Abahmane, Luigi Logrippo |
| 2013 | RE | Towards a process for legally compliant software. | Wal Hassan, Luigi Logrippo |
| 2013 | SIN | Designing flexible access control models for the cloud. | Salim Khamadja, Kamel Adi, Luigi Logrippo |
| 2013 | SIN | An access control framework for hybrid policies. | Salim Khamadja, Kamel Adi, Luigi Logrippo |
| 2012 | PST | Platform for privacy preferences (P3P): Current status and future directions. | Muyiwa Olurin, Carlisle Adams, Luigi Logrippo |
| 2012 | SEC | A Framework for Threat Assessment in Access Control Systems. | Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo |
| 2011 | PST | Risk-based decision method for access control systems. | Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski |
| 2010 | PST | Risk analysis in access control systems. | Ji Ma, Kamel Adi, Mohamed Mejri, Luigi Logrippo |
| 2009 | RE | Governance Requirements Extraction Model for Legal Compliance Validation. | Wal Hassan, Luigi Logrippo |
| 2008 | RE | Requirements and compliance in legal systems: a logic approach. | Wal Hassan, Luigi Logrippo |
| 2007 | AINA | An Agent-Based Architecture for Context-Aware Communication. | Romelia Plesa, Luigi Logrippo |
| 2007 | SoMeT | Normative Systems: the meeting point between Jurisprudence and Information Technology? - A position paper. | Luigi Logrippo |
| 2002 | PDPTA | Feature Execution Trees and Interactions. | Rui Gustavo Crespo, Luigi Logrippo, Tom Gray |
| 1999 | RE | Use Case Maps for the Capture and Validation of Distributed Systems Requirements. | Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray |
| 1995 | FORTE | Formal Support for Design Techniques: A Timethreads-LOTOS Approach. | Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo |
| 1992 | FORTE | Goal oriented execution for LOTOS. | Mazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes |
| 1990 | FORTE | A Hoare-style Proof System for LOTOS. | S. Gallouzi, Luigi Logrippo, Abdellatif Obaid |
| 1990 | FORTE | The University of Ottawa LOTOS Toolkit. | Luigi Logrippo |
| 1989 | FORTE | Derivation of Test Cases for LAP-B from a LOTOS Specification. | Djaffar Gueraichi, Luigi Logrippo |
| 1988 | FORTE | Derivation of Useful Execution Trees from LOTOS by using an Interpreter. | Renaud Guillemot, Luigi Logrippo |
| 1986 | SIGCOMM | Structure of a LOTOS interpreter. | J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid |
| 1972 | FOCS | Renamings in Program Schemas (Extended Abstract) | Luigi Logrippo |
| 1969 | FOCS | Storage Interference in Asynchronous Computations | Luigi Logrippo |