| Dice: Quality-driven development of data-intensive cloud applications G Casale, D Ardagna, M Artac, F Barbier, E Di Nitto, A Henry, G Iuhasz, ... 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering …, 2015 | 76 | 2015 |
| Bisimulator: A modular tool for on-the-fly equivalence checking D Bergamini, N Descoubes, C Joubert, R Mateescu International Conference on Tools and Algorithms for the Construction and …, 2005 | 59 | 2005 |
| Monitoring user interactions for supporting failure reproduction T Roehm, N Gurbanova, B Bruegge, C Joubert, W Maalej 2013 21st International Conference on Program Comprehension (ICPC), 73-82, 2013 | 42 | 2013 |
| Distributed on-the-fly model checking and test case generation C Joubert, R Mateescu International SPIN Workshop on Model Checking of Software, 126-145, 2006 | 37 | 2006 |
| DISTRIBUTOR and BCG_MERGE: tools for distributed explicit state space generation H Garavel, R Mateescu, D Bergamini, A Curic, N Descoubes, C Joubert, ... International Conference on Tools and Algorithms for the Construction and …, 2006 | 33 | 2006 |
| A set of performance and dependability analysis components for CADP H Hermanns, C Joubert International Conference on Tools and Algorithms for the Construction and …, 2003 | 25 | 2003 |
| Distributed local resolution of boolean equation systems C Joubert, R Mateescu 13th Euromicro Conference on Parallel, Distributed and Network-Based …, 2005 | 23 | 2005 |
| Implementing influence analysis using parameterised boolean equation systems M del Mar Gallardo, C Joubert, P Merino Second International Symposium on Leveraging Applications of Formal Methods …, 2006 | 20 | 2006 |
| Datalog-based program analysis with BES and RWL M Alpuente, MA Feliú, C Joubert, A Villanueva International Datalog 2.0 Workshop, 1-20, 2010 | 18 | 2010 |
| Distributed on-the-fly equivalence checking C Joubert, R Mateescu Electronic Notes in Theoretical Computer Science 128 (3), 47-62, 2005 | 18 | 2005 |
| Distributed model checking: From abstract algorithms to concrete implementations C Joubert Electronic Notes in Theoretical Computer Science 89 (1), 114-127, 2003 | 18 | 2003 |
| Defining datalog in rewriting logic M Alpuente, MA Feliú, C Joubert, A Villanueva Logic-Based Program Synthesis and Transformation: 19th International …, 2010 | 14 | 2010 |
| Using datalog and boolean equation systems for program analysis M Alpuente, MA Feliú, C Joubert, A Villanueva International Workshop on Formal Methods for Industrial Critical Systems …, 2008 | 13 | 2008 |
| A model-extraction approach to verifying concurrent C programs with CADP MM Gallardo, C Joubert, P Merino, D Sanán Science of Computer Programming 77 (3), 375-392, 2012 | 12 | 2012 |
| A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study S Bernardi, JI Requeno, C Joubert, A Romeu Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 24-29, 2016 | 10 | 2016 |
| A systematic approach for performance assessment using process mining: An industrial experience report S Bernardi, JL Domínguez, A Gómez, C Joubert, J Merseguer, ... Empirical Software Engineering 23, 3394-3441, 2018 | 8 | 2018 |
| On-the-fly data flow analysis based on verification technology M del Mar Gallardo, C Joubert, P Merino Electronic Notes in Theoretical Computer Science 190 (4), 33-48, 2007 | 8 | 2007 |
| On-the-fly model checking for C programs with extended CADP in FMICS-jETI M del Mar Gallardo, P Merino, C Joubert, D Sanán 12th IEEE International Conference on Engineering Complex Computer Systems …, 2007 | 8 | 2007 |
| Implementing datalog in maude M Alpuente, M Feliú, C Joubert, A Villanueva Proceedings of the IX Jornadas sobre Programación y Lenguajes (PROLE’09) and …, 2009 | 7 | 2009 |
| Piacere: Programming trustworthy infrastructure as code in a secure framework J Alonso, C Joubert, L Orue-Echevarria, M Pradella, D Vladušič CEUR Workshop Proceedings, 2021 | 6 | 2021 |
María del Mar GallardoProfessor of Computer Science, University of MalagaVerified email at lcc.uma.es
