Alejandro Rodriguez

Work

I am currently working as a Software Engineer and I+D+i researcher in Gloin, Cáceres. I successfully got my PhD in Computer Sciences at the Western Norway University of Applied Sciences in Bergen, Norway. My research topic was on applying Multilevel Modelling techniques to the field of Model-Driven Software Engineering.

Experience

2017-2021 | Western Norway University of Applied Sciences | Ph.D. Research Fellow

■ Researching in the fields of Model Driven Software Engineering (MDSE), Multilevel Modelling (MLM) and Colored Petri Nets (CPNs). Part of my work is dedicated to the development of the tool called MultEcore:
 MultEcore is a metamodelling tool which brings together the best of the worlds of fixed-level and multilevel metamodelling approaches.

 MultEcore’s main plugin is a model editor based in Eclipse Modelling Framework (EMF) and Sirius mostly developed in Java, and combines the tool support, modelling ecosystem and low learning curve of EMF with the unlimited number of abstraction levels, potencies and flexible typing of multilevel metamodelling.

 A second tool allows for the specification of Multilevel Coupled Model Transformations that exploit the multilevel capabilities of the framework, and performs a proliferation process to generate two-level rules that can be used in traditional engines for model transformation.

2016-2017 | Viable (Startup) | Full stack developer

■ Full stack development including some technologies such as Java, Maven, Spring Framework, Subversion, MySQL, Hibernate/JPA, Java J2EE, HTML, Thymeleaf, CSS, Javascript, JQuery, Quartz).

2015-2017 | Spilab(Quercus group) | Full stack developer

■ Full stack Android development

■ Collaboration as Research fellow – Internet of Things.

Skills

■ Advanced level in Java and Java frameworks (e.g., Spring Boot).

■ Experienced in C/C++.

■ High level in web development (HTML, CSS, Javascript, JQuery).

■ Experienced in MVC design pattern.

■ Familiar with SCRUM methodology.

■ Management tools: Git, Hibernate, JUnit, Java RMI.

■ Knowledge of Service-Oriented Architectures: REST, SOAP.

■ Experienced in mobile development (Android).

■ Familiar with Node.js.

■ Experienced in creative programming (Processing and P5).

■ Familiar with collaborative tools: Bitbucket, Github, Slack, Trello.

■ Experienced in Adobe Photoshop, Adobe Premiere, Adobe Lightroom and Inkscape.

Academic events contributions

■ Member of the Staff Committee and Student volunteer Chair in the Software Technologies: Applications and Foundations (federation of software technologies conferences) (STAF) (2021)

■ Member of the Program Committee in the 3rd International Workshop on Gerontechnology (2020)

■ Member of the Staff Committee in the 15th International Conference on integrated Formal Methods (2019)

Academic publications

2023

■ Alejandro Rodríguez, Fernando Macías, Francisco Durán, Adrian Rutle and Uwe Wolter. Composition of Multilevel Domain-Specific Modelling Languages. In the Journal of Logical and Algebraic Methods in Programming. Online    PDF

2022

■ Alejandro Rodríguez. A Multilevel Modelling Infrastructure for the Definition, Execution and Composition of Domain-Specific Modelling Languages. Publicly available at the Western Norway University of Applied Sciences library. Online   PDF

■ Alejandro Rodríguez, Francisco Durán and Lars Michael Kristensen. Simulation and Analysis of MultEcore Multilevel Models based on Rewriting Logic. In International Journal on Software and Systems Modeling. Springer Nature. https://doi.org/10.1007/s10270-021-00947-1. Online   PDF

■ Alejandro Rodríguez and Fernando Macías. Multilevel Modelling with MultEcore: A contribution to the Multi-Level Process Challenge. In Enterprise Modelling and Information Systems Architectures Journal. The German Informatics Society. Online    PDF

2021

■ Alejandro Rodríguez, Lars Michael Kristensen and Adrian Rutle. Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. In the Transactions on Petri Nets and Other Models of Concurrency XV (ToPNoC). Lecture Notes in Computer Science, vol 12530 (pages 165-183). Springer Nature. Online   PDF

2019

■ Alejandro Rodríguez, Lars Michael Kristensen and Adrian Rutle. Formal modelling and incremental verification of the MQTT IoT protocol. In the Transactions on Petri Nets and Other Models of Concurrency XIV (ToPNoC). Lecture Notes in Computer Science, vol 11790 (pages 126-145). Springer Nature. Online   PDF

■ Alejandro Rodríguez, Francisco Durán, Adrian Rutle and Lars Michael Kristensen. Executing Multilevel Domain-Specific Models in Maude. In the Journal of Object Technology 18(2):4:1-21 (2019). Online   PDF

■ Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macias and Uwe Wolter. Composition of Multilevel Modelling Hierarchies. In the Nordic Workshop on Programming Theory (NWPT'19). PDF

■ Alejandro Rodríguez and Fernando Macías. Multilevel Modelling with MultEcore: A contribution to the MULTI Process challenge. In the 6th International Workshop on Multi-Level Modelling (MULTI'19) co-located with MoDELS conference (pages 152-163). IEEE 2019, ISBN 978-1-7281-5125-0. PDF

■ Alejandro Rodríguez, Adrian Rutle, Lars Michael Kristensen and Francisco Durán. A Foundation for the Composition of Multilevel Domain-Specific Languages. In the 6th International Workshop on Multi-Level Modelling (MULTI'19) co-located with MoDELS conference (pages 88-97). IEEE 2019, ISBN 978-1-7281-5125-0. PDF

■ Alejandro Rodríguez, Lars Michael Kristensen and Adrian Rutle. On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. In the International Workshop on Petri Nets and Software Engineering (PNSE'19) (pages 57-72). CEUR Workshop Proceedings 2424. PDF

2018

■ Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen and Fernando Macias. Multilevel Modelling of Coloured Petri Nets. In the 5th International Workshop on Multi-Level Modelling (MULTI'18) co-located with MoDELS conference (pages 663-672). CEUR Workshop Proceedings 2245. PDF

■ Alejandro Rodríguez, Lars Michael Kristensen and Adrian Rutle. On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. In the International Workshop on Petri Nets and Software Engineering (PNSE'18) (pages 99-118). CEUR Workshop Proceedings 2138. PDF

2017

■ Alejandro Rodríguez, Fernando Macías, Lars Michael Kristensen and Adrian Rutle. Towards Domain-Specific CPN Modelling Languages. In the Nordic Workshop on Programming Theory (NWPT'17). PDF

2016

■ Angela Barriga, Alejandro Rodríguez, Jose Garcia-Alonso, Javier Berrocal, Ricardo Flores Rosco and Juan Manuel Murillo. Using beacons for creating comprehensive virtual profiles. In Ubiquitous Computing and Ambient Intelligence (pp. 295-306). Springer, Cham. PDF

Photography

Not so long ago I started to feel fascinated by the photography world. Since such a point, I have been constantly learning and taking photos wherever I go.

Through this webpage I will take the opportunity to share my shots.

❮ ❯

About me

Hey! It's Alex! Through this site you can get to know me a little better both from the profesional and personal perspectives. I am a software engineer graduated at the University of Extremadura, in Cáceres. (Highly) motivated by the idea of living abroad and getting in touch with a different culture, I decided to move to Bergen in Norway where I obtained my Ph.D in Computer Sciences. I am extremely passionate about basketball, playing videogames, listening to music and more and more about photography (as you might have probably noticed).

"I've missed more than 9000 shots in my career. I've lost almost 300 games. 26 times, I've been trusted to take the game winning shot and missed. I've failed over and over and over again in my life. And that is why I succeed."

Michael Jordan.

Contact

Alejandro Rodríguez

Gloin, Cáceres, Spain

Gloin website

Contact email: alejandro [dot] rodriguez [at] gloin [dot] es

Elements

i = 0;

while (!deck.isInOrder()) {
    print 'Iteration ' + i;
    deck.shuffle();
    i++;
}

print 'It took ' + i + ' iterations to sort the deck.';