Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Kenichi Mishina
Jinhong Wei
Ivo Anastácio
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
PAULO E. S. BARBOSA
Author Info
Open Visualization
Name
Affiliation
Papers
PAULO E. S. BARBOSA
Universidade Federal de Campina Grande, Brazil
13
Collaborators
Citations
PageRank
34
23
5.14
Referers
Referees
References
52
215
95
Search Limit
100
215
Publications (13 rows)
Collaborators (34 rows)
Referers (52 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
The Safety Requirements Decomposition Pattern
1
0.35
2015
Safety Case Driven Development for Medical Devices
0
0.34
2015
NUTES ProLS: Specification of an Environment for Prototyping and Evolving EHR Data Collection Systems
0
0.34
2014
Architectural specification for infusion pumps and realization towards safety technological trends
0
0.34
2014
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design
1
0.35
2011
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
1
0.43
2011
Properties Preservation in Distributed Execution of Petri Nets Models
2
0.36
2010
Semantic Equations for Formal Models in the Model-Driven Architecture
1
0.41
2010
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems
8
0.67
2009
An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations
5
0.44
2008
Incorporating Semantic Algebra In The Mda Framework
2
0.40
2008
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids
1
0.35
2006
Testing from Structured Algebraic Specifications: The Veritas Case Study
1
0.36
2005
1