Found 40 results
Filters: Author is Tiziana Margaria [Clear All Filters]
Integration and Promotion of Autonomy with the ARE Framework. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.
.
2016. Safe Artificial Intelligence and Formal Methods. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.
.
2016. Scientific workflows with the jABC framework. International Journal on Software Tools for Technology Transfer.
.
2016. Scientific workflows with the jABC framework. International Journal on Software Tools for Technology Transfer.
.
2016. SEcube(TM): an Open Security Platform - General Approach and Strategies. International Conference on Security and Management (SAM)International Conference on Security and Management (SAM).
.
2016. A Summer Computing Camp Using ChainReaction and jABC. 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).
.
2016. .
2015.
Foundations of Semantics and Model Checking in a Software Engineering Course. First Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T '15), co-located with 20th International Symposium on Formal Methods (FM 2015).
.
2015. Improving the Reuse of Services in Geospatial Applications with XMDD Technology. Improving the Reuse of Services in Geospatial Applications with XMDD TechnologyImproving the Reuse of Services in Geospatial Applications with XMDD Technology.
.
2015. Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education. Workshop on Teaching Computational Science at the 15th International Conference on Computational Science (ICCS 2015).
.
2015. On the Use of XMDD in Software Development Education: Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual. 39th Annual IEEE Computer Software and Applications Conference (COMPSAC)39th Annual IEEE Computer Software and Applications Conference (COMPSAC).
.
2015. .
2010.
Extracting Component-oriented Behavior for Self-healing Enabling. Proceedings of the 7th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe’10).
.
2010. Component-Oriented Behavior Extraction for Autonomic System Design. Proceedings of the First NASA Formal Methods Symposium (NFM 2009).
.
2009. Software Engineering and Formal Methods. Communications of the ACM. 51
.
2008. Pages
- ‹ previous
- 1
- 2