Cs-Se
MESURE Tool to benchmark Java Card platforms
Modelling and Analysing Dynamic Decentralised Systems
Statechart Verification with iState
IRPF90: a programming environment for high performance computing
Context Aware Adaptable Applications - A global approach
Expressing advanced user preferences in component installation
Proof Theory at Work: Complexity Analysis of Term Rewrite Systems
How to Complete an Interactive Configuration Process?
Auto-Documenation for Software Development
Distributed Object Medical Imaging Model
Enhancing the Guidance of the Intentional Model "MAP": Graph Theory Application
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking
Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments
Advances in the Design and Implementation of a Multi-Tier Architecture in the GIPSY Environment
Considerations on Resource Usage in Exceptions and Failures in Workflows
A Language-theoretic View on Guidelines and Consistency Rules of UML
Tailored business solutions by workflow technologies
Failover of Software Services with State Replication
An Analysis of Bug Distribution in Object Oriented Systems
Formalizing Safety Requirements Using Controlling Automata
Reliable Process for Security Policy Deployment
Quality Classifiers for Open Source Software Repositories
