Luigi Logrippo
Orcid: 0000-0001-8804-0450Affiliations:
- Université du Québec en Outaouais (UQO), Gatineau, QC, Canada
- University of Ottawa, ON, Canada
- University of Waterloo, ON, Canada (PhD 1974)
According to our database1,
Luigi Logrippo
authored at least 106 papers
between 1969 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
2023
Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023
2022
Softw. Syst. Model., 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
2021
J. Inf. Secur. Appl., 2021
Proceedings of the Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future, 2021
2020
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020
Proceedings of the Conceptual Modeling - 39th International Conference, 2020
2019
Inf. Process. Lett., 2019
2018
Configuring Data Flows in the Internet of Things for Security and Privacy Requirements.
Proceedings of the Foundations and Practice of Security - 11th International Symposium, 2018
2017
A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets.
Int. J. Inf. Sec., 2017
Proceedings of the E-Technologies: Embracing the Internet of Things, 2017
Multi-level Access Control, Directed Graphs and Partial Orders in Flow Control for Data Secrecy and Privacy.
Proceedings of the Foundations and Practice of Security - 10th International Symposium, 2017
2016
Insider Threat Likelihood Assessment for Access Control Systems: Quantitative Approach.
Proceedings of the Foundations and Practice of Security - 9th International Symposium, 2016
2015
Metamodelling with Formal Semantics with Application to Access Control Specification.
Proceedings of the MODELSWARD 2015, 2015
Proceedings of the E-Technologies - 6th International Conference, 2015
2014
Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014
Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014
2013
Proceedings of the 6th International Conference on Security of Information and Networks, 2013
Proceedings of the 6th International Conference on Security of Information and Networks, 2013
Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013
2012
Proceedings of the Information Security and Privacy Research, 2012
Proceedings of the Tenth Annual International Conference on Privacy, Security and Trust, 2012
CatBAC: A generic framework for designing and validating hybrid access control models.
Proceedings of IEEE International Conference on Communications, 2012
2011
Proceedings of the Ninth Annual Conference on Privacy, Security and Trust, 2011
Proceedings of the 4th IFIP International Conference on New Technologies, 2011
2010
Proceedings of the Eighth Annual Conference on Privacy, Security and Trust, 2010
Detecting incompleteness in access control policies using data classification schemes.
Proceedings of the Fifth IEEE International Conference on Digital Information Management, 2010
Proceedings of the Fifth IEEE International Conference on Digital Information Management, 2010
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Toronto, Canada, August 31, 2010
Proceedings of the Abstract State Machines, 2010
Proceedings of the Sixth International Conference on Information Assurance and Security, 2010
2009
Proceedings of the Second International Workshop on Requirements Engineering and Law, 2009
Proceedings of the E-Technologies: Innovation in an Open World, 2009
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009
2008
Proceedings of the First International Workshop on Requirements Engineering and Law, 2008
2007
Comput. Networks, 2007
Normative Systems: the meeting point between Jurisprudence and Information Technology? - A position paper.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007
Conflict Detection in Call Control Using First-Order Logic Model Checking.
Proceedings of the Feature Interactions in Software and Communication Systems IX, 2007
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007
2006
Softw. Syst. Model., 2006
Personalization of internet telephony services for presence with SIP and extended CPL.
Comput. Commun., 2006
Ann. des Télécommunications, 2006
2005
J. Commun. Networks, 2005
Governance Policies for Privacy Access Control and their Interactions.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005
2004
Policy-enabled mechanisms for feature interactions: reality, expectations, challenges.
Comput. Networks, 2004
2002
Comput. Networks, 2002
Feature Execution Trees and Interactions.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
2000
Use Case Maps and <sub>LOTOS</sub> for the prototyping and validation of a mobile group call system.
Comput. Commun., 2000
Ann. des Télécommunications, 2000
Structural Coverage For LOTOS - a Probe Insertion Technique.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000
Feature Interaction Filtering with Use Case Maps at Requirements Stage.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000
Immaturity and Potential of Formal Methods: A Personal View.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000
Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000
1999
Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999
1998
Comput. Networks, 1998
Goal-Oriented Feature Interaction Detection in the Intelligent Network Model.
Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998
1997
Comput. Networks ISDN Syst., 1997
1996
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., 1996
1995
Comput. Networks ISDN Syst., 1995
Formal Support for Design Techniques: A Timethreads-LOTOS Approach.
Proceedings of the Formal Description Techniques VIII, 1995
Representing and Verifying Intentions in Telephony Features Using Abstract Data Types.
Proceedings of the Feature Interactions in Telecommunications III, 1995
1994
Feature interaction detection using backward reasoning with LOTOS.
Proceedings of the Protocol Specification, 1994
Specifying features and analysing their interactions in a LOTOS environment.
Proceedings of the Feature Interactions in Telecommunications Systems, 1994
1993
A Validation Environment for LOTOS.
Proceedings of the Protocol Specification, 1993
Specifying Hardware Systems in LOTOS.
Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993
1992
Goal oriented execution for LOTOS.
Proceedings of the Formal Description Techniques, 1992
1991
Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach.
Comput. Networks ISDN Syst., 1991
An expressive trace theory for LOTOS.
Proceedings of the Protocol Specification, 1991
1990
The University of Ottawa LOTOS Toolkit.
Proceedings of the Formal Description Techniques, 1990
A Hoare-style Proof System for LOTOS.
Proceedings of the Formal Description Techniques, 1990
Proceedings of the Conference proceedings on Formal methods in software development, 1990
1989
Formal Specifications of Telephone Systems in LOTOS.
Proceedings of the Protocol Specification, 1989
Derivation of Test Cases for LAP-B from a LOTOS Specification.
Proceedings of the Formal Description Techniques, 1989
1988
Softw. Pract. Exp., 1988
Derivation of Useful Execution Trees from LOTOS by using an Interpreter.
Proceedings of the Formal Description Techniques, 1988
1987
An Atomic Calculus of Communicating Systems.
Proceedings of the Protocol Specification, 1987
1986
Comput. Humanit., 1986
Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986
1985
The importance of the service concept in the design of data communications protocols.
Proceedings of the Protocol Specification, 1985
1984
Executable Description of the OSI Transport Service in Prolog.
Proceedings of the Protocol Specification, 1984
1983
IEEE Trans. Software Eng., 1983
"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers.
Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983
1982
Protocol/Specification-Level Validation.
Proceedings of the Protocol Specification, 1982
1981
Proceedings of the ACM 1981 Annual Conference, Los Angeles, CA, USA, November 9-11, 1981., 1981
1979
J. ACM, 1979
1978
1972
Proceedings of the 13th Annual Symposium on Switching and Automata Theory, 1972
1969
Proceedings of the 10th Annual Symposium on Switching and Automata Theory, 1969