Julio L. Medina

Orcid: 0000-0002-1305-9429

Affiliations:
  • University of Cantabria, Computer Science and Electronics Department, Santander, Spain


According to our database1, Julio L. Medina authored at least 28 papers between 1993 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Supplementary material to Improving the teaching of real-world software practices by means of course integration.
Dataset, February, 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).
Dagstuhl Artifacts Ser., 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).
Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2017
Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design Approach.
Proceedings of the Handbook of Hardware/Software Codesign., 2017

High-Level Design of Wireless Sensor Networks for Performance Optimization Under Security Hazards.
ACM Trans. Sens. Networks, 2017

CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties.
Microprocess. Microsystems, 2017

2016
An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy.
Proceedings of the Software Technologies: Applications and Foundations, 2016

CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015
Extensions to the UML profile for MARTE for distributed embedded systems.
Proceedings of the 2015 Forum on Specification and Design Languages, 2015

2013
Modeling languages extensions and best practices.
Proceedings of the 2013 Forum on specification and Design Languages, 2013

Model driven engineering at work.
Proceedings of the 2013 Forum on specification and Design Languages, 2013

2011
From composable design models to schedulability analysis with UML and the UML profile for MARTE.
SIGBED Rev., 2011

Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010
Generating heterogeneous executable specifications in SystemC from UML/MARTE models.
Innov. Syst. Softw. Eng., 2010

2009
Enabling Model-Driven Schedulability Analysis in the Development of Distributed Component-Based Real-Time Applications.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008
Ada-CCM: Component-Based Technology for Distributed Real-Time Systems.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications.
Proceedings of the Reliable Software Technologies, 2008

2007
Integration of a flexible time triggered network in the FRESCOR resource contracting framework.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006
FSF: A Real-Time Scheduling Architecture Framework.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Real-Time Modelling of Distributed Component-Based Applications.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

2005
Annotating UML Models with Non-functional Properties for Quantitative Analysis.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

2003
Entorno CASE para el desarrollo de sistemas de tiempo real.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

2002
Modeling and schedulability analysis in the development of real-time distributed Ada systems.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Controlling and Testing a Space Instrument by an AI Planner.
Proceedings of the ICEIS 2002, 2002

Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components.
Proceedings of the Reliable Software Technologies, 2002

2001
MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time System.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

1998
Control System for a Low Energy Particle Detector.
Proceedings of the 24th EUROMICRO '98 Conference, 1998

1993
CDPU for SOHO-CEPAC collaboration.
Microprocess. Microprogramming, 1993


  Loading...