QUIVIR Research Group
Edit Page
Page Revisions
Contact Us



Upcoming Events

Projects and Research




Master Thesis



Faculty Members

Rafael M. Gasca, PhD

María Teresa Gómez, PhD

Pablo Neira Ayuso, PhD

Sergio Pozo Hidalgo, PhD

Rafael Ceballos, PhD

Fernando de la Rosa, PhD

Miguel Toro, PhD

Diana Borrego, PhD

Ángel Jesús Varela Vaca, PhD

Luisa Parody, PhD

José Miguel Pérez Álvarez


TDiaCO-BPMS (2010)

OPbus (2009)

Edit Menu

This is the page where you can find software developed by QUIVIR staff


  • Conntrackd by Pablo Neira The Connection Tracking System is an in-kernel subsystem that stores information about the state of the connections that the firewall is currently forwarding. Such extra information inherently enables a more intelligent way to define filtering policies that is also known as Stateful firewalling. In other words, this subsystem let us detect malformed packets, invalid sequences for OSI layer 3 and 4 protocol, eg. TCP reset attacks and portscans, and other rarities that are invalid in terms of the protocol specification.
  • AFPL v2 by Sergio Pozo. Abstract Firewall Policy Language, AFPL v2, is an abstract domain specific language to model firewall ACLs. The main design objectives are simplicity, support of a wide range of features also supported by the marked-leader firewall platforms (including NAT), and extensibility. In fact, ACLs specified with it can be compiled to market-leader firewall languages. Its main features and design issues have been described in several publications (available in my publication list).
  • Event log by Diana Borrego and Irene Barba. Business process instances which have been generated for the empirical evaluation of the approach described in the paper "Data-Aware Conformance Checking for Declarative Business Process Models", by Diana Borrego, Irene Barba and Pedro J Abad (ISD 2013, to appear).


  • TestPointAllocator by Diana Borrego. This web application allocates test points in business processes in an efficient way, in order to monitor them, improving their diagnosability and making easier a later diagnosis process. The allocation of test points is performed in accordance with three different objectives which depend on the needs or the requirements to achieve.
  • OPBUS-* by Angel Jesus Varela Vaca. This web site contains information and downloable content related to OPBUS framework. OPBUS is a framework composed of different tools for automated risk management of business processes. OPBUS is ready to use solvers for the automated analyses in business processes.
  • CombiS-BP Editor (by Luisa Parody). This web site contains information and downloable content related to CombiS-BP Editor. CombiS-BP Editor is an extension of OPBUS-RAT framework which enables a combination of imperative and declarative specification of a business processes.
Edit Page - Page Revisions - RecentChanges

Send comments and suggestions to: gasca@lsi.us.es
Page last modified on February 13, 2014, at 10:23 AM