Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez.
Implementation Relations for Distributed Testing.
Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
to Jan Peleska on the Occasion of His 65th Birthday.
In {editor}, editor
Springer.
14165.
34--48.
2023..
10.1007/978-3-031-40132-9_3.
Rui Abreu, Jo\~ao Paulo Fernandes, Luis Llana, Guilherme Tavares.
Metamorphic Testing of Oracle Quantum Programs.
3rd {IEEE/ACM} International Workshop on Quantum Software Engineering,
Q-SE@ICSE 2022, Pittsburgh, PA, USA, May 18, 2022.
IEEE.
16--23.
2022..
10.1145/3528230.3529189.
Manuel Méndez, Alfredo Ibias, Manuel Núñez.
Using Deep Learning to Detect Anomalies in Traffic Flow.
Intelligent Information and Database Systems - 14th Asian Conference,
{ACIIDS} 2022, Ho Chi Minh City, Vietnam, November 28-30, 2022, Proceedings,
Part {I}.
In {editor}, editor
Springer.
13757.
299--312.
2022..
10.1007/978-3-031-21743-2_24.
Elena Gómez-Martínez, José Ignacio Requeno.
Adaptative Systems Based on Continuous Observation of Petri Net Product
Lines.
Petri Nets and Software Engineering 2022 co-located with the 43rd
International Conference on Application and Theory of Petri Nets and
Concurrency {(PETRI} {NETS} 2022), Bergen, Norway, June 20th, 2022.
In {editor}, editor
CEUR-WS.org.
3170.
211--212.
2022..
.
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz.
MC/DC Test Cases Generation Based on BDDs.
Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings.
In {editor}, editor
Springer.
13071.
178--197.
2021..
10.1007/978-3-030-91265-9_10.
Hernán-Indibil de la Cruz, María-Emilia Cambronero, Valentín Valero, Pablo C. Cañizares, Adrian Bernal, Alberto Núñez.
Studying the Impact of the User Subscription Times in Different Cloud
Configurations.
The 33rd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2021.
In {editor}, editor
KSI Research Inc..
211--216.
2021..
10.18293/SEKE2021-095.
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz.
Hardware-Assisted Online Data Race Detection.
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund
on the Occasion of His 65th Birthday.
In {editor}, editor
Springer.
13065.
108--126.
2021..
10.1007/978-3-030-87348-6_6.
Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace.
Themulus: A Timed Contract-calculus.
Proceedings of the 8th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
25-27, 2020.
In {editor}, editor
SCITEPRESS.
193--204.
2020..
10.5220/0008878001930204.
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz.
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models.
Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings.
In {editor}, editor
Springer.
12519.
68--83.
2020..
10.1007/978-3-030-65955-4_6.
Nicolas Basset, Thao Dang, Akshay Mambakam, José-Ignacio Requeno Jarabo.
Learning Specifications for Labelled Patterns.
Formal Modeling and Analysis of Timed Systems - 18th International
Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
Proceedings.
In {editor}, editor
Springer.
12288.
76--93.
2020..
10.1007/978-3-030-57628-8_5.
Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, Juan de Lara.
Automated variability injection for graphical modelling languages.
{GPCE} '20: Proceedings of the 19th {ACM} {SIGPLAN} International
Conference on Generative Programming: Concepts and Experiences, Virtual
Event, USA, November 16-17, 2020.
In {editor}, editor
ACM.
15--21.
2020..
10.1145/3425898.3426957.
Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace.
Runtime Verification of Contracts with Themulus.
Software Engineering and Formal Methods - 18th International Conference,
{SEFM} 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings.
In {editor}, editor
Springer.
12310.
231--246.
2020..
10.1007/978-3-030-58768-0_13.
Iván Calvo, Mercedes G. Merayo, Manuel Núñez.
A Trading Framework Based on Fuzzy Moore Machines.
Intelligent Information and Database Systems - 12th Asian Conference,
{ACIIDS} 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part
{I}.
In {editor}, editor
Springer.
12033.
123--134.
2020..
10.1007/978-3-030-41964-6_11.
Lorena Gutiérrez-Madroñal, Inmaculada Medina-Bulo, Mercedes G. Merayo.
Mutation Operators for Google Query Language.
Intelligent Information and Database Systems - 12th Asian Conference,
{ACIIDS} 2020, Phuket, Thailand, March 23-26, 2020, Companion Proceedings.
In {editor}, editor
Springer.
1178.
354--365.
2020..
10.1007/978-981-15-3380-8_31.
Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Núñez.
Using Genetic Algorithms to Generate Test Suites for FSMs.
Advances in Computational Intelligence - 15th International Work-Conference
on Artificial Neural Networks, {IWANN} 2019, Gran Canaria, Spain,
June 12-14, 2019, Proceedings, Part {I}.
In {editor}, editor
Springer.
11506.
741--752.
2019..
10.1007/978-3-030-20521-8_61.
Iván Calvo, Mercedes G. Merayo, Manuel Núñez, Francisco Palomo-Lozano.
Conformance Relations for Fuzzy Automata.
Advances in Computational Intelligence - 15th International Work-Conference
on Artificial Neural Networks, {IWANN} 2019, Gran Canaria, Spain,
June 12-14, 2019, Proceedings, Part {I}.
In {editor}, editor
Springer.
11506.
753--765.
2019..
10.1007/978-3-030-20521-8_62.
Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo.
Mutation testing for DSLs (tool demo).
Proceedings of the 17th {ACM} {SIGPLAN} International Workshop on
Domain-Specific Modeling, DSM@SPLASH 2019, Athens, Greece, October
20, 2019.
In {editor}, editor
ACM.
60--62.
2019..
10.1145/3358501.3361234.
Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez.
Using Ants to Fight Wildfire.
Advances in Computational Intelligence - 14th International Work-Conference
on Artificial Neural Networks, {IWANN} 2017, Cadiz, Spain, June 14-16,
2017, Proceedings, Part {II}.
In {editor}, editor
Springer.
10306.
371--380.
2017..
10.1007/978-3-319-59147-6_32.
Pablo C. Cañizares, Alberto Núñez, Juan de Lara.
MAGICIAN: Model-based design for optimizing the configuration of
data-centers.
The 29th International Conference on Software Engineering and Knowledge
Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA,
USA, July 5-7, 2017.
In {editor}, editor
KSI Research Inc. and Knowledge Systems Institute Graduate School.
602--607.
2017..
10.18293/SEKE2017-108.
Luis Llana, María-Emilia Cambronero, Gregorio Díaz.
The Simulation Relation for Formal E-Contracts.
{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings.
In {editor}, editor
Springer.
9587.
490--502.
2016..
10.1007/978-3-662-49192-8_40.
Peter T. Breuer, Jonathan P. Bowen, Simon Pickin.
Processor Rescue - Safe Coding for Hardware Aliasing.
Intelligent Software Methodologies, Tools and Techniques - 14th International
Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015. Proceedings.
In {editor}, editor
Springer.
532.
137--148.
2015..
10.1007/978-3-319-22689-7_10.
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres.
Effectiveness for Input Output Conformance Simulation iocos\unicode817.
Formal Techniques for Distributed Objects, Components, and Systems
- 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
as Part of the 9th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
Proceedings.
In {editor}, editor
Springer.
8461.
100--116.
2014..
10.1007/978-3-662-43613-4_7.
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres.
Input-Output Conformance Simulation (iocos) for Model Based Testing.
Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings.
In {editor}, editor
Springer.
7892.
114--129.
2013..
10.1007/978-3-642-38592-6_9.
Luis Llana, Rafael Martínez-Torres.
IOCO as a Simulation.
Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers.
In {editor}, editor
Springer.
8368.
125--134.
2013..
10.1007/978-3-319-05032-4_10.
Peter T. Breuer, Simon Pickin.
Soundness and Completeness of the NRB Verification Logic.
Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers.
In {editor}, editor
Springer.
8368.
389--404.
2013..
10.1007/978-3-319-05032-4_28.
Alaeddin M. H. Alawawdeh, César Andrés, Luis Llana.
CLAT: Collaborative Learning Adaptive Tutor.
Proceedings of the 24th International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City,
San Francisco Bay, {USA} July 1-3, 2012.
Knowledge Systems Institute Graduate School.
747--752.
2012..
.
Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores.
FLOP, a free laboratory of programming.
12th Koli Calling International Conference on Computing Education
Research, Koli Calling '12, Koli, Finland, November 15-18, 2012.
In {editor}, editor
ACM.
93--99.
2012..
10.1145/2401796.2401807.
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir.
The Equational Theory of Weak Complete Simulation Semantics over BCCSP.
{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings.
In {editor}, editor
Springer.
7147.
141--152.
2012..
10.1007/978-3-642-27660-6_12.
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir.
Axiomatizing Weak Ready Simulation Semantics over BCCSP.
Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
Proceedings.
In {editor}, editor
Springer.
6916.
7--24.
2011..
10.1007/978-3-642-23283-1_4.
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino.
On the Unification of Process Semantics: Observational Semantics.
{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings.
In {editor}, editor
Springer.
5404.
279--290.
2009..
10.1007/978-3-540-95891-8_27.
Manuel Rubio-Sánchez, Jaime Urquiza-Fuentes, Cristóbal Pareja-Flores.
A gentle introduction to mutual recursion.
Proceedings of the 13th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain,
June 30 - July 2, 2008.
In {editor}, editor
ACM.
235--239.
2008..
10.1145/1384271.1384334.
David de Frutos-Escrig, Carlos Gregorio-Rodríguez.
Universal Coinductive Characterisations of Process Semantics.
Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy.
In {editor}, editor
Springer.
273.
397--412.
2008..
10.1007/978-0-387-09680-3_27.
J. Ángel Velázquez-Iturbide, David Redondo-Martín, Cristóbal Pareja-Flores, Jaime Urquiza-Fuentes.
An Instructor's Guide to Design Web-Based Algorithm Animations.
Advances in Web Based Learning - {ICWL} 2007, 6th International Conference,
Edinburgh, UK, August 15-17, 2007, Revised Papers.
In {editor}, editor
Springer.
4823.
440--451.
2007..
10.1007/978-3-540-78139-4_39.
David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez.
New Bisimulation Semantics for Distributed Systems.
Formal Techniques for Networked and Distributed Systems - {FORTE}
2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
June 27-29, 2007, Proceedings.
In {editor}, editor
Springer.
4574.
143--159.
2007..
10.1007/978-3-540-73196-2_10.
David de Frutos-Escrig, Carlos Gregorio-Rodríguez.
Bisimulations Up-to for the Linear Time Branching Time Spectrum.
{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings.
In {editor}, editor
Springer.
3653.
278--292.
2005..
10.1007/11539452_23.
David de Frutos-Escrig, Carlos Gregorio-Rodríguez.
Preserving Contexts for Soft Conformance Relation.
Formal Approaches to Software Testing, 4th International Workshop,
{FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
Papers.
In {editor}, editor
Springer.
3395.
33--48.
2004..
10.1007/978-3-540-31848-4_3.
Angeles Manjarrés Riesco, Gerson Sunyé, Damien Pollet, Simon Pickin, Jean-Marc Jézéquel.
Al analysis patterns as UML meta-model constructs.
Proceedings of the 14th international conference on Software engineering
and knowledge engineering, {SEKE} 2002, Ischia, Italy, July 15-19,
2002.
ACM.
237--238.
2002..
10.1145/568760.568802.
Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec.
System Test Synthesis from UML Models of Distributed Software.
Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings.
In {editor}, editor
Springer.
2529.
97--113.
2002..
10.1007/3-540-36135-9_7.
Carlos Gregorio-Rodríguez, Pedro Palao-Gostanza.
Ergotracer: An Internet User Behaviour Tracer.
Innovative Internet Computing Systems, Second International Workshop,
{IICS} 2002, K{\"{u}}hlungsborn, Germany, June 20-22, 2002, Proceedings.
In {editor}, editor
Springer.
2346.
121--132.
2002..
10.1007/3-540-48080-3_11.
Raquel Martínez-Unanue, Maximiliano Paredes-Velasco, Cristóbal Pareja-Flores, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide.
Electronic books for programming education: a review and future prospects.
Proceedings of the 7th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2002, Aarhus, Denmark,
June 24-28, 2002.
In {editor}, editor
ACM.
34--38.
2002..
10.1145/544414.544426.
Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, J. Ángel Velázquez-Iturbide.
EXercita: automatic web publishing of programming exercises.
Proceedings of the 6th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2001, Canterbury,
UK, June 25-27, 2001.
In {editor}, editor
ACM.
161--164.
2001..
10.1145/377435.377673.
Fernando Naharro-Berrocal, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide.
Toward Friendly, Dialog-based Construction of Algorithm Visualizations
and Animations.
Proceedings of the {IASTED} International Conference on Visualization,
Imaging and Image Processing {(VIIP} 2001), Marbella, Spain, September
3-5, 2001.
In {editor}, editor
ACTA Press.
27--32.
2001..
.
Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray.
A UML-integrated Test Description Language for Component Testing.
Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada.
In {editor}, editor
GI.
{P-7}.
208--223.
2001..
.
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura.
Adding Traces to a Lazy Monadic Evaluator.
Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers.
In {editor}, editor
Springer.
2178.
627--641.
2001..
10.1007/3-540-45654-6_48.
Simon Pickin, Angeles Manjarrés Riesco.
Describing AI Analysis Patterns with UML.
{\guillemotleft}UML{\guillemotright} 2000 - The Unified Modeling Language,
Advancing the Standard, Third International Conference, York, UK,
October 2-6, 2000, Proceedings.
In {editor}, editor
Springer.
1939.
466--481.
2000..
10.1007/3-540-40011-7_34.
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura.
Optimising Eden by transformation.
Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000.
In {editor}, editor
Intellect.
2.
13--26.
2000..
.
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura.
Optimizing Eden by Program Transformation.
9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000.
In {editor}, editor
89--103.
2000..
.
Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide.
Synthesis of Functions by Transformations and Constraints.
Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997.
In {editor}, editor
ACM.
317.
1997..
10.1145/258948.258986.
Ricardo Jiménez-Peris, Cristóbal Pareja-Flores, Marta Patiño-Martínez, J. Ángel Velázquez-Iturbide.
The locker metaphor to teach dynamic memory.
Proceedings of the 28th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 1997, San Jose, California, USA, February 27 -
March 1, 1997.
In {editor}, editor
ACM.
169--173.
1997..
10.1145/268084.268144.
Ricardo Jiménez-Peris, Cristóbal Pareja-Flores, Marta Patiño-Martínez, J. Ángel Velázquez-Iturbide.
Graphical visualization of the evaluation of functional programs.
Proceedings of the 1st Annual Conference on Integrating Technology
into Computer Science Education, ITiCSE 1996, Barcelona, Spain, 2-6
June, 1996.
In {editor}, editor
ACM.
36--38.
1996..
10.1145/237466.237520.
Luis A. Galán, Cristóbal Pareja, Ricardo Pena.
Functional Skeletons Generate Process Topologies in Eden.
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996.
In {editor}, editor
245--258.
1996..
.
Luis A. Galán, Cristóbal Pareja, Ricardo Pena.
Functional Skeletons Generate Process Topologies in Eden.
Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings.
In {editor}, editor
Springer.
1140.
289--303.
1996..
10.1007/3-540-61756-6_92.
Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide.
A Tabulation Transformation Tactic Using Haskell Arrays.
1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
di Vietri, Italy, September 11-14, 1995.
In {editor}, editor
485--496.
1995..
.
Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, R. Martínez, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide.
EXercita. A System for Archiving and Publishing Programming Exercises.
.
.