Author of the publication

Engineering Approaches and Methods to Verify Software in Autonomous Systems.

, , , , , , and . IAS, volume 302 of Advances in Intelligent Systems and Computing, page 1683-1700. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using an Enterprise Mashup Infrastructure for Just-in-Time Management of Situational Projects., , and . ICEBE, page 3-10. IEEE Computer Society, (2009)Semantically Mapping Science (SMS) Platform., , , , and . SemSci@ISWC, volume 1931 of CEUR Workshop Proceedings, page 1-6. CEUR-WS.org, (2017)Adaptive Linked Data-Driven Web Components: Building Flexible and Reusable Semantic Web Interfaces - Building Flexible and Reusable Semantic Web Interfaces., , and . ESWC, volume 9678 of Lecture Notes in Computer Science, page 677-692. Springer, (2016)conTEXT - A Mashup Platform for Lightweight Text Analytics., , and . AIMashup@ESWC, volume 1200 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)Using Linked Open Geo Boundaries for Adaptive Delineation of Functional Urban Areas., , and . ESWC (Satellite Events), volume 11155 of Lecture Notes in Computer Science, page 327-341. Springer, (2018)RDFaCE-Lite: A WYSIWYM Editor for User-Friendly Semantic Text Authoring., and . ESWC (Satellite Events), volume 7540 of Lecture Notes in Computer Science, page 376-380. Springer, (2012)The RDFa Content Editor - From WYSIWYG to WYSIWYM., , and . COMPSAC, page 531-540. IEEE Computer Society, (2012)Fostering Serendipitous Knowledge Discovery using an Adaptive Multigraph-based Faceted Browser., , , and . K-CAP, page 15:1-15:4. ACM, (2017)Using Logically Hierarchical Meta Web Services to Support Accountability in Mashup Services., and . APSCC, page 410-415. IEEE Computer Society, (2008)Implementation of Coloured Stochastic Activity Networks within the PDETool Framework., , and . Asia International Conference on Modelling and Simulation, page 710-715. IEEE Computer Society, (2009)