2022
Probabilistic Flexoffers in residential heat pumps considering uncertain weather forecast.
Energy Inform., 2022
2021
Web of Things Interoperability for the Arrowhead Framework.
Proceedings of the IECON 2021, 2021
2017
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2016
Statistical and exact schedulability analysis of hierarchical scheduling systems.
Sci. Comput. Program., 2016
User constraints for reliable user-defined smart home scenarios.
J. Reliab. Intell. Environ., 2016
Toolchain for user-centered intelligent floor heating control.
Proceedings of the IECON 2016, 2016
ENCOURAGEing results on ICT for energy efficient buildings.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
Modeling and Analysis of Component Faults and Reliability.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016
2015
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.
Sci. Comput. Program., 2015
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
To Do and Not to Do: Constrained Scenarios for Safe Smart House.
Proceedings of the 2015 International Conference on Intelligent Environments, 2015
A Method for Model Checking Feature Interactions.
Proceedings of the ICSOFT-EA 2015, 2015
Model Checking Feature Interactions.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015
Validating Timed Component Contracts.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015
2014
INTrEPID: A project on energy optimization in buildings.
Proceedings of the 4th International Conference on Wireless Communications, 2014
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Widening the Schedulability of Hierarchical Scheduling Systems.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
Arrowhead compliant virtual market of energy.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
2013
HomePort: Middleware for heterogeneous home automation networks.
Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
A Toolchain for Home Automation Controller Development.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013
The ENCOURAGE ICT architecture for heterogeneous smart grids.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of Eurocon 2013, 2013
2012
Compositional verification of real-time systems using Ecdar.
Int. J. Softw. Tools Technol. Transf., 2012
An evaluation framework for energy aware buildings using statistical model checking.
Sci. China Inf. Sci., 2012
2010
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases.
Proceedings of the Sixth Workshop on Model-Based Testing, 2010
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the 7th IEEE Consumer Communications and Networking Conference, 2010
2009
Semantics for Communicating Actors with Interdependent Real-Time Deadlines.
Proceedings of the TASE 2009, 2009
Model-Based GUI Testing Using Uppaal at Novo Nordisk.
Proceedings of the FM 2009: Formal Methods, 2009
2008
Testing Real-Time Systems Using UPPAAL.
Proceedings of the Formal Methods and Testing, 2008
2007
Design Verification Patterns.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007
2005
Testing real-time embedded software using UPPAAL-TRON: an industrial case study.
Proceedings of the EMSOFT 2005, 2005
2004
An Algebraic Theory Of Boundary Crossing Transitions.
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004
Connectivity Testing Through Model-Checking.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
2003
Automated test generation from timed automata.
Int. J. Softw. Tools Technol. Transf., 2003
Time-Optimal Test Cases for Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003
Time-Optimal Real-Time Test Case Generation Using Uppaal.
Proceedings of the Formal Approaches to Software Testing, 2003
2001
Test Generation for Time Critical Systems: Tool and Case Study.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001
2000
Practical Verification of Embedded Software.
Computer, 2000
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000
1999
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999
1997
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997
1996
Modelling and analysis of a collision avoidance protocol using Spin and Uppaal.
Proceedings of the Spin Verification System, 1996
1995
Generality in Design and Compositional Verification Using TAV.
Formal Methods Syst. Des., 1995
1994
Automatic verification of real-tim systems using epsilon.
Proceedings of the Protocol Specification, 1994
1992
Compositional Verification of Probabilistic Processes.
Proceedings of the CONCUR '92, 1992
1991
Bisimulation through Probabilistic Testing
Inf. Comput., September, 1991