14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)

Motion Planning System for Minimally Invasive Surgery

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) ◽

10.1109/ecbs.2007.56 ◽

2007 ◽

Cited By ~ 1

Author(s):

Hanees Haniffa ◽

Jerzy Rozenblit ◽

Jianfeng Peng ◽

Allan Hamilton ◽

Mohamad Salkini

Keyword(s):

Minimally Invasive Surgery ◽

Minimally Invasive ◽

Motion Planning ◽

Invasive Surgery ◽

Planning System

Download Full-text

Ontological Traceability over the Unified Process

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) ◽

10.1109/ecbs.2007.58 ◽

2007 ◽

Cited By ~ 7

Author(s):

Rodrigo Perozzo Noll ◽

Marcelo Blois Ribeiro

Keyword(s):

Unified Process

Download Full-text

Diagnosis of Embedded Software Using Program Spectra

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) ◽

10.1109/ecbs.2007.31 ◽

2007 ◽

Cited By ~ 20

Author(s):

Peter Zoeteweij ◽

Rui Abreu ◽

Rob Golsteijn ◽

Arjan J.C. van Gemund

Keyword(s):

Embedded Software

Download Full-text

Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) ◽

10.1109/ecbs.2007.16 ◽

2007 ◽

Cited By ~ 7

Author(s):

Lucas Cordeiro ◽

Raimundo Barreto ◽

Rafael Barcelos ◽

Meuse Oliveira ◽

Vicente Lucena ◽

...

Keyword(s):

Embedded Systems ◽

Design Approach ◽

Agile Development ◽

Development Methodology ◽

Platform Based Design

Download Full-text

Formal Architecture Transformation Using Heuristics

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) ◽

10.1109/ecbs.2007.42 ◽

2007 ◽

Cited By ~ 2

Author(s):

Cameron Maxwell ◽

Tim O'Neill ◽

John Leaney

Download Full-text

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) ◽

10.1109/ecbs.2007.22 ◽

2007 ◽

Cited By ~ 23

Author(s):

Yosr Jarraya ◽

Andrei Soeanu ◽

Mourad Debbabi ◽

Fawzi Hassaine

Keyword(s):

Performance Analysis ◽

Automatic Verification ◽

Activity Diagrams ◽

And Performance ◽

Sysml Activity Diagrams

Download Full-text

Computer Based Psychotherapy for Treatment of Depression and Anxiety

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) ◽

10.1109/ecbs.2007.26 ◽

2007 ◽

Cited By ~ 2

Author(s):

Byron Purves ◽

David Purves

Keyword(s):

Depression And Anxiety ◽

Treatment Of Depression ◽

Computer Based

Download Full-text

An Event-Driven Architecture for Fine Grained Intrusion Detection and Attack Aftermath Mitigation

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) ◽

10.1109/ecbs.2007.18 ◽

2007 ◽

Cited By ~ 1

Author(s):

Jianfeng Peng ◽

Chuan Feng ◽

Haiyan Qiao ◽

Jerzy Rozenblit

Keyword(s):

Intrusion Detection ◽

Fine Grained ◽

Event Driven

Download Full-text

Evaluating the Quality of Models Extracted from Embedded Real-Time Software

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) ◽

10.1109/ecbs.2007.38 ◽

2007 ◽

Cited By ~ 1

Author(s):

Joel Huselius ◽

Johan Kraft ◽

Hans Hansson ◽

Sasikumar Punnekkat

Keyword(s):

Real Time

Download Full-text

Visualisation of Domain-Specific Modelling Languages Using UML

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) ◽

10.1109/ecbs.2007.77 ◽

2007 ◽

Cited By ~ 7

Author(s):

Bas Graaf ◽

Arie van Deursen

Keyword(s):

Modelling Languages ◽

Domain Specific

Download Full-text

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Motion Planning System for Minimally Invasive Surgery

Ontological Traceability over the Unified Process

Diagnosis of Embedded Software Using Program Spectra

Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach

Formal Architecture Transformation Using Heuristics

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams

Computer Based Psychotherapy for Treatment of Depression and Anxiety

An Event-Driven Architecture for Fine Grained Intrusion Detection and Attack Aftermath Mitigation

Evaluating the Quality of Models Extracted from Embedded Real-Time Software

Visualisation of Domain-Specific Modelling Languages Using UML

Export Citation Format

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Motion Planning System for Minimally Invasive Surgery

Ontological Traceability over the Unified Process

Diagnosis of Embedded Software Using Program Spectra

Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach

Formal Architecture Transformation Using Heuristics

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams

Computer Based Psychotherapy for Treatment of Depression and Anxiety

An Event-Driven Architecture for Fine Grained Intrusion Detection and Attack Aftermath Mitigation

Evaluating the Quality of Models Extracted from Embedded Real-Time Software

Visualisation of Domain-Specific Modelling Languages Using UML

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)
Latest Publications