Follow
Augusto Ribeiro
Augusto Ribeiro
Project Developer at Aarhus University, Department of Engineering
Verified email at iha.dk
Title
Cited by
Cited by
Year
Overture VDM-10 Tool Support: User Guide
PG Larsen, K Lausdahl, A Ribeiro, S Wolff, N Battle, B RG12
Technical Report TR-2010-02, The Overture Initiative, www. overturetool. org, 2010
292010
Facilitating home automation through wireless protocol interoperability
S Wolff, PG Larsen, K Lausdahl, A Ribeiro, TS Toftegaard
Proceedings of the Wireless Personal Multimedia Communications Symposia, 2009
152009
Support for co-modelling and co-simulation: the Crescendo tool
PG Larsen, C Gamble, K Pierce, A Ribeiro, K Lausdahl
Collaborative Design for Embedded Systems: Co-modelling and Co-simulation …, 2014
142014
Proof obligation generation and discharging for recursive definitions in VDM
A Ribeiro, PG Larsen
International Conference on Formal Engineering Methods, 40-55, 2010
122010
Run-Time Validation of Timing Constraints for VDM-RT Models
A Ribeiro, K Lausdahl, PG Larsen
Submitted for publication, 2011
82011
Experience in managing requirements between distributed parties in a research project context
K Pierce, C Ingram, B Bos, A Ribeiro
2013 IEEE 8th International Conference on Global Software Engineering, 124-128, 2013
72013
An Extended Proof Obligation Generator for VDM++/OML
A Ribeiro
Master's thesis, Minho University with exchange to Engineering College of …, 2008
52008
Tutorial for Overture
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
VDM-SL-Overture–Open-source Tools for Formal Modelling TR-2010-01 (March 2010), 2010
42010
Tutorial for overture/VDM++
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
Overture–Open-source Tools for Formal Modelling TR-2010-03, 2010
42010
Optimizing energy usage in private households
J Rohde, S Wolff, TS Toftegaard, PG Larsen, K Lausdahl, A Ribeiro, ...
Towards Green ICT, 185-209, 2022
32022
Automated Exploration of Alternative System Architectures with VDM-RT
K Lausdahl, A Ribeiro
9th Overture Workshop, 2011
22011
Tutorial for Overture/VDM-RT
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
Technical Report TR-005, September 2015. http://overturetool. org …, 2010
22010
Tutorial for Overture/VDM-SL
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce, ...
12015
Overture Development Documentation
K Lausdahl, A Ribeiro
2013
User Guide for the Overture VDM Tool Support
PG Larsen, K Lausdahl, A Ribeiro, S Wolff, N Battle
2010
The system can't perform the operation now. Try again later.
Articles 1–15