Introducing Tool Support for Managing Architectural Knowledge: An Experience Report. [Citation Graph (, )][DBLP]
Model Checking with Graphical Validation Rules. [Citation Graph (, )][DBLP]
Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. [Citation Graph (, )][DBLP]
Protocol Verification in a Software Component-Based Approach. [Citation Graph (, )][DBLP]
Implementation of a Modular Mobile Mapping in a Geocomputing Platform for Location-Based Services Using Geographic Recognition. [Citation Graph (, )][DBLP]
Biometric Inspired Digital Image Steganography. [Citation Graph (, )][DBLP]
A Formal Model for Network-Wide Security Analysis. [Citation Graph (, )][DBLP]
An Interval-Based Solution for Static Analysis in the SIGNAL Language. [Citation Graph (, )][DBLP]
Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. [Citation Graph (, )][DBLP]
Fuzzy Logic-Based Performance Assessment in the Virtual, Assistive Surgical Trainer (VAST). [Citation Graph (, )][DBLP]
A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. [Citation Graph (, )][DBLP]
Automated Phone Capture of Diabetes Patients Readings with Consultant Monitoring via the Web. [Citation Graph (, )][DBLP]
A Hybrid Approach for Modeling and Assessing Performance of Embedded Systems in a Biologically Critical Application. [Citation Graph (, )][DBLP]
Optimizing Design for Variability Using Traceability Links. [Citation Graph (, )][DBLP]
Taking Advantage of COTS for Developing Aspect-Oriented Software Architectures. [Citation Graph (, )][DBLP]
Evaluation of Quality Attribute Variability in Software Product Families. [Citation Graph (, )][DBLP]
Software Configuration Management for Product Derivation in Software Product Families. [Citation Graph (, )][DBLP]
Model Driven Management of Complex Systems: Implementing the Macroscopes Vision. [Citation Graph (, )][DBLP]
Utilising Abstract Matching to Preserve the Nature of Heuristics in Design Optimisation. [Citation Graph (, )][DBLP]
ALI: An Extensible Architecture Description Language for Industrial Applications. [Citation Graph (, )][DBLP]
A Model-Based Design Process for the SegBus Distributed Architecture. [Citation Graph (, )][DBLP]
Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. [Citation Graph (, )][DBLP]