https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3AAutomated_Verification_of_Executable_UML_Models 2026-05-23T10:14:55Z Revision history for this page on the wiki MediaWiki 1.22.6 https://wiki.hh.se/ceres/index.php?title=Publications:Automated_Verification_of_Executable_UML_Models&diff=4118&oldid=prev 2014-06-26T03:43:27Z

<p>Created page with &quot;&lt;div style=&#039;display: none&#039;&gt; == Do not edit this section == &lt;/div&gt; {{PublicationSetupTemplate|Author=Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco v...&quot;</p> <p><b>New page</b></p><div>&lt;div style='display: none'&gt;<br /> == Do not edit this section ==<br /> &lt;/div&gt;<br /> {{PublicationSetupTemplate|Author=Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Osmar Marchi dos Santos<br /> |PID=583427<br /> |Name=Hansen, Helle Hvid (Eindhoven University of Technology, Eindhoven, The Netherlands);Ketema, Jeroen (University of Twente, Enschede, The Netherlands);Luttik, Bas (Eindhoven University of Technology, Eindhoven, The Netherlands);Mousavi, Mohammad Reza [mohmou] (Eindhoven University of Technology, Eindhoven, The Netherlands);van de Pol, Jaco (University of Twente, Enschede, The Netherlands);Osmar Marchi dos Santos, Osmar (University of York, York, England)<br /> |Title=Automated Verification of Executable UML Models<br /> |PublicationType=Conference Paper<br /> |ContentType=Refereegranskat<br /> |Language=eng<br /> |Journal=<br /> |JournalISSN=<br /> |Status=<br /> |Volume=6957<br /> |Issue=<br /> |HostPublication=Post-Proceedings of the International Symposium on Formal Methods for Components and Objects (FMCO 2010)<br /> |Conference=9th International Symposium on Formal Methods for Components and Objects (FMCO 2010), Graz, Austria, 29 November - 1 December<br /> |StartPage=225<br /> |EndPage=250<br /> |Year=2011<br /> |Edition=<br /> |Pages=<br /> |City=Heidelberg<br /> |Publisher=Springer<br /> |Series=Lecture Notes in Computer Science ; 6957<br /> |SeriesISSN=0302-9743<br /> |ISBN=978-3-642-25270-9;978-3-642-25271-6<br /> |Urls=<br /> |ISRN=<br /> |DOI=http://dx.doi.org/10.1007/978-3-642-25271-6_12<br /> |ISI=<br /> |PMID=<br /> |ScopusId=2-s2.0-84255177328<br /> |NBN=urn:nbn:se:hh:diva-20329<br /> |LocalId=<br /> |ArchiveNumber=<br /> |Keywords=<br /> |Categories=Data- och informationsvetenskap (102)<br /> |ResearchSubjects=<br /> |Projects=<br /> |Notes=<br /> |Abstract=<br /> |Opponents=<br /> |Supervisors=<br /> |Examiners=<br /> |Patent=<br /> |ThesisLevel=<br /> |Credits=<br /> |Programme=<br /> |Subject=<br /> |Uppsok=<br /> |DefencePlace=<br /> |DefenceLanguage=<br /> |DefenceDate=<br /> |CreatedDate=2013-01-08<br /> |PublicationDate=2013-01-08<br /> |LastUpdated=2013-02-27<br /> |diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&amp;pid=diva2:583427}}<br /> &lt;div style='display: none'&gt;<br /> <br /> == Keep all hand-made modifications below ==<br /> &lt;/div&gt;{{PublicationDisplayTemplate}}</div>

Slawek