 | 2009 |
|---|
| 61 |       | Kamel Adi,
Yacine Bouzida,
Ikhlass Hattak,
Luigi Logrippo,
Serge Mankovskii:
Typing for Conflict Detection in Access Control Policies.
MCETECH 2009: 212-226 |
| 2007 |
|---|
| 60 | | Romelia Plesa,
Luigi Logrippo:
An Agent-Based Architecture for Context-Aware Communication.
AINA Workshops (2) 2007: 133-138 |
| 59 |  | Ahmed F. Layouni,
Luigi Logrippo,
Kenneth J. Turner:
Conflict Detection in Call Control Using First-Order Logic Model Checking.
ICFI 2007: 66-82 |
| 58 | | Luigi Logrippo:
Normative Systems: the meeting point between Jurisprudence and Information Technology? - A position paper.
SoMeT 2007: 343-354 |
| 57 | | Rui Gustavo Crespo,
Miguel Carvalho,
Luigi Logrippo:
Distributed resolution of feature interactions for internet applications.
Computer Networks 51(2): 382-397 (2007) |
| 56 | | Yiqun Xu,
Luigi Logrippo,
Jacques Sincennes:
Detecting feature interactions in CPL.
J. Network and Computer Applications 30(2): 775-799 (2007) |
| 2006 |
|---|
| 55 | | Dongmei Jiang,
Ramiro Liscano,
Luigi Logrippo:
Personalization of internet telephony services for presence with SIP and extended CPL.
Computer Communications 29(18): 3766-3779 (2006) |
| 54 | | Nicolas Gorse,
Luigi Logrippo,
Jacques Sincennes:
Detecting feature interaction in CPL.
Software and System Modeling 5(2): 121-134 (2006) |
| 53 | | Nicolas Gorse,
Luigi Logrippo,
Jacques Sincennes:
Formal detection of feature interactions with logic programming and LOTOS.
Software and System Modeling 5(2): 135 (2006) |
| 2005 |
|---|
| 52 | | Wael Hassan,
Luigi Logrippo:
Governance Policies for Privacy Access Control and their Interactions.
FIW 2005: 114-130 |
| 51 | | Daniel Amyot,
Luigi Logrippo,
Michael Weiss:
Generation of test purposes from Use Case Maps.
Computer Networks 49(5): 643-660 (2005) |
| 2004 |
|---|
| 50 | | Daniel Amyot,
Luigi Logrippo:
Directions in feature interaction research.
Computer Networks 45(5): 563-567 (2004) |
| 49 | | Petre Dini,
Alexander Clemm,
Tom Gray,
Fuchun Joseph Lin,
Luigi Logrippo,
Stephan Reiff-Marganiec:
Policy-enabled mechanisms for feature interactions: reality, expectations, challenges.
Computer Networks 45(5): 585-603 (2004) |
| 2003 |
|---|
| 48 | | Daniel Amyot,
Luigi Logrippo:
Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada
IOS Press 2003 |
| 2002 |
|---|
| 47 | | Rui Gustavo Crespo,
Luigi Logrippo,
Tom Gray:
Feature Execution Trees and Interactions.
PDPTA 2002: 1230-1236 |
| 46 | | Bernard Stepien,
Luigi Logrippo:
Graphic visualization and animation of LOTOS execution traces.
Computer Networks 40(5): 665-681 (2002) |
| 2000 |
|---|
| 45 | | Masahide Nakamura,
Tohru Kikuno,
Jameleddine Hassine,
Luigi Logrippo:
Feature Interaction Filtering with Use Case Maps at Requirements Stage.
FIW 2000: 163-178 |
| 44 | | Daniel Amyot,
Leïla Charfi,
Nicolas Gorse,
Tom Gray,
Luigi Logrippo,
Jacques Sincennes,
Bernard Stepien,
Tom Ware:
Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS.
FIW 2000: 274-289 |
| 43 | | Luigi Logrippo:
Immaturity and Potential of Formal Methods: A Personal View.
FIW 2000: 9-13 |
| 42 | | Daniel Amyot,
Luigi Logrippo:
Structural Coverage For LOTOS - a Probe Insertion Technique.
TestCom 2000: 19-34 |
| 41 | | Daniel Amyot,
Luigi Logrippo:
Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system.
Computer Communications 23(12): 1135-1157 (2000) |
| 40 | | Q. Fu,
P. Harnois,
Luigi Logrippo,
Jacques Sincennes:
Feature interaction detection: a LOTOS-based approach.
Computer Networks 32(4): 433-448 (2000) |
| 39 | | Luigi Logrippo,
John Visser:
Future wireless networks.
Computer Networks 34(5): 701-703 (2000) |
| 38 | | Brahim Ghribi,
Luigi Logrippo:
Understanding GPRS: the GSM packet radio service.
Computer Networks 34(5): 763-779 (2000) |
| 1999 |
|---|
| 37 | | Daniel Amyot,
Luigi Logrippo,
Raymond J. A. Buhr,
Tom Gray:
Use Case Maps for the Capture and Validation of Distributed Systems Requirements.
RE 1999: 44- |
| 1998 |
|---|
| 36 | | Jalel Kamoun,
Luigi Logrippo:
Goal-Oriented Feature Interaction Detection in the Intelligent Network Model.
FIW 1998: 172-186 |
| 35 | | Randall Tuok,
Luigi Logrippo:
Formal Spacification and Use Case Generation for a Mobile Telephony System.
Computer Networks 30(11): 1045-1063 (1998) |
| 34 | | Petre Dini,
Luigi Logrippo:
Feature Interactions in Telecommunications Software.
Computer Networks 30(14): 1359-1362 (1998) |
| 1997 |
|---|
| 33 | | Petre Dini,
Raouf Boutaba,
Luigi Logrippo:
Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montréal, Canada
IOS Press 1997 |
| 32 | | Mohammed Faci,
Luigi Logrippo,
Bernard Stepien:
Structural Models for Specifying Telephone Systems.
Computer Networks and ISDN Systems 29(4): 501-528 (1997) |
| 1996 |
|---|
| 31 | | Kazi Farooqui,
Luigi Logrippo:
Group communication models.
Computer Communications 19(14): 1276-1288 (1996) |
| 30 | | Jean-Pierre Courtiat,
Piotr Dembinski,
Gerard J. Holzmann,
Luigi Logrippo,
Harry Rudin,
Pamela Zave:
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).
Computer Networks and ISDN Systems 28(13): 1845-1855 (1996) |
| 1995 |
|---|
| 29 | | Bernard Stepien,
Luigi Logrippo:
Representing and Verifying Intentions in Telephony Features Using Abstract Data Types.
FIW 1995: 141-155 |
| 28 | | Daniel Amyot,
Francis Bordeleau,
Raymond J. A. Buhr,
Luigi Logrippo:
Formal Support for Design Techniques: A Timethreads-LOTOS Approach.
FORTE 1995: 57-72 |
| 27 | | Kazi Farooqui,
Luigi Logrippo,
Jan de Meer:
The ISO Reference Model for Open Distributed Processing: An Introduction.
Computer Networks and ISDN Systems 27(8): 1215-1229 (1995) |
| 1994 |
|---|
| 26 | | Mohammed Faci,
Luigi Logrippo:
Specifying features and analysing their interactions in a LOTOS environment.
FIW 1994: 136-151 |
| 25 | | Bernard Stepien,
Luigi Logrippo:
Feature interaction detection using backward reasoning with LOTOS.
PSTV 1994: 71-86 |
| 1993 |
|---|
| 24 | | Mohammed Faci,
Luigi Logrippo:
Specifying Hardware Systems in LOTOS.
CHDL 1993: 319-326 |
| 23 | | Brahim Ghribi,
Luigi Logrippo:
A Validation Environment for LOTOS.
PSTV 1993: 93-108 |
| 1992 |
|---|
| 22 | | Mazen Haj-Hussein,
Luigi Logrippo,
Jacques Sincennes:
Goal oriented execution for LOTOS.
FORTE 1992: 311-327 |
| 1991 |
|---|
| 21 | | S. Gallouzi,
Luigi Logrippo,
Abdellatif Obaid:
An expressive trace theory for LOTOS.
PSTV 1991: 159-175 |
| 20 | | Mohammed Faci,
Luigi Logrippo,
Bernard Stepien:
Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach.
Computer Networks and ISDN Systems 21: 53-67 (1991) |
| 19 | | Luigi Logrippo,
Mohammed Faci,
Mazen Haj-Hussein:
An Introduction to LOTOS: Learning by Examples.
Computer Networks and ISDN Systems 23(5): 325-342 (1991) |
| 1990 |
|---|
| 18 | | Luigi Logrippo,
Robert L. Probert,
Hasan Ural:
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
North-Holland 1990 |
| 17 | | S. Gallouzi,
Luigi Logrippo,
Abdellatif Obaid:
A Hoare-style Proof System for LOTOS.
FORTE 1990: 49-62 |
| 16 | | Luigi Logrippo:
The University of Ottawa LOTOS Toolkit.
FORTE 1990: 563-566 |
| 1989 |
|---|
| 15 | | Djaffar Gueraichi,
Luigi Logrippo:
Derivation of Test Cases for LAP-B from a LOTOS Specification.
FORTE 1989: 361-374 |
| 14 | | Mohammed Faci,
Luigi Logrippo,
Bernard Stepien:
Formal Specifications of Telephone Systems in LOTOS.
PSTV 1989: 25-34 |
| 1988 |
|---|
| 13 | | Renaud Guillemot,
Luigi Logrippo:
Derivation of Useful Execution Trees from LOTOS by using an Interpreter.
FORTE 1988: 311-325 |
| 12 | | Luigi Logrippo,
Abdellatif Obaid,
J. P. Briand,
M. C. Fehri:
An Interpreter for LOTOS, a Specification Language for Distributed Systems.
Softw., Pract. Exper. 18(4): 365-385 (1988) |
| 1987 |
|---|
| 11 | | Abdellatif Obaid,
Luigi Logrippo:
An Atomic Calculus of Communicating Systems.
PSTV 1987: 91-104 |
| 1986 |
|---|
| 10 | | J. P. Briand,
M. C. Fehri,
Luigi Logrippo,
Abdellatif Obaid:
Structure of a LOTOS interpreter.
SIGCOMM 1986: 167-175 |
| 1985 |
|---|
| 9 | | Chris A. Vissers,
Luigi Logrippo:
The importance of the service concept in the design of data communications protocols.
PSTV 1985: 3-17 |
| 1984 |
|---|
| 8 | | Luigi Logrippo,
Didier Simon,
Hasan Ural:
Executable Description of the OSI Transport Service in Prolog.
PSTV 1984: 279-293 |
| 1983 |
|---|
| 7 | | Luigi Logrippo:
"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers.
Protocol Specification, Testing, and Verification 1983: 111-124 |
| 6 | | Luigi Logrippo,
Douglas R. Skuce:
File Structures, Program Structures, and Attributed Grammars.
IEEE Trans. Software Eng. 9(3): 260-266 (1983) |
| 1982 |
|---|
| 5 | | Luigi Logrippo,
Robert L. Probert:
Protocol/Specification-Level Validation.
PSTV 1982: 303-304 |
| 1979 |
|---|
| 4 | | Luigi Logrippo:
Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata.
J. ACM 26(4): 819-833 (1979) |
| 1978 |
|---|
| 3 | | Luigi Logrippo:
Renamings and Economy of Memory in Program Schemata.
J. ACM 25(1): 10-22 (1978) |
| 1972 |
|---|
| 2 | | Luigi Logrippo:
Renamings in Program Schemas (Extended Abstract)
FOCS 1972: 67-70 |
| 1969 |
|---|
| 1 | | Luigi Logrippo:
Storage Interference in Asynchronous Computations
FOCS 1969: 46-60 |
