Search the dblp DataBase

Publications of Author

1. 
   An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. [Citation Graph (, )][DBLP]
   
   
2. 
   Evolving Critical Systems. [Citation Graph (, )][DBLP]
   
   
3. 
   Evolving Critical Systems: A Research Agenda for Computer-Based Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Why Predicting Outliers in Software is a Good Thing to Do! [Citation Graph (, )][DBLP]
   
   
5. 
   Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. [Citation Graph (, )][DBLP]
   
   
6. 
   A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. [Citation Graph (, )][DBLP]
   
   
7. 
   Organic Computing and Model-Driven Engineering in Embedded Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   A Complexity Reliability Model. [Citation Graph (, )][DBLP]
   
   
9. 
   Towards an ASSL specification model for NASA swarm-based exploration missions. [Citation Graph (, )][DBLP]
   
   
10. 
    A consumer/producer approach to risk-driven software reliability and testing. [Citation Graph (, )][DBLP]
    
    
11. 
    2nd International Workshop on Dynamic Software Product Lines DSPL 2008. [Citation Graph (, )][DBLP]
    
    
12. 
    3^rd International Workshop on Dynamic Software Product Lines: DSPL 2009. [Citation Graph (, )][DBLP]
    
    
13. 
    4th International Workshop on Dynamic Software Product Lines (DSPL 2010). [Citation Graph (, )][DBLP]
    
    
14. 
    Investment in Information and Communication Technologies in the Irish Education Sector. [Citation Graph (, )][DBLP]
    
    
15. 
    An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. [Citation Graph (, )][DBLP]
    
    
16. 
    ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions. [Citation Graph (, )][DBLP]
    
    
17. 
    On practical Service-Based Computing in distributed embedded automotive systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Rapid prototyping and development of intelligent sensor networks with ASSL and DMF. [Citation Graph (, )][DBLP]
    
    
19. 
    Towards Self-Managing Real-Time System. [Citation Graph (, )][DBLP]
    
    
20. 
    Desert Island Column. [Citation Graph (, )][DBLP]
    
    
21. 
    Software engineering and formal methods. [Citation Graph (, )][DBLP]
    
    
22. 
    Dynamic Software Product Lines. [Citation Graph (, )][DBLP]
    
    
23. 
    Computer Celebrates NASA's 50th Anniversary. [Citation Graph (, )][DBLP]
    
    
24. 
    ICT Research Experience. [Citation Graph (, )][DBLP]
    
    
25. 
    A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model. [Citation Graph (, )][DBLP]
    
    
26. 
    Model-Based Verification of Embedded Software. [Citation Graph (, )][DBLP]
    
    
27. 
    ASSL: A Software Engineering Approach to Autonomic Computing. [Citation Graph (, )][DBLP]
    
    
28. 
    Formal Versus Agile: Survival of the Fittest. [Citation Graph (, )][DBLP]
    
    
29. 
    Fulfilling the Vision of Autonomic Computing. [Citation Graph (, )][DBLP]
    
    
30. 
    Guest Editors' Introduction: Evolving Critical Systems. [Citation Graph (, )][DBLP]
    
    
31. 
    Developing Experimental Models for NASA Missions with ASSL [Citation Graph (, )][DBLP]