Research in Computer Science and its Applications
The Pragmatics laboratory is a laboratory focused on computer science research and its applications. Concretely, we work on software development from programming languages and software engineering; in addition, we study real-world applications of computer science. If you are interested in knowing more about us, please visit research areas and publications Web pages.
Real-time DDoS Attack Defense System in SDN Using LSSOM
We have published and presented this paper at the 26th Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN). DOI: https://doi.org/10.1109/ICIN56760.2023.10073509 ABSTRACT: Software-Defined Networking (SDN) is a new paradigm in network architecture that improves scalability, flexibility, control, and network management by separating the control plane from the data plane. SDN controllers have a […]
We have published and presented a paper at the 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP ’23). DOI: https://doi.org/10.1145/3605156.3606451 ABSTRACT: Static analyses, as points-to analysis, are useful to determine and assure different properties about a program, such as security or typesafety. While existing analyses are effective in programs restricted to static […]
We develop tools, techniques, and methodologies to help software developers be better at their job of creating scalable, maintainable, and robust software products. We have a particular focus on language-based mechanisms and paradigms, as well as language-oriented tools.
We develop middleware systems for distributed systems such as wireless sensor networks, Internet of Things, and autonomous robots. We also develop system software such as embedded operating systems and virtual machines that support the infrastructure of distributed systems.
Computing for Business
We develop novel computational solutions to business problems related to finance, accounting, tourism, decision science, and information systems. Our work is not only focused on advanced business analytics, but also in the application of agent-based simulations to improve the comprehension of complex economical phenomena.