Skip to search formSkip to main contentSkip to account menu

Luigi Logrippo

Luigi Logrippo is a Professor of Computer Science at the Université du Québec en Outaouais (UQO). He is the principal researcher of the LOTOS group… 
Wikipedia (opens in a new tab)

Related topics

Related topics

1 relation
Feature interaction problem

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Luca Rimoldi, "Lavorare alla Pirelli-Bicocca. Antropologia delle memorie operaie"
Fare ricerca nel campo dell’antropologia del lavoro oggi in Italia significa spesso occuparsi di memorie, di assenze, di qualcosa… 
Review
2006
Review
2006
PCAC 2006 Committees and Reviewers
Technical Program Committee Luigi Atzori, University of Cagliari, Italy Eduard Babulak, University of Quebec (Rimouski), Canada… 
2006
2006
Editorial for the SoSyM issue 2006/02
This issue consists of two parts: The first part has three regular papers. The second part contains a special section on Service… 
2002
2002
Adding value to formal test oracles
Test oracles are programs which check the output of test cases run on other programs. We describe techniques which add value to… 
2001
2001
Minutes of the Iso/iec Jtc1/sc21/wg7/e-lotos Meeting Ottawa, 20th-26th of July 1995 0. Attendance List
Daniel Amyot, University of Ottawa, Canada, damyot@csi.uottawa.ca 1 Robin Barker, NPL, United Kingdom, rmb@ditc.npl.co.uk Hubert… 
1999
1999
Use Case Maps and UML for Complex Software-Driven Systems
The Use Case Map (UCM) notation allows the description of complex software-driven systems in terms of high-level causal scenarios… 
1998
1998
LUIGI EINAUDI E IL SUO ESILIO IN SVIZZERA (1943-1944)
Review
1996
Review
1996
Formal Specification and Feature Interaction Detection in the Intelligent Network
Acknowledgments I would like to thank all the people who assisted me in completing this work. First, I would like to express my… 
1990
1990
The Protocol Bypass Concept for High Speed OSI Data Transfer
A protocol bypass is a fast processing path which is used for some data units, for instance for large data packets. It can… 
Review
1989
Review
1989
An interactive system for LOTOS applications, ISLA.
LOTOS is a Formal Description Technique developed to specify protocols and services for the Open Systems Interconnection. It is… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)