Recent advances in model-based methodologies for pervasive and embedded software
ACM SIGSOFT Software Engineering Notes
Developing intelligent sensor networks: a technological convergence approach
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications
Rapid prototyping and development of intelligent sensor networks with ASSL and DMF
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Towards a self-forensics property in the ASSL toolset
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Controlling software architecture erosion: A survey
Journal of Systems and Software
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Autonomy requirements engineering: a case study on the BepiColombo mission
Proceedings of the International C* Conference on Computer Science and Software Engineering
Hi-index | 4.10 |
ASSL provides a framework for formal specification, validation, and code generation of autonomic systems.