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
282010
Facilitating home automation through wireless protocol interoperability
S Wolff, PG Larsen, K Lausdahl, A Ribeiro, TS Toftegaard
Proceedings of the International Symposium on Wireless Personal. Multimedia …, 2009
142009
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, 97-114, 2014
102014
Proof obligation generation and discharging for recursive definitions in VDM
A Ribeiro, PG Larsen
International Conference on Formal Engineering Methods, 40-55, 2010
92010
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
52013
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
Strategies for releasing the green potential in home automation
J Rohde, S Wolff, TS Toftegaard
Proceedings of WPMC’09: The 12th International Symposium on Wireless …, 2009
42009
An Extended Proof Obligation Generator for VDM++/OML
A Ribeiro
Master's thesis, Minho University with exchange to Engineering College of Arhus, 2008
42008
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
Optimizing energy usage in private households
J Rohde, S Wolff, TS Toftegaard, PG Larsen, K Lausdahl, A Ribeiro, ...
Towards Green ICT 9, 185, 2010
22010
Tutorial for Overture/VDM-SL
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce, ...
12011
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, B RG12
2010
The system can't perform the operation now. Try again later.
Articles 1–16