Skip to Main Content Area
Members
Research lines
Funding
Publications
Tools
Collaborations
Home
»
Publications
Publications
Author / Editor
<Any>
A. García-Domínguez, Antonio
Aa, Han
Acher, Mathieu
Adenso, B
Agarwal, Sudhir
Akbar, Zaenal
Alférez, Mauricio
Alkhazi, Bader
Almeida, Eduardo Santana
Arabnia, Hamid R
Arjona, José Luis
Awad, Ahmed
Baresi, L
Batory, Don
Baudry, Benoit
Bauknecht, Kurt
Becker, M
Benavides, David
Bermejo, Jesús
Bernárdez, Beatriz
Berre, Daniel Le
Bettini, Lorenzo
Blattner, Dominik
Bocanegra, José
Bosch, Jan
Botía, Juan Antonio
Botterweck, Goetz
Botti, Vicent
Brand, Mark
Bubenko, Janis
Cabanillas, Cristina
Calderón, Carlos Luis Parra
Canca, David
Capilla, Rafael
Cardenas, J
Cardoso, Jorge
Carmona, Josep
Cervera, Jaime Nieto
Cetina, Carlos
Chi, C -H
Chipev, Bozhan
Cho, Minsu
Clarke, Dave
Corchado, Emilio
Corchuelo, Rafael
Cortes, Ruiz A
Coyle, Lorcan
Cruz, Margarita
Cuesta, Pedro
Dehlinger, Josh
del-Río-Ortega, Adela
Delgado-Pérez, P
Dhungana, Deepak
Diaz, Martin O
Ding, Ying
Domínguez-Jimenez, J J
Dougherty, Brian
Durán, Amador
Dustdar, Schahram
Eguía, Ignacio
Egyed, Alexander
Eisenecker, Ulrich
Engels, Gregor
Escalona, María José
Estrada-Torres, Irene
Ezpeleta, Joaquín
Fabra, Javier
Felfernig, Alexander
Fensel, Dieter
Fernandez, Pablo
Fernández, Pablo
Ferrer, Francisco
Fiorini, Soeli T
Fleck, Martin
Frach, Xavier
Franch, Xavier
Franco-Bedoya, Oscar
Fraser, Gordon
Fuentes, Rubén
Fugini, MariaGrazia
Fyfe, Colin
Gagiu, Andreea-Elena
Galindo, José A
Gámez-Díaz, Antonio
Gamez-Diaz, Antonio
García, José María
García-Galán, Jesús
García–Consuegra, J
Garc{\'ıa, José M
Gasca, R M
Genero, Marcela
Giret, Adriana
Gómez, Juan Miguel
González, Juan Carlos
Gonzalez, María M
Gruenbacher, Paul
Grünbacher, Paul
Guerrero, Fernando
Guo, Jianmei
Gutierrez, Antonio Manuel
Gutiérrez-Fernández, Antonio Manuel
Hernández, Inma
Heuer, André
Heymans, Patrick
Hierons, Robert M
Hinchey, Mike
Horridge, Matthew
Hubaux, Arnaud
Insfrán, Emilio
Jiménez, Fernando
Jorge García
Junghans, Martin
Kang, Kyo-Chul
Kessentini, Marouane
Kienle, Holger
Knuplesch, David
Krogstie, John
Kumar, Akhil
Kwok, Terence
La Rosa, Marcello
Larizgoitia, Iker
Lauenroth, Kim
Leite, Julio Cesar Sampaio Do Prado
Leiter, Birgit
Leopold, Henrik
Leucker, M
Levy, Renato
Li, Miqing
Linsbauer, Lukas
Liu, Xiaohui
Lonca, Emmanuel
Loos, Peter
López-Cobo, José Manuel
Lopez-Herrejon, Roberto Erick
Lozano, Sebastián
Lúcio, Levi
Lutz, Robyn
Machuca, José Antonio Dominguez
Mar González-Zamora, M
Marco, Jordi
Marquezan, Clarissa Cassales
Martín-Díaz, Octavio
Mart{\'ın-D{\'ıaz, Octavio
Medina-Bulo, I
Mendez-Acuna, D
Mendling, Jan
Mens, Kim
Metzger, Andreas
Millo, Jean-Vivien
Montero, Ildefonso
Mühlbacher, J R
Muller, Carlos
Müller, Carlos
Nara, Shankara
Narwane, Ganesh Khandu
Norta, Alex
Oakes, Bentley James
Oca, Carlos Montes
Oriol, Marc
Ortiz, Guadalupe
Ossenbruggen, Jacco
Panduro, B
Parejo, José Antonio
Pasquale, Liliana
Pastor, Oscar
Pathak, Animesh
Pedrinaci, Carlos
Pelechano, Vicente
Peña, Joaquín
Pena, Joaquin
Pérez, José Antonio
Pérez–Jiménez, J D
Pernici, Barbara
Piattini, Mario
Pohl, Klaus
Pr, Birgit
Prieto, José
Quesada, Aurora Ramirez
Rabiser, Rick
Racero, Jesús
Raja, Kirtana
Ramanathan, Raja
Rana, Omer F
Rash, James L
Reichert, Manfred
Reijers, Hajo A
Reinfrank, Florian
Reinoso, Raquel
Resinas, Manuel
Reza, Hassan
Riquelme, Jose Cristobal
Rivero, Carlos R
Rodas, J L
Rodríguez, Oscar
Rolland, Colette
Romano, C A
Romero, José Raúl
Roos-Frantz, Fabricia
Rospocher, Marco
Rouff, Christopher A
Ruiz, Francisco
Ruiz Cortés, Antonio
Ruiz-Cortés, Antonio
Ruiz–Cortés, Antonio
S., Ramesh
S. Apel
S. Gnesi
Saenz, Rafael Pastor
Sánchez, Juan
Saxena, Tripti
Schaefer, Ina
Schmidt, Doulas C
Schwanninger, Christa
Segura, Sergio
Seichter, Dominik
Serrano, Miguel A
Sevilla, Diego
Simón, F
Smith, Kate
Song, Minseok
Stavrakantonakis, Ioannis
Sterritt, Roy
Suzuki, J
Sølvberg, Arne
Tasheva, Kristina
Thalhammer, Andreas
Tolvanen, Juha-Pekka
Toma, Ioan
Toro, Miguel
Torres, Victoria
Trinidad, Pablo
Troya, Javier
Troyano, José Antonio
Trujillo, Salvador
Truong, Hong-Linh
Turner, Hamilton
U.W. Eisenecker
Valhondo, J B
Vallecillo, Antonio
Vallejo, Carlos G
Vigueras, Guillermo
Villela, Karina
Vizcaíno, Aurora
Wang, Yinglin
Weber, Elmar
White, Jules
Wimmer, Manuel
Wong, P Y H
Wrembel, Robert
Yin, Hujun
Zamora, María Mar Gonzalez
Zarzo, Alejandro
Zheng, Wei
Search by title
Year of publication
Type of publication
<Any>
Article in Journal
Book
Book Chapter
Edited Books (proceedings)
Guest Editorial in Journals
Master Thesis
Papers in conferences
Phd Thesis
Tech Report
Research Area
<Any>
Business Process Management
Service Oriented Computation
Software Engineering and Methodologies
Software Product Lines
Software Testing
In Press
459
Durán A
,
Benavides D
,
Segura S
,
Trinidad P
,
Ruiz Cortés A
.
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
. Software and Systems Modeling. In Press.
Abstract
458
Narwane GK
,
Benavides D
,
Millo J-
,
S. R
,
Galindo JA
,
Nara S
.
Traceability Analyses between Features and Assets in Software Product Lines
. Entropy. In Press;in press.
Abstract
457
Troya J
,
Segura S
,
Ruiz-Cortés A
.
Automated Inference of Likely Metamorphic Relations for Model Transformations
. Journal of Systems and Software. In Press.
Abstract
456
Fleck M
,
Troya J
,
Kessentini M
,
Wimmer M
,
Alkhazi B
.
Model Transformation Modularization as a Many-Objective Optimization Problem
. IEEE Transactions on Software Engineering. In Press.
Abstract
455
Oakes BJ
,
Troya J
,
Lúcio L
,
Wimmer M
.
Full contract verification for ATL using symbolic execution
. Software & Systems Modeling. In Press.
Abstract
454
Estrada-Torres B
.
Improving the Performance Management in Business Processes
. In: Business Process Management 2017.; In Press. (Doctoral Consortium).
Abstract
453
García JM
,
Martín-Díaz O
,
Fernandez P
,
Ruiz-Cortés A
,
Toro M
.
Automated Analysis of Cloud Offerings for Optimal Service Provisioning
. In: The 15th International Conference on Service-Oriented Computing (ICSOC 17). Springer; In Press. (LNCS).
2017
452
Sánchez AB
,
Segura S
,
Parejo JA
,
Ruiz-Cortés A
.
Variability Testing in the Wild: The Drupal Case Study
. Software and Systems Modeling Journal. 2017:1-22.
451
García JM
,
Fernandez P
,
Pedrinaci C
,
Resinas M
,
Cardoso J
,
Ruiz-Cortés A
.
Modeling Service Level Agreements with Linked USDL Agreement
. IEEE Transactions on Services Computing. 2017;10:52-65.
450
García JM
,
Fernandez P
,
Ruiz-Cortés A
,
Dustdar S
,
Toro M
.
Edge and Cloud Pricing for the Sharing Economy
. IEEE Internet Computing. 2017;21:78-84.
449
Delgado-Pérez P
,
Segura S
,
Medina-Bulo I
.
Assessment of C++ object-oriented mutation operators: A selective mutation approach
. Software Testing, Verification and Reliability. 2017;27.
448
del-Río-Ortega A
,
Resinas M
,
Durán A
,
Bernárdez B
,
Ruiz-Cortés A
,
Toro M
.
VISUAL PPINOT: A Graphical Notation for Process Performance Indicators
. Business and Information Systems Engineering. 2017;online:1-25.
447
van der Aa H
,
Leopold H
,
del-Río-Ortega A
,
Resinas M
,
Reijers HA
.
Transforming unstructured natural language descriptions into measurable process performance indicators using Hidden Markov Models
. Information Systems. 2017;71:27-39.
446
Muller C
,
Fernandez P
,
Diaz MO
,
Gutierrez AM
,
Resinas M
,
Cortes RA
.
Specifying Compensations with WS-Agreement
. IEEE Latin America Transactions. 2017;15:1335-41.
445
Estrada-Torres B
,
del-Río-Ortega A
,
Resinas M
,
Ruiz-Cortés A
.
On the feasibility of measuring performance using PPINOT in CMMN
. In:
Ortiz G
, editor. XIII Jornadas de Ciencia e Ingeniería de Servicios. Biblioteca Digital SISTEDES; 2017. 10.
Abstract
1
2
3
4
5
6
7
8
9
…
next ›
last »