Run-Time Validation of Timing Constraints for VDM-RT Models. Ribeiro, A., Lausdahl, K., & Larsen, P. G. In Wolff, S. & Fitzgerald, J., editors, Proceedings of the 9th Overture Workshop, of Technical Report Series, pages 4–16, June, 2011.
![Run-Time Validation of Timing Constraints for VDM-RT Models [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 2 downloads
Paper bibtex 2 downloads @INPROCEEDINGS{Ribeiro&11,
KEY = "Ribeiro\&11",
AUTHOR = "Augusto Ribeiro and Kenneth Lausdahl and Peter Gorm Larsen",
TITLE = "{Run-Time Validation of Timing Constraints for VDM-RT Models}",
YEAR = "2011",
BOOKTITLE = "Proceedings of the 9th Overture Workshop",
location ="Limerick, Ireland",
MONTH ="June",
SERIES = {Technical Report Series},
NUMBER = {ECE-TT-2},
EDITOR = {Sune Wolff and John Fitzgerald},
URL = "http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske\_rapporter/Technical\_Report\_ECE-TT-2-SAMLET.pdf",
pages ={4--16},
}
%G VDM TEST TOOL VDM++ OVERTUREDownloads: 2
{"_id":{"_str":"51f5e029a57e92543f000582"},"__v":29,"authorIDs":["3KfERZfjKGcWKBnsY","3xKKvaQP3SCr9iaij","4ZGdnfrz8CmYsYeWa","5458a974b43425b772000187","5deaa24003c11ade01000033","5decfc353d02efdf010000a5","5dfb8e1c749b8bde0100002e","5e0ce1e26762d1de01000145","5e14416712768ef301000118","5e14677a0467fede01000095","5e1934e686b4aade01000008","5e1a3b7e3a430ede01000073","5e1ac9c5ff975cf201000092","5e1adc695f3d2cdf01000023","5e1bb8cb61cb16df010000e2","5e269b26f3bb7ddf01000001","5e2da43e732e89de01000007","5e445a92df3c2af301000193","5e52ac666a3abede01000026","5e55ab6f7d0846de0100009f","5e5629db05e404e401000197","5e5fb31119c3fade0100018f","5e600e3d13e3aede01000204","5e62ab2208ebcade0100016b","5e646fd3e1ac00de010000c0","5rCJDxakFezcBjMh7","7tTMW2Ag7kzYnDjv9","7zvcGWi8vmEXwgr4z","8Zw2rNCBuJK7MsBgj","8eotCSzZZ2kmeD3GY","8ni6FsXPD3wYBMeHw","Dc34oECBHyEwpv7mF","F7MYvy83ixrCWnduX","FjgQ2oyfaAjjLarzd","HAf2bQQMBfPw4PscJ","KeECrTRLiCrYPoyb5","MpYWLFiPQr4AB8Di7","NtxQ9SSTQrELYyARd","QDxjGbzzz8ieD9DDR","QTMj2jsKMSS8DPnui","RuqboAEC8viueLPs5","SHYGdZ6qizeXHx7Ki","TPRQJJi9cLqKrn2ZD","ZJc2RcS8ZkLmDjaoW","ZPzGDgZxZSzhXERzp","Zf4X8SYM6RCmADxfj","ZzQj6vCdfvELyPjgj","bzunJEvhSCePprnRD","dn3QGKKFGBamh6kvA","eRAztJSJSes5m4aeA","exMbRrbm8dtBzw6PL","ka9xuGki2xtZkwrGS","mKutoobkwgyNn8XWT","maQMWqAygyxv8j6QD","pAME5vNJ7b7XfhtbB","q8A2nn9imQhk49Z8z","qHLxzPFCKE7mD5oKK","so8G66cEiQZa9KniD","systYuKbnJxuFaX34","toxJQ8Rgt7cak46Zb","ukAZCLawgKmFHn7X8","wYAtgTYNnmh723Q3D","yvAZGrAMBEvZdn2xz"],"author_short":["Ribeiro, A.","Lausdahl, K.","Larsen, P. G."],"bibbaseid":"ribeiro-lausdahl-larsen-runtimevalidationoftimingconstraintsforvdmrtmodels-2011","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Ribeiro&11","author":[{"firstnames":["Augusto"],"propositions":[],"lastnames":["Ribeiro"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Run-Time Validation of Timing Constraints for VDM-RT Models","year":"2011","booktitle":"Proceedings of the 9th Overture Workshop","location":"Limerick, Ireland","month":"June","series":"Technical Report Series","number":"ECE-TT-2","editor":[{"firstnames":["Sune"],"propositions":[],"lastnames":["Wolff"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]}],"url":"http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske\\_rapporter/Technical\\_Report\\_ECE-TT-2-SAMLET.pdf","pages":"4–16","bibtex":"@INPROCEEDINGS{Ribeiro&11,\n KEY\t\t= \"Ribeiro\\&11\",\n AUTHOR\t= \"Augusto Ribeiro and Kenneth Lausdahl and Peter Gorm Larsen\",\n TITLE\t\t= \"{Run-Time Validation of Timing Constraints for VDM-RT Models}\",\n YEAR\t\t= \"2011\",\n BOOKTITLE \t= \"Proceedings of the 9th Overture Workshop\",\n location \t\t=\"Limerick, Ireland\",\n MONTH \t\t=\"June\",\n SERIES \t= {Technical Report Series},\n NUMBER \t= {ECE-TT-2},\n EDITOR \t= {Sune Wolff and John Fitzgerald},\n URL \t\t= \"http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske\\_rapporter/Technical\\_Report\\_ECE-TT-2-SAMLET.pdf\",\n pages\t\t={4--16},\n }\n\n\n%G VDM TEST TOOL VDM++ OVERTURE\n","author_short":["Ribeiro, A.","Lausdahl, K.","Larsen, P. G."],"editor_short":["Wolff, S.","Fitzgerald, J."],"id":"Ribeiro&11","bibbaseid":"ribeiro-lausdahl-larsen-runtimevalidationoftimingconstraintsforvdmrtmodels-2011","role":"author","urls":{"Paper":"http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske\\_rapporter/Technical\\_Report\\_ECE-TT-2-SAMLET.pdf"},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/publications/"}},"downloads":2},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","downloads":2,"keywords":[],"search_terms":["run","time","validation","timing","constraints","vdm","models","ribeiro","lausdahl","larsen"],"title":"Run-Time Validation of Timing Constraints for VDM-RT Models","title_words":["run","time","validation","timing","constraints","vdm","models"],"year":2011,"dataSources":["Xcji6y7twnJcmrCLT","HtWEJcCHFxSnPZdyr","o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","maALzmZwmtEEh8pXx","nGw4dfQFrDZqKC8vj"]}