M

M Dos Santos Soares

View Pure Profile

Authored

20 records found

Scenario Analysis of a Network of the Traffic Signals Designed with Petri nets.

A real-life test bed for multi-agent monitoring of network performance

Architecture for istributed Traffic Control

Multi-level Control of Networks, the Case of Road Traffic Control
Conference paper - J.L.M. Vrancken, M Dos Santos Soares

Real Time Scheduling of Batch Systems, using Petri Nets and Lineal logic.

Regional Road Traffic Management in the Netherlands

A Proposed Extension to the SysML Requirements Diagram
Conference paper - M Dos Santos Soares, J.L.M. Vrancken

Road Trafic Signals Modelling and Analysis with petri nets and Linear Logic.
Conference paper - M Dos Santos Soares, J.L.M. Vrancken

A Metamodelling Approach to Transform UML 2.0 Sequence Diagrams to Petri nets
Conference paper - M Dos Santos Soares, J.L.M. Vrancken

Human Factors in System reliability: lessons learnt from the Maeslandt storm surge barrier in the Netherlands.

Qualidade de Software

Responsive Traffic Signals Designed with Petri Nets
Conference paper - M Dos Santos Soares, J.L.M. Vrancken

Architecture-Based Development of Road Traffic Management Systems

Metodologias Ageis para Desenvolvimento de Software
Journal article - M Dos Santos Soares

A Method for Designing and Analysis of Engineering Systems
Conference paper - M Dos Santos Soares, J.L.M. Vrancken

Virtueel boek: The Dynamics of Standards

Requirement Specification and Modelling through SysML
Conference paper - M Dos Santos Soares, J.L.M. Vrancken

Model-Driven User Requirements Specification using SysML

Internet Addressing Standards: a case study in standards' dynamics driven by bottom-up adoption.

an Integrated Method based on Multi-models and levels of Modeling for Designing and analysis of Complex Engineering Systems
Conference paper - M Dos Santos Soares, J.L.M. Vrancken