Nacido en Jaca (España) en 1963, Javier Campos se licenció en Matemáticas por la Universidad de Zaragoza, España, en 1986 y se doctoró en Ingeniería de Sistemas e Informática en 1990 por la misma Universidad con Premio Extraordinario. En 1986 se incorporó al Departamento de Ingeniería Eléctrica e Informática de la Universidad de Zaragoza. Fue Coordinador del Postgrado en Informática desde 1993 a 1997 y Director del Departamento de Informática e Ingeniería de Sistemas desde 2001 a 2003. En 2005, el Dr. Campos fue nombrado Catedrático del área de Lenguajes y Sistemas Informáticos en el mismo Departamento, tras obtener una de las dos primeras plazas de habilitación convocadas en el área a nivel nacional. Tiene reconocidos seis quinquenios docentes por la Universidad de Zaragoza y cinco sexenios de investigación por la Comisión Nacional Evaluadora de la Actividad Investigadora.
Sus temas de investigación incluyen el modelado y análisis de prestaciones de sistemas concurrentes y distribuidos, redes de Petri, evaluación del rendimiento de software y modelado y análisis de prestaciones de sistemas de fabricación y sistemas de telecomunicación. Ha tutelado la realización de más de un centenar de Proyectos Fin de Carrera de Ingeniería y tres Tesis Doctorales. Desde 1989 ha sido autor o co-autor de unos cien trabajos de investigación publicados en revistas y conferencias nacionales e internacionales tras proceso de revisión por pares. Ha sido ponente invitado en sesiones plenarias y en seminarios tutoriales en varias conferencias de primer nivel, como por ejemplo el IEEE International Workshop on Petri Nets and Performance Models, la International Conference on Application of Concurrency to System Design y la International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Ha formado parte de los comités científicos, algunas veces como presidente, de varias conferencias internacionales, como la International Conference on Quantitative Evaluation of Systems, el European Performance Engineering Workshop, el International Workshop on Software and Performance, la IEEE Conference on Automation Science and Engineering o la IEEE International Conference on Emerging Technologies and Factory Automation. Ha sido editor invitado de la sección especial sobre Formal Methods in Manufacturing de IEEE Transactions on Industrial Informatics, editor asociado de la revista IEEE Transactions on Industrial Informatics, y editor del número especial sobre Quantitative Evaluation of Systems de la revista Leibniz Transactions on Embedded Systems. Es Co-Editor del libro Formal Methods in Manufacturing.
El Dr. Campos es miembro fundador del Instituto de Investigación en Ingeniería de Aragón, miembro de la Asociación de Ingenieros en Informática de Aragón y miembro fundador de la Sociedad de Computación Concurrente y Distribuida. Es miembro del comité directivo de la International Conference on Quantitative Evaluation of SysTems (QEST). Ha sido presidente de la Sociedad de Computación Concurrente y Distribuida, miembro del IEEE IES Technical Committee on Factory Automation, y co-presidente del IEEE IES Technical Sub-Committee on Industrial Automated Systems and Controls.
Journal articles
- Rodríguez Fernández, Ricardo Julio; Campos, Javier. On Throughput Approximation of Resource-Allocation Systems by Bottleneck Regrowing. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY. 2017. DOI: 10.1109/TCST.2017.2768512
- Pérez, S.; Facchini, H.; Dantiacq, A.; Cangemi, G.; Campos, J. Analysis of Impact in the Wi-Fi QoS of the EDCA Parameters. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY. 2015
- Bernardi, Simona; Campos, Javier. A Min-Max Problem for the Computation of the Cycle Time Lower Bound in Interval-Based Time Petri Nets. IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS. 2013. DOI: 10.1109/TSMCA.2012.2226442
- Pérez, Santiago; Facchini, Higinio; Mercado, Gustavo; Bisaro, Luis; Campos, Javier. Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY. 2013
- Perez,S. C.;Facchini,H. A.;Bisaro,L. A.;Campos,J. Tuning mechanism for IEEE 802.11e EDCA optimization. IEEE LATIN AMERICA TRANSACTIONS. 2013. DOI: 10.1109/TLA.2013.6601760
- Perez, S.;Facchini, H.;Mercado, G.;Bisaro, L.;Campos, J. EDCA 802.11e performance under different scenarios quantitative analysis. PROCEEDINGS - INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS. 2013. DOI: 10.1109/AINA.2013.20
- Bernardi, S.;Campos, J. ;Merseguer, J. Timing-failure risk assessment of UML design using time petri net bound techniques. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. 2011. DOI: 10.1109/TII.2010.2098415
- Campos, J. Special section on formal methods in manufacturing. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. 2010
- Bernardi, S.; Campos, J. Computation of Performance Bounds for Real-Time Systems using Time Petri Nets. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. 2009. DOI: 10.1109/TII.2009.2017201
- Perez-Jimenez, C. J.;Campos,J.;Silva,M. Approximate Throughput Computation of Stochastic Weighted T-Systems. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS. 2007
- Campos,J.;Merseguer,J. On the integration of UML and Petri nets in software development. LECTURE NOTES IN COMPUTER SCIENCE. 2006
- Merseguer, J.;Campos, J. Software Performance Modeling Using Uml and Petri Nets. LECTURE NOTES IN COMPUTER SCIENCE. 2004
- López-Grao, Juan-Pablo; Merseguer, José; Campos, Javier. From UML activity diagrams to stochastic Petri nets: Application to software performance engineering. SOFTWARE ENGINEERING NOTES. 2004
- Merseguer, J.;Campos, J.;Mena, E. Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. WIRELESS NETWORKS. 2003
- Merseguer, José; Campos, Javier; Mena, Eduardo. A Performance Engineering Case Study: Software Retrieval System. LECTURE NOTES IN COMPUTER SCIENCE. 2001. DOI: 10.1007/3-540-45156-0_20
- Campos, J.;Donatelli, S.;Silva, M. Structured solution of asynchronously communicating stochastic modules. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 1999
- Campos, J.;Colom, J. M.;Jungnitz, H.;Silva, M. Approximate Throughput Computation of Stochastic Marked Graphs. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 1994
- Teruel, E.; Silva, M.; Colom, J.M.; Campos, J. Functional and Performance Analysis of Cooperating Sequential Processes. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES. 1994. DOI: 10.1007/BFb0033545
- Campos, J.;Silva, M. Embedded Product-Form Queuing-Networks and the Improvement of Performance Bounds for Petri-Net Systems. PERFORMANCE EVALUATION. 1993
- Campos, J.;Silva, M. Structural Techniques and Performance Bounds of Stochastic Petri Net Models. LECTURE NOTES IN COMPUTER SCIENCE. 1992
- Campos, J.;Chiola, G.;Colom, J. M.;Silva, M. Properties and Performance Bounds for Timed Marked Graphs. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICAT. 1992
- Campos, J.;Chiola, G.;Silva, M. Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queuing-Networks. IEEE TRANSACTIONS ON AUTOMATIC CONTROL. 1991
- Campos, J.;Chiola, G.;Silva, M. Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 1991
Books
- Quantitative Evaluation of Systems. Campos, Javier. 2015
- Javier Campos, Boudewijn R. Haverkort (eds.). Quantitative evaluation of systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings. 2015
- Formal Methods in Manufacturing. Campos Laclaustra, Francisco Javier ; Seatzu, Carla ; Xie, Xiaolan. 2014
- edited by Javier Campos, Carla Seatzu, Xiaolan Xie. Formal methods in manufacturing. 2014
- Javier Campos Lacaustra. Estructuras de datos y algoritmos. 2001
- Javier Campos Laclaustra. Estructuras de datos y algoritmos. 1995
- Javier Martínez, Santiago Velilla, Javier Campos. Programación I: curso 1991-92. 1991
- Javier Campos ... [et al.]. Problemas de informática. 1989
Scientific chapters
- Experimental study of unicast and multicast video traffic using WAN test bed. Pérez, Santiago ; Campos Laclaustra, Francisco Javier ; Facchini, Higinio ; Dantiacq, Alejandro. BIENNIAL CONGRESS OF ARGENTINA (ARGENCON), 2016 IEEE. 2016
- On Performance Bounds for Interval Time Petri Nets. Bernardi, Simona; Campos, Javier. PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON QUANTITATIVE EVALUATION OF SYSTEMS. 2004
Projects
- TED2021-131115A-I00: Indicadores de compromiso de malware mejorados me- diante análisis forense de memoria. 01/12/22 - 30/09/25
- JIUZ-2020-TEC-08: Secure-TBed4IIoT: Testbed para evaluación de seguridad en entornos IoT industriales. 01/01/21 - 31/12/21
- T21_20R: Grupo De I+D En Computación Distribuida (DisCo). 01/01/20 - 31/12/22
- RTI2018-098543-B-I00: INGENIERÍA DE RESILIENCIA DIRIGIDA POR EL MODELADO Y ANÁLISIS DE DATOS PARA SISTEMAS DINÁMICOS COMPLEJOS. 01/01/19 - 30/06/21
- GRUPO DE REFERENCIA GRUPO DE I+D EN COMPUTACIÓN DISTRIBUIDA (DisCo). 01/01/17 - 31/12/19
- GRUPO CONSOLIDADO T94 GRUPO DE I+D EN COMPUTACIÓN DISTRIBUIDA (DisCo). 01/01/16 - 31/12/16
- GRUPO CONSOLIDADO T94 GRUPO DE I+D EN COMPUTACIÓN DISTRIBUIDA (DisCo). 01/01/15 - 31/12/15
- TIN2014-58457-R: INFRAESTRUCTURAS CRÍTICAS RESISTENTES A CIBER-ATAQUES. APLICANDO LA MINERÍA DE PROCESOS Y EL DISEÑO SOFTWARE ORIENTADO A LA SEGURIDAD. 01/01/15 - 30/06/18
- GRUPO CONSOLIDADO T94 GRUPO DE I+D EN COMPUTACIÓN DISTRIBUIDA (DisCo). 01/01/14 - 31/12/14
- MECANISMOS DE MEJORA DEL RENDIMIENTO Y CALIDAD DE SERVICIO EN REDES WI-FI. 01/01/14 - 31/12/14
- GRUPO CONSOLIDADO T27 INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS (GISED). 01/01/13 - 31/12/13
- TIN2011-24932 UNA METODOLOGIA DE ANÁLISIS GUIADA POR EL MODELADO PARA SISTEMAS EMPOTRADOS DISTRIBUIDOS CON SUPERVIVENCIA CRÍTICA. 01/01/12 - 31/12/14
- GRUPO CONSOLIDADO T27 INGENIERÍA DE SISTEMAS DE EVENTOS DISCRETOS (GISED). 01/01/11 - 31/12/12
- UZ2008-TEC-10: DISEÑO DE SISTEMAS EMPOTRADOS: ANÁLISIS DE PRESTACIONES Y FIABILIDAD. 01/01/09 - 31/12/09
- GRUPO EXCELENTE T27 GRUPO DE INGENIERIA DE SISTEMAS DE EVENTOS DISCRETOS (GISED). 01/01/08 - 31/12/10
- UZ2007-TEC-08 DISEÑO DE SISTEMAS EMPOTRADOS: ANÁLISIS DE FIABILIDAD Y SEGURIDAD. 01/01/08 - 31/12/08
- DPI2006-15390 TÉCNICAS FORMALES ANÁLISIS Y DISEÑO DE SISTEMAS DE EVENTOS DISCRETOS E HÍBRIDOS. APLICACIÓN A SISTEMAS LOGÍSTICOS Y DE TIEMPO REAL. 01/10/06 - 30/04/10
- INF2005-TEC-002. ESTACIONES DE TRABAJO Y PERIFERIA PARA EL LABORATORIO INFORMATICO DE INVESTIGACION DEL GRUPO. 13/07/05 - 31/12/05
- GRUPO EXCELENTE T27 INGENIERIA DE SISTEMAS DE EVENTOS DISCRETOS. GISED. 01/01/05 - 31/12/07
- DOTACION ADICIONAL2003. TIC2003-05226. 01/12/03 - 30/11/05
- TIC2003-05226 EVALUACION DE PRESTACIONES DE SISTEMAS DE INFORMACION HACIENDO USO DE UML Y REDES DE PETRI: FASE 2. 01/12/03 - 31/08/06
- ACC.INT. HI2002-0064. DESARROLLO DE UNA HERRAMIENTA DE PREDICCION DEL COMPORTAMIENTO DE SISTEMAS SOFTWARE BASADA EN TECNICAS DE ALGEBRA TENSORIAL. 01/01/03 - 31/12/04
- GRUPO CONSOLIDADO T27 INGENIERIA DE SISTEMAS DE EVENTOS DISCRETOS. 01/01/03 - 31/12/04
- TIC2002-04334-C03-02.EVALUACION DE PRESTACIONES DE SISTEMAS DE INFORMACION HACIENDO USO DE UML Y REDES DE PETRI. 01/12/02 - 30/11/03
- VI CONGRESOS 2001.X JORNADAS DE CONCURRENCIA. 18/07/02 - 31/12/02
- TIC2001-4564-E.X JORNADAS DE CONCURRENCIA. 01/07/02 - 30/06/03
- ACCIONES DE PRODUCCION DE MATERIAL DOCENTE A2. 22/05/02 - 31/12/02
- TERCER TIPO PROYECTOS SERON. "PUESTA EN MARCHA DEL SISTEMA DE INFORMACION CORPORATIVO DEPARTAMENTAL DEL DEPARTAMENTO DE INFORMATICA". 22/05/02 - 31/12/02
- X JORNADAS DE CONCURRENCIA. 11/04/02 - 10/04/03
- P084/2001. APLICACION DE LA TECNOLOGIA DE AGENTES MOVILES A SERVICIOS DE DATOS EN ENTORNOS INALAMBRICOS Y EVALUACION DE SU RENDIMIENTO. 01/01/02 - 31/12/04
- UZ00-TEC-03.EVALUACION DEL RENDIMIENTO DE SOFTWARE DISTRIBUIDO UTILIZANDO MODELO FORMALES. 01/01/01 - 31/12/02
- INFRAESTRUCTURA. CONVOCATORIA EXTRAORDINARIA. 01/12/00 - 31/12/01
- TAP98-0679 DISEÑO Y OPERACIÓN DE SISTEMASDE EVENTOS DISCSRETOS:APROXIMACIÓN FORMAL Y APLICACIÓN A SISTEMAS DE PRODUCCIÓN. 01/10/98 - 30/09/01
Contracts
- AUDITORÍA Y CONSULTORÍA EN SISTEMAS DE TICKETING. 15/04/19 - 31/12/19
- CONSULTORÍA PARA LA MEJORA EN EL PROCESO DE ANÁLISIS DE PROCESOS LEGÍTIMOS EN
VOLCADOS DE MEMORIA OBTENIDOS DE MÁQUINAS COMPROMETIDAS. 08/04/19 - 31/12/19
- INTELIGENCIA DE NEGOCIO Y CIBERSEGURIDAD EN LA NUBE. 01/12/17 - 31/12/23
Participation in conferences
- XXI Jornadas de Concurrencia y Sistemas Distribuidos. Participativo - Ponencia oral (comunicación oral). A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets. San Sebastián. 19/06/13
- 1st International Conference on Quantitative Evaluation of Systems (QEST'04). Participativo - Ponencia oral (comunicación oral). On Performance Bounds for Interval Time Petri Nets. Enschede. 27/09/04
- 27 Congreso Nacional de Estadística e Investigación Operativa. Participativo - Ponencia oral (comunicación oral). Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba. Lleida. 08/04/03
- 6th International Workshop on Discrete Event Systems (WODES 2002). Participativo - Ponencia oral (comunicación oral). A compositional semantics for UML State Machines aimed at performance evaluation. Zaragoza. 02/10/02
Research stays
- Universidad Tecnológica Nacional, Facultad Regional de Mendoza. Mendoza. Argentina. 07/12/14 - 11/12/14
Committees
- QEST2016. Program Committee of the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2. 09/11/15 - 31/10/16
- SC QEST. Steering Committee of the International Conference on Quantitative Evaluation of SysTems (QEST). 21/09/15 - 30/09/20
Other merits
- Seminario de Posgrado: “EVALUACIÓN DE PRESTACIONES DE SISTEMAS”. Aprobado por Ordenanza 1112 del Consejo Superior de la Universidad Tecnológica Nacional de Argentina.
Exposición Teórica 9/12 y 10/12 de 18:00 a 21:00.
Duración: 20 horas.
Lugar: Facultad de Ingeniería de la Universidad de Mendoza.
Acceso: Gratuito.
Destinatarios: Doctorandos, maestrandos, y profesionales orientados a la investigación para la formación conceptual y estado del arte en técnicas avanzadas de modelación.
CONTENIDOS
PRIMERA PARTE: 'Modelado y análisis de rendimiento de sistemas: el paradigma de las Redes de Petri'
SEGUNDA PARTE: 'Investigación en Redes de Petri: trabajos recientes y líneas abiertas'. 09/12/14
UNIZAR teaching of the last six courses
|