Found 98 results
Filters: First Letter Of Last Name is V [Clear All Filters]
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. Capturing Autonomy Features for Unmanned Spacecraft with ARE, the Autonomy Requirements Engineering Approach. Innovations in Systems and Software Engineering - a NASA Journal. 11
.
2015. Engineering Requirements for Autonomy Features. Software Engineering for Collective Autonomic Systems: Results of the ASCENS ProjectSoftware Engineering for Collective Autonomic Systems: Results of the ASCENS Project.
.
2015. Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang. EAI Endorsed Transactions on Self-Adaptive Systems. 1(8)
.
2015. The ASSL Formalism for Real-Time Autonomic Systems. Self-Organization in Embedded Real-Time SystemsSelf-Organization in Embedded Real-Time Systems.
.
2013. Autonomy Requirements Engineering. Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI 2013)Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI 2013).
.
2013. Autonomy Requirements Engineering: A Case Study on the BepiColombo Mission. Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013)Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013).
.
2013. On the Autonomy Requirements for Space Missions. Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013)Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distribut.
.
2013. On the Autonomy Requirements for Space Missions. Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013).
.
2013. Implementing Artificial Awareness with KnowLang. Proceedings of the IEEE International Systems Conference (SysCon2013)Proceedings of the IEEE International Systems Conference (SysCon2013).
.
2013. Knowledge-Based Self-Adaption. Sixth Latin-American Symposium on Dependable Computing (LADC 2013)Sixth Latin-American Symposium on Dependable Computing (LADC 2013).
.
2013. Automatic Repair of Software Systems. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
2012. Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer. 44
.
2011. Building the Pyramid of Awareness. Awareness Magazine - Self-awareness in Autonomic Systems.
.
2012. Developing Autonomic Systems with ASSL - Theory and Practice. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and VerificationFormal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification.
.
2012. Efficient Reasoning with Ambient Trees for Space Exploration. Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012)Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012).
.
2012. Efficient Space Exploration through Laziness. Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012)Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012).
.
2012. Formal Specification as High-Level Programming: The ASSL Approach. Patterns, Programming and EverythingPatterns, Programming and Everything.
.
2012. Knowledge Representation for Cognitive Robotic Systems. Proceedings of the 15th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2012).
.
2012. Knowledge Representation for Self-Adaptive Behavior. Proceeding of C* Conference on Computer Science & Software Engineering (C3S2E ’12)Proceeding of C* Conference on Computer Science & Software Engineering (C3S2E ’12).
.
2012. Knowledge Representation with KnowLang - The marXbot Case Study. Proceedings of the 11th IEEE International Conference on Cybernetic Intelligent SystemsProceedings of the 11th IEEE International Conference on Cybernetic Intelligent Systems.
.
2012. An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. Proceedings of the 34th annual IEEE Software Engineering Workshop.
.
2011. The ASSL Approach to Specifying Self-Managing Embedded Systems. Concurrency and Computation: Practice and Experience.
.
2011. Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL. Transactions on Computational Science. Springer Verlag
.
2011. Developing Model-Checking Mechanisms for ASSL: An Experience Report. Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011)Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011).
.
2011. Pages
- ‹ previous
- 1
- 2
- 3
- 4
- next ›