The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luigi Logrippo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  54. Secrecy UML Method for Model Transformations. [Citation Graph (, )][DBLP]


  55. Conflict Detection in Call Control Using First-Order Logic Model Checking. [Citation Graph (, )][DBLP]


  56. Normative Systems: the meeting point between Jurisprudence and Information Technology? - A position paper. [Citation Graph (, )][DBLP]


  57. Typing for Conflict Detection in Access Control Policies. [Citation Graph (, )][DBLP]


Search in 0.603secs, Finished in 0.606secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002