Luigi Logrippo

120 papers A* 2A 5C 17Misc 2Journal 45Unranked 45

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A formal approach for security pattern enforcement in software architecture. Comput. Secur. Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2025	J	`jnl`	A Web-Based Environment for the Specification and Generation of Smart Legal Contracts. CoRR Regan Meloche, Durga Sivakumar, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2025	J	`jnl`	Automated generation of smart contract code from legal contract specifications with Symboleo2SC. Softw. Syst. Model. Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos
2025	C	`conf`	Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures. SECRYPT Maya Benabdelhafid, Kamel Adi, Omer Landry Nguena-Timo, Luigi Logrippo
2025	J	`jnl`	Security theory for data flow and access control: From partial orders to lattices and back, a half-century trip. CoRR Luigi Logrippo
2025	J	`jnl`	SymboleoPC: checking properties of legal contracts. Softw. Syst. Model. Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2024	C	`conf`	Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy. CRiSIS Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2024	J	`jnl`	Implementation of a Partial-Order Data Security Model for the Internet of Things (IoT) Using Software-Defined Networking (SDN). J. Cybersecur. Priv. Abdelouadoud Stambouli, Luigi Logrippo
2024	J	`jnl`	The order-theoretical foundation for data flow security. CoRR Luigi Logrippo
2024	—	`conf`	Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy. FPS (1) Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2023	—	`conf`	Engineering Smart Contracts with Symboleo: A Progress Report. CASCON Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz
2022	A	`conf`	Model-checking legal contracts with SymboleoPC. MoDELS Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2022	J	`jnl`	Specification and analysis of legal contracts with Symboleo. Softw. Syst. Model. Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos
2022	A	`conf`	Symboleo2SC: from legal contract specifications to smart contracts. MoDELS Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
2021	J	`jnl`	Multi-level models for data security in networks and in the Internet of things. J. Inf. Secur. Appl. Luigi Logrippo
2021	—	`conf`	Social Requirements Models for Services. Next-Gen Digital Services John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
2020	—	`conf`	Social Dependence Relationships in Requirements Engineering. iStar John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
2020	A	`conf`	Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. ER Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2020	A	`conf`	Symboleo: Towards a Specification Language for Legal Contracts. RE Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2019	J	`jnl`	Data flow analysis from capability lists, with application to RBAC. Inf. Process. Lett. Abdelouadoud Stambouli, Luigi Logrippo
2018	—	`conf`	Configuring Data Flows in the Internet of Things for Security and Privacy Requirements. FPS Luigi Logrippo, Abdelouadoud Stambouli
2018	—	`ed.`	Foundations and Practice of Security - 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers FPS Abdessamad Imine, José M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquín García-Alfaro
2017	J	`jnl`	A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets. Int. J. Inf. Sec. Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo
2017	—	`conf`	Insider Threat Likelihood Assessment for Flexible Access Control. MCETECH Sofiene Boulares, Kamel Adi, Luigi Logrippo
2017	—	`conf`	Multi-level Access Control, Directed Graphs and Partial Orders in Flow Control for Data Secrecy and Privacy. FPS Luigi Logrippo
2016	—	`conf`	Insider Threat Likelihood Assessment for Access Control Systems: Quantitative Approach. FPS Sofiene Boulares, Kamel Adi, Luigi Logrippo
2015	J	`jnl`	A Metamodel for Hybrid Access Control Policies. J. Softw. Jamal Abd-Ali, Karim El Guemhioui, Luigi Logrippo
2015	—	`conf`	Information Flow-Based Security Levels Assessment for Access Control Systems. MCETECH Sofiene Boulares, Kamel Adi, Luigi Logrippo
2015	C	`conf`	Metamodelling with Formal Semantics with Application to Access Control Specification. MODELSWARD Jamal Abd-Ali, Karim El Guemhioui, Luigi Logrippo
2014	C	`conf`	Granularity based flow control. PST Omar Abahmane, Luigi Logrippo
2014	—	`conf`	Logical Method for Reasoning About Access Control and Data Flow Control Models. FPS Luigi Logrippo
2013	J	`jnl`	A framework for risk assessment in access control systems. Comput. Secur. Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo
2013	C	`conf`	An access control framework for hybrid policies. SIN Salim Khamadja, Kamel Adi, Luigi Logrippo
2013	C	`conf`	Designing flexible access control models for the cloud. SIN Salim Khamadja, Kamel Adi, Luigi Logrippo
2013	—	`conf`	Towards a process for legally compliant software. RELAW Waël Hassan, Luigi Logrippo
2012	Misc	`conf`	A Framework for Threat Assessment in Access Control Systems. SEC Hemanth Khambhammettu, Sofiene Boulares, Kamel Adi, Luigi Logrippo
2012	—	`conf`	CatBAC: A generic framework for designing and validating hybrid access control models. ICC Bernard Stepien, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo
2012	J	`jnl`	Dynamic risk-based decision methods for access control systems. Comput. Secur. Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo
2012	C	`conf`	Platform for privacy preferences (P3P): Current status and future directions. PST Muyiwa Olurin, Carlisle Adams, Luigi Logrippo
2011	J	`jnl`	Concrete- and abstract-based access control. Int. J. Inf. Sec. Yacine Bouzida, Luigi Logrippo, Serge Mankovski
2011	C	`conf`	Risk-based decision method for access control systems. PST Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
2011	—	`conf`	UACML: Unified Access Control Modeling Language. NTMS Nadera Slimani, Hemanth Khambhammettu, Kamel Adi, Luigi Logrippo
2010	—	`conf`	Detecting incompleteness in access control policies using data classification schemes. ICDIM Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
2010	C	`conf`	Inconsistency detection method for access control policies. IAS Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo, Serge Mankovski
2010	—	`conf`	Risk Analysis in Access Control Systems Based on Trust Theories. Web Intelligence/IAT Workshops Ji Ma, Luigi Logrippo, Kamel Adi, Serge Mankovski
2010	C	`conf`	Risk analysis in access control systems. PST Ji Ma, Kamel Adi, Mohamed Mejri, Luigi Logrippo
2010	—	`conf`	Risk management in dynamic role based access control systems. ICDIM Ji Ma, Kamel Adi, Luigi Logrippo, Serge Mankovski
2010	—	`conf`	Secrecy UML Method for Model Transformations. ASM Waël Hassan, Nadera Slimani, Kamel Adi, Luigi Logrippo
2009	—	`conf`	Governance Requirements Extraction Model for Legal Compliance Validation. RELAW Waël Hassan, Luigi Logrippo
2009	—	`conf`	Interactions among secrecy models - (Work-in-progress paper). ICFI Waël Hassan, Luigi Logrippo
2009	—	`conf`	Typing for Conflict Detection in Access Control Policies. MCETECH Kamel Adi, Yacine Bouzida, Ikhlass Hattak, Luigi Logrippo, Serge Mankovski
2008	—	`conf`	Requirements and compliance in legal systems: a logic approach. RELAW Waël Hassan, Luigi Logrippo
2007	—	`conf`	An Agent-Based Architecture for Context-Aware Communication. AINA Workshops (2) Romelia Plesa, Luigi Logrippo
2007	—	`conf`	Conflict Detection in Call Control Using First-Order Logic Model Checking. ICFI Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turner
2007	J	`jnl`	Detecting feature interactions in CPL. J. Netw. Comput. Appl. Yiqun Xu, Luigi Logrippo, Jacques Sincennes
2007	J	`jnl`	Distributed resolution of feature interactions for internet applications. Comput. Networks Rui Gustavo Crespo, Miguel Carvalho, Luigi Logrippo
2007	C	`conf`	Normative Systems: the meeting point between Jurisprudence and Information Technology? - A position paper. SoMeT Luigi Logrippo
2006	J	`jnl`	Detecting feature interaction in CPL. Softw. Syst. Model. Nicolas Gorse, Luigi Logrippo, Jacques Sincennes
2006	J	`jnl`	Foreword - New technologies in distributed systems. Ann. des Télécommunications Kamel Adi, Daniel Amyot, Luigi Logrippo
2006	J	`jnl`	Formal detection of feature interactions with logic programming and LOTOS. Softw. Syst. Model. Nicolas Gorse, Luigi Logrippo, Jacques Sincennes
2006	J	`jnl`	Personalization of internet telephony services for presence with SIP and extended CPL. Comput. Commun. Dongmei Jiang, Ramiro Liscano, Luigi Logrippo
2005	J	`jnl`	Generation of test purposes from Use Case Maps. Comput. Networks Daniel Amyot, Luigi Logrippo, Michael Weiss
2005	—	`conf`	Governance Policies for Privacy Access Control and their Interactions. FIW Waël Hassan, Luigi Logrippo
2005	J	`jnl`	Interactive conflict detection and resolution for personalized features. J. Commun. Networks Daniel Amyot, Tom Gray, Ramiro Liscano, Luigi Logrippo, Jacques Sincennes
2004	J	`jnl`	Directions in feature interaction research. Comput. Networks Daniel Amyot, Luigi Logrippo
2004	J	`jnl`	Policy-enabled mechanisms for feature interactions: reality, expectations, challenges. Comput. Networks Petre Dini, Alexander Clemm, Tom Gray, Fuchun Joseph Lin, Luigi Logrippo, Stephan Reiff-Marganiec
2003	—	`ed.`	Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada FIW Daniel Amyot, Luigi Logrippo
2002	Misc	`conf`	Feature Execution Trees and Interactions. PDPTA Rui Gustavo Crespo, Luigi Logrippo, Tom Gray
2002	J	`jnl`	Graphic visualization and animation of LOTOS execution traces. Comput. Networks Bernard Stepien, Luigi Logrippo
2000	J	`jnl`	Deriving use cases for distributed systems from knowledge requirements. Ann. des Télécommunications Xiao Jun Chen, Luigi Logrippo
2000	—	`conf`	Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. FIW Daniel Amyot, Leïla Charfi, Nicolas Gorse, Tom Gray, Luigi Logrippo, Jacques Sincennes, Bernard Stepien, Tom Ware
2000	—	`conf`	Feature Interaction Filtering with Use Case Maps at Requirements Stage. FIW Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine, Luigi Logrippo
2000	J	`jnl`	Feature interaction detection: a LOTOS-based approach. Comput. Networks Q. Fu, P. Harnois, Luigi Logrippo, Jacques Sincennes
2000	J	`jnl`	Future wireless networks. Comput. Networks Luigi Logrippo, John Visser
2000	—	`conf`	Immaturity and Potential of Formal Methods: A Personal View. FIW Luigi Logrippo
2000	—	`conf`	Structural Coverage For LOTOS - a Probe Insertion Technique. TestCom Daniel Amyot, Luigi Logrippo
2000	J	`jnl`	Understanding GPRS: the GSM packet radio service. Comput. Networks Brahim Ghribi, Luigi Logrippo
2000	J	`jnl`	Use Case Maps and Comput. Commun. Daniel Amyot, Luigi Logrippo
1999	A	`conf`	Use Case Maps for the Capture and Validation of Distributed Systems Requirements. RE Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray
1998	J	`jnl`	Feature Interactions in Telecommunications Software. Comput. Networks Petre Dini, Luigi Logrippo
1998	J	`jnl`	Formal Spacification and Use Case Generation for a Mobile Telephony System. Comput. Networks Randall Tuok, Luigi Logrippo
1998	—	`conf`	Goal-Oriented Feature Interaction Detection in the Intelligent Network Model. FIW Jalel Kamoun, Luigi Logrippo
1997	—	`ed.`	Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montréal, Canada FIW Petre Dini, Raouf Boutaba, Luigi Logrippo
1997	J	`jnl`	Structural Models for Specifying Telephone Systems. Comput. Networks ISDN Syst. Mohammed Faci, Luigi Logrippo, Bernard Stepien
1996	J	`jnl`	Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). Comput. Networks ISDN Syst. Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave
1996	J	`jnl`	Group communication models. Comput. Commun. Kazi Farooqui, Luigi Logrippo
1995	C	`conf`	Formal Support for Design Techniques: A Timethreads-LOTOS Approach. FORTE Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo
1995	—	`conf`	Representing and Verifying Intentions in Telephony Features Using Abstract Data Types. FIW Bernard Stepien, Luigi Logrippo
1995	J	`jnl`	The ISO Reference Model for Open Distributed Processing: An Introduction. Comput. Networks ISDN Syst. Kazi Farooqui, Luigi Logrippo, Jan de Meer
1994	—	`conf`	Feature interaction detection using backward reasoning with LOTOS. PSTV Bernard Stepien, Luigi Logrippo
1994	—	`conf`	Specifying features and analysing their interactions in a LOTOS environment. FIW Mohammed Faci, Luigi Logrippo
1993	—	`conf`	A Validation Environment for LOTOS. PSTV Brahim Ghribi, Luigi Logrippo
1993	—	`conf`	Specifying Hardware Systems in LOTOS. CHDL Mohammed Faci, Luigi Logrippo
1993	J	`jnl`	Specifying telephone systems in LOTOS. IEEE Commun. Mag. Rezki Boumezbeur, Luigi Logrippo
1992	J	`jnl`	An Introduction to LOTOS: Learning by Examples. Comput. Networks ISDN Syst. Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein
1992	C	`conf`	Goal oriented execution for LOTOS. FORTE Mazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes
1991	—	`conf`	An expressive trace theory for LOTOS. PSTV S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
1991	J	`jnl`	Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach. Comput. Networks ISDN Syst. Mohammed Faci, Luigi Logrippo, Bernard Stepien
1991	A*	`ed.`	Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 19-21, 1991 PODC Luigi Logrippo
1990	C	`conf`	A Hoare-style Proof System for LOTOS. FORTE S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
1990	—	`ed.`	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 PSTV Luigi Logrippo, Robert L. Probert, Hasan Ural
1990	C	`conf`	The University of Ottawa LOTOS Toolkit. FORTE Luigi Logrippo
1990	—	`conf`	The algebraic specification language LOTOS: an industrial experience. Formal Methods in Software Development Luigi Logrippo, Tim Melanchuk, Robert J. Du Wors
1989	C	`conf`	Derivation of Test Cases for LAP-B from a LOTOS Specification. FORTE Djaffar Gueraichi, Luigi Logrippo
1989	—	`conf`	Formal Specifications of Telephone Systems in LOTOS. PSTV Mohammed Faci, Luigi Logrippo, Bernard Stepien
1988	J	`jnl`	An Interpreter for LOTOS, a Specification Language for Distributed Systems. Softw. Pract. Exp. Luigi Logrippo, Abdellatif Obaid, J. P. Briand, M. C. Fehri
1988	C	`conf`	Derivation of Useful Execution Trees from LOTOS by using an Interpreter. FORTE Renaud Guillemot, Luigi Logrippo
1987	—	`conf`	An Atomic Calculus of Communicating Systems. PSTV Abdellatif Obaid, Luigi Logrippo
1986	J	`jnl`	Cluster analysis for the computer-assisted statistical analysis of melodies. Comput. Humanit. Luigi Logrippo, Bernard Stepien
1986	A*	`conf`	Structure of a LOTOS interpreter. SIGCOMM J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid
1985	—	`conf`	The importance of the service concept in the design of data communications protocols. PSTV Chris A. Vissers, Luigi Logrippo
1984	—	`conf`	Executable Description of the OSI Transport Service in Prolog. PSTV Luigi Logrippo, Didier Simon, Hasan Ural
1983	—	`conf`	"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. Protocol Specification, Testing, and Verification Luigi Logrippo
1983	J	`jnl`	File Structures, Program Structures, and Attributed Grammars. IEEE Trans. Software Eng. Luigi Logrippo, Douglas R. Skuce
1982	—	`conf`	Protocol/Specification-Level Validation. PSTV Luigi Logrippo, Robert L. Probert
1981	—	`conf`	Input-directed program design. ACM Annual Conference Luigi Logrippo
1979	J	`jnl`	Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata. J. ACM Luigi Logrippo
1978	J	`jnl`	Renamings and Economy of Memory in Program Schemata. J. ACM Luigi Logrippo
1972	—	`conf`	Renamings in Program Schemas (Extended Abstract) SWAT Luigi Logrippo
1969	—	`conf`	Storage Interference in Asynchronous Computations SWAT Luigi Logrippo