@article{gaggi_analysis_2011,
	title = {Analysis and verification of {SMIL} documents},
	volume = {17},
	issn = {0942-4962, 1432-1882},
	url = {http://link.springer.com/article/10.1007/s00530-011-0233-1},
	doi = {10.1007/s00530-011-0233-1},
	abstract = {In this paper, we consider the problem of automatic verification of SMIL documents and present a tool which can assist the user in the complex task of authoring a multimedia presentation. The tool is based on a formal semantics defining the temporal aspects of SMIL elements by means of a set of inference rules. The rules, in the spirit of Hoare’s semantics, describe how the execution of a piece of code changes the state of the computation of a player. If any temporal conflict is found, the system returns a message to the user pointing out the element which contains the conflict and its motivation. This helps the user to develop robust and clear code.},
	language = {en},
	number = {6},
	urldate = {2015-04-12},
	journal = {Multimedia Systems},
	author = {Gaggi, Ombretta and Bossi, Annalisa},
	month = apr,
	year = {2011},
	note = {00000},
	pages = {487--506}
}

{"_id":"6uCjMpnJKNncJ6Jm8","bibbaseid":"gaggi-bossi-analysisandverificationofsmildocuments-2011","authorIDs":[],"author_short":["Gaggi, O.","Bossi, A."],"bibdata":{"bibtype":"article","type":"article","title":"Analysis and verification of SMIL documents","volume":"17","issn":"0942-4962, 1432-1882","url":"http://link.springer.com/article/10.1007/s00530-011-0233-1","doi":"10.1007/s00530-011-0233-1","abstract":"In this paper, we consider the problem of automatic verification of SMIL documents and present a tool which can assist the user in the complex task of authoring a multimedia presentation. The tool is based on a formal semantics defining the temporal aspects of SMIL elements by means of a set of inference rules. The rules, in the spirit of Hoare’s semantics, describe how the execution of a piece of code changes the state of the computation of a player. If any temporal conflict is found, the system returns a message to the user pointing out the element which contains the conflict and its motivation. This helps the user to develop robust and clear code.","language":"en","number":"6","urldate":"2015-04-12","journal":"Multimedia Systems","author":[{"propositions":[],"lastnames":["Gaggi"],"firstnames":["Ombretta"],"suffixes":[]},{"propositions":[],"lastnames":["Bossi"],"firstnames":["Annalisa"],"suffixes":[]}],"month":"April","year":"2011","note":"00000","pages":"487–506","bibtex":"@article{gaggi_analysis_2011,\n\ttitle = {Analysis and verification of {SMIL} documents},\n\tvolume = {17},\n\tissn = {0942-4962, 1432-1882},\n\turl = {http://link.springer.com/article/10.1007/s00530-011-0233-1},\n\tdoi = {10.1007/s00530-011-0233-1},\n\tabstract = {In this paper, we consider the problem of automatic verification of SMIL documents and present a tool which can assist the user in the complex task of authoring a multimedia presentation. The tool is based on a formal semantics defining the temporal aspects of SMIL elements by means of a set of inference rules. The rules, in the spirit of Hoare’s semantics, describe how the execution of a piece of code changes the state of the computation of a player. If any temporal conflict is found, the system returns a message to the user pointing out the element which contains the conflict and its motivation. This helps the user to develop robust and clear code.},\n\tlanguage = {en},\n\tnumber = {6},\n\turldate = {2015-04-12},\n\tjournal = {Multimedia Systems},\n\tauthor = {Gaggi, Ombretta and Bossi, Annalisa},\n\tmonth = apr,\n\tyear = {2011},\n\tnote = {00000},\n\tpages = {487--506}\n}\n\n","author_short":["Gaggi, O.","Bossi, A."],"key":"gaggi_analysis_2011","id":"gaggi_analysis_2011","bibbaseid":"gaggi-bossi-analysisandverificationofsmildocuments-2011","role":"author","urls":{"Paper":"http://link.springer.com/article/10.1007/s00530-011-0233-1"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.telemidia.puc-rio.br/~alan/files/all.bib","creationDate":"2020-03-03T14:08:14.898Z","downloads":0,"keywords":[],"search_terms":["analysis","verification","smil","documents","gaggi","bossi"],"title":"Analysis and verification of SMIL documents","year":2011,"dataSources":["jAxurbvLP8q5LTdLa"]}