[1] Andrea Ceballos, Luis Daniel Benavides-Navarro, and Victoria Eugenia Ospina. Towards a measuring framework for knowledge creation in smart cities. In Yannis Charalabidis, Maria Alexandra Cunha, and Demetrios Sarantis, editors, Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance (ICEGOV2020) 23-25 September 2020, Athens, Greece., New York, September 2020. ACM Press. [ bib ]
[2] M. Sanabria-Ardila, Luis Daniel Benavides-Navarro, D. Díaz-López, and W. Garzón-Alfonso. A semantic framework for the design of distributed reactive real-time languages and applications. IEEE Access, 8:143862-143880, 2020. [ bib ]
[3] F. Boujdad, A. Gaignard, M. Südholt, W. Garzón-Alfonso, L. D. Benavides Navarro, and R. Redon. On distributed collaboration for biomedical analyses. In 2019 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), pages 611-620, 2019. [ bib ]
[4] Mateo Sanabria, Wilmer Garzón Alfonso, and Luis Daniel Benavides Navarro. Towards real-time semantics for a distributed event-based mop language. In El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery, Kazumi Nakamatsu, and Carlos Ordonez, editors, New Trends in Model and Data Engineering, pages 231-243, Cham, 2018. Springer International Publishing. [ bib ]
[5] Luis Daniel Benavides Navarro, Camilo Pimienta, Mateo Sanabria, Daniel Díaz, Wilmer Garzón, Willson Melo, and Hugo Arboleda. Real-t: Time modularization in reactive distributed applications. In Jairo E. Serrano C. and Juan Carlos Martínez-Santos, editors, Advances in Computing, volume 885, pages 113-127, Cham, 2018. Springer International Publishing. [ bib | DOI | http ]
In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal Logic for declarative time predicates, and a distributed-time aware event model. We have developed a compiler for the language and a dynamic run-time framework. To validate the proposal we study detection of complex patterns of security vulnerabilities in IoT scenarios.

[6] Luis Daniel Benavides Navarro, Andrés Barrera, Kiyoshige Garcés, and Hugo Arboleda. Detecting and coordinating complex patterns of distributed events with ketal. Electronic Notes in Theoretical Computer Science, 281(0):127 - 141, 2011. [ bib | DOI | http ]
Keywords: automata
[7] Ismael Mejía, Mario Südholt, and Luis Daniel Benavides Navarro. A study of invasive composition for the evolution of a health information system. In Proceedings of the 2nd international workshop on Variability and composition, VariComp '11, pages 7-11, New York, NY, USA, 2011. ACM. [ bib | DOI | http ]
Keywords: aspect-oriented programming, distributed systems, health information systems, invasive software composition
[8] Luis Daniel Benavides Navarro and Mario Südholt Rémi Douence. Debugging and testing middleware with aspect-based control-flow and causal patterns. In In proceedings of the ACM-IFIP-USENIX 9th International Middleware Conference, Leuven, Belgium, December 2008. Springer-Verlag. [ bib ]
[9] Luis Daniel Benavides Navarro, Rémi Douence, Angel Nuñez, and Mario Südholt. LTS-based semantics and property analysis of distributed aspects and invasive patterns. In 3rd International Workshop on Aspects, Dependencies and Interactions at the 22nd European Conference on Object-Oriented Programming ECOOP'08, July 2008. [ bib | .pdf ]
[10] Luis Daniel Benavides Navarro and Mario Südholt Rémi Douence. Aspect-based patterns for grid programming. In In proceedings of the 20th International Symposium on Computer Architecture and High Performance Computing, Campo Grande,MS, Brasil, October 2008. IEEE Computer Society. [ bib ]
[11] Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, and Jean-Marc Menaud. Invasive patterns: aspect-based adaptation of distributed applications. In 4th International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT07) at the 21st European Conference on Object-Oriented Programming ECOOP'07, July 2007. [ bib | .pdf ]
[12] Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, and Jean-Marc Menaud. Invasive patterns for distributed programs. In Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA'07), LNCS. Springer Verlag, November 2007. ISSN: 0302-9743. [ bib | .pdf ]
[13] Luis Daniel Benavides Navarro, Christa Schwanninger, Robert Sobotzik, and Mario Südholt. Atoll: aspect-oriented toll system. In ACP4IS '07: Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software, page 7, New York, NY, USA, March 2007. ACM Press. [ bib | DOI | .pdf ]
[14] Luis Daniel Benavides Navarro, Mario Südholt, Wim Vanderperren, Bruno De Fraine, and Davy Suvée. Explicitly distributed aop using awed. In AOSD '06: Proceedings of the 5th international conference on Aspect-oriented software development, pages 51-62, New York, NY, USA, March 2006. ACM Press. [ bib | DOI | .pdf ]
[15] Luis Daniel Benavides Navarro, Mario Südholt, Wim Vanderperren, and Bart Verheecke. Modularization of distributed web services using awed. In In Proceedings of On the Move to Meaningful Internet systems 2006: CoopIS, DOA,GADA, and ODBASE. 8th Int. Symposium on Distributed Objects and Applications (DOA'06), LNCS, pages 1449-1466, Berlin, Germany, November 2006. Springer Verlag. ISSN: 0302-9743. [ bib | .pdf ]
[16] Luis Daniel Benavides Navarro, Mario Südholt, Wim Vanderperren, Bruno De Fraine, and Davy Suvée. Explicitly distributed aop using awed. Research Report RR-5882, INRIA, March 2006. Slightly extended version of [Benavides et al., AOSD'06]. [ bib | .pdf ]

This file was generated by bibtex2html 1.96.