Selected recent papers by Luigi Logrippo and associates (older papers can be found here)

PDF Plesa, R., Logrippo, L. An Agent-Based Architecture for Providing Enhanced Communication Services. Chapter 15 in: Laurence T. Yang (Ed.) Research in Mobile Intelligence – Wiley series on Parallel and Distributed Computing, 2010. 320-342.

PDF Hassan, W., Logrippo, L. A Governance Requirements Extraction Model for Legal Compliance Validation. In Proc. IEEE 17th International Requirements Engineering Conference (RE'09): RELAW Workshop. Atlanta, GA. Sep. 2009. (Electronic proceedings, 6 pages).

PDF Adi, K., Bouzida, Y., Hattak, I., Logrippo, L., Mankovskii, S. Typing for Conflict Detection in Access Control Policies. In: G. Babin, P. Kropf, M. Weiss (Eds.): E-Technologies: Innovation in an Open World. Proc. of the 4^th Intern. Conf. MCETECH 2009 (Ottawa, May 2009), Lecture Notes in Business Information Processing (LNBIP 26), Springer, 2009, 212-226.

PDF Hassan, W. and Logrippo, L. Requirements and Compliance in Legal Systems: a Logic Approach. In Proc. IEEE 16th International Requirements Engineering Conference (RE'08): RELAW Workshop. Barcelona, Spain. Sep. 2008. (Electronic proceedings, 5 pages).

PDF Logrippo, L. Normative Systems: the Meeting Point between Jurisprudence

and Information Technology? In: H. Fujita, D. Pisanelli (Eds.): New Trends in Software Methodologies, Tools and Techniques – Proc. of the 6^th SoMeT_07. IOS Press, 2007, 343-354.

PDF Layouni, A., Logrippo, L., Turner, K.J. Conflict Detection in Call Control

Using First-Order Logic Model Checking. In: L. DuBousquet, Jean-Luc Richier (Eds): 9th International Conference on Feature Interactions in Software and Communication Systems, IOS Press, 2008 (Proc. of ICFI ’07, Grenoble, France, Sept. 2007), 77-92.

PDF Plesa, R., Logrippo, L. An Agent-Based Architecture for Contex-Aware Communications. Proc. of the 21st International Conference on Advanced Information Networking and Applications Workshops (PCAC-07 Niagara Falls, May 2007), IEEE Press, Vol.2, 133-138.

PDF Xu, Y., Logrippo, L., Sincennes, J. Detecting Feature Interactions in CPL. Journal of Network and Computer Applications 30 (2) (2007), 775-799.

PDF Crespo, R.G., Carvalho, M., Logrippo, L. Distributed Resolution of Feature Interactions for Internet Applications. Computer Networks 51 (2) (2007) 382-397.

PDF Jiang, D., Liscano, R., Logrippo, L. Personalization of Internet Telephony Services for Presence with SIP and Extended CPL. Computer Communications 29 (18) (Nov. 2006) 3766-3779.

PDF Gorse, N., Logrippo, L., Sincennes, J. Formal Detection of Feature Interactions with Logic Programming and LOTOS. Journal on Software and System Modelling, 5 (2), 2006, 121-134. Note 1: This paper was mistakenly published under the title: Detecting Feature Interactions in CPL. Note 2: Although the title of this paper is rather specific with its reference to Logic Programming and LOTOS, the principles presented in the first part are generic and have been used in other papers.

PDF de Castro Andrade, R. M., Logrippo, L. MoRaR: A Pattern Language for Mobility and Radio Resource Management. Appeared in reedited form in: D.Manolescu, J.Noble, M. Voelter - Pattern Languages of Program Design 5, Chapter 10. Addison-Wesley, 2006, 213-255

PDF Amyot, D., Gray, T., Liscano, R., Logrippo, L., Sincennes, J. Interactive Conflict Detection and Resolution for Personalized Features. Journal of Communications and Networks, 7 (3), 2005, 353-366.

PDF Plesa, R., Logrippo, L. Enhanced Communications Servers through Context Integration. In T. Magedanz, A. Karmouch, S. Pierre, I. Venieris (Eds) - Mobility Aware Technologies and Applications – (MATA, Montreal Oct. 2005) Short papers volume, 1-5.

PDF Mankai, M., Logrippo, L. Access Control Policies: Modeling and Validation. Proceedings of NOTERE 2005 (Gatineau, August) 85-91.

PDF Hassan, W., Logrippo, L. Governance Policies for Privacy Access Control and their Interactions. In: S.Reiff-Marganiec, M.D. Ryan (Eds) Feature Interactions in Telecommunications and Software Systems. (Proc. of the VIII International Conference on Feature Interaction, ICFI 2005), Leicester, UK, IOS Press, 2005, 114-130.

PDF Amyot, L., Logrippo, L., Weiss, M. Generation of test purposes from Use Case Maps. Computer Networks 49 (5), 2005, 643-660.

PDF Dini, P., Clemm, A., Gray, T., Lin, F.J., Logrippo, L., Reiff-Marganiec, S. Policy-enabled Mechanisms for Feature Interactions: Reality, Expectations, Challenges. Computer Networks, 45 (5), 2004, 585 - 603.

Old papers that are still cited occasionally …

PDF Logrippo, L., Faci, M., and Haj-Hussein, M. An Introduction to LOTOS: Learning by Examples. Computer Networks and ISDN Systems 23(5) (1992) 325-342. Errata in 25(1) (1992) 99-100.

PDF Guillemot, R., Haj-Hussein, M., Logrippo, L. Executing large LOTOS specifications. In: S. Aggarwal, K. Sabnani (Eds): Protocol Specification, Testing and Verification VIII (Proc. of the PSTV VIII Symposium). Elsevier-IFIP 1988, 399-410.

PDF Logrippo, L., Obaid, A., Briand, J.P., Fehri, M.C. An Interpreter for LOTOS, a Specification Language for Distributed Systems. Software-Practice and Experience Vol 18(4), 365-385 (April 1988).

Note: This paper was written in 1986. It presents the first LOTOS interpreter realized in the world. However the language discussed is different from the one which eventually became a standard.

PDF Chris A. Vissers and Luigi Logrippo. The Importance of the Service Concept in the Design of Data Communications Protocols".

This paper appeared, in slightly different form, in M. Diaz (Ed.) Protocol Specification, Testing, and Verification, V. (Proc. of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing and Verification) Elsevier-North-Holland, 1986, 3-17.

Very old papers that haven’t been cited at all…

Some of my best papers are those that resulted from my PhD thesis, years of work… with the help of my supervisors, John Brzozowski and Ed Ashcroft, as well as the inspiration of my external examiner, Ray Miller. They have received 0 citations, probably because the topic has never been fashionable. But I know that they are a lot better than some papers of mine that have been cited dozens of times. So much for citation counts.

PDF Logrippo, L. Renamings and Economy of Memory in Program Schemata. J. ACM 25(1), (Jan. 1978), 10-22

In an imperative program, written in a low-level language or in assembler or even in machine language, it is possible to change the name of the variables so that the results computed are unchanged. This paper explains precisely how this works. This equivalent-preserving transformation is at the basis of program optimizations such as efficient register allocation or efficient memory allocation, used in optimizing compilers.

PDF Logrippo, L. Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata. J. ACM 26(4), (Oct. 1979), 819 - 833

This paper continues the work presented in the previous paper. It shows formally that by allocating more memory space, the parallelism of a program can be increased. For example, the parallelism of a producer-consumer system can be increased by increasing the length of the queue between the producer and consumer. Pipelined processors with instruction look-ahead use the same principle.

Some non-technical papers

HTML A Formal Logic Perspective on Law, Jurisprudence, and Information Technology in a Historical Context

PDF Mario Bolognani, Luigi Logrippo. Le origini del software industriale in Italia (The origins of Software Industry in Italy, in Italian). Sviluppo e Organizzazione, Marzo-Aprile 2009, 52-63.

HTML My first two computers: Elea 9003 and Elea 6001. Winter 2007.

PDF Review of two books on early electronic music in Italy. MusicWorks. Winter 2006

PDF A capsule history of the Department of Computer Science, University of Ottawa