| 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 | 29 | 2010 |
| 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 | 15 | 2009 |
| 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 | 14 | 2014 |
| Proof obligation generation and discharging for recursive definitions in VDM A Ribeiro, PG Larsen International Conference on Formal Engineering Methods, 40-55, 2010 | 12 | 2010 |
| Run-Time Validation of Timing Constraints for VDM-RT Models A Ribeiro, K Lausdahl, PG Larsen Submitted for publication, 2011 | 8 | 2011 |
| 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 | 7 | 2013 |
| An Extended Proof Obligation Generator for VDM++/OML A Ribeiro Master's thesis, Minho University with exchange to Engineering College of …, 2008 | 5 | 2008 |
| 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 | 4 | 2010 |
| 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 | 4 | 2010 |
| Optimizing energy usage in private households J Rohde, S Wolff, TS Toftegaard, PG Larsen, K Lausdahl, A Ribeiro, ... Towards Green ICT, 185-209, 2022 | 3 | 2022 |
| Automated Exploration of Alternative System Architectures with VDM-RT K Lausdahl, A Ribeiro 9th Overture Workshop, 2011 | 2 | 2011 |
| 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 | 2 | 2010 |
| Tutorial for Overture/VDM-SL PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce, ... | 1 | 2015 |
| 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 |
Peter Gorm LarsenAarhus UniversityE-mail megerősítve itt: ece.au.dk
