Marcel Oliveira

According to our database1, Marcel Oliveira authored at least 39 papers between 2003 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
The CLEARSY safety platform: 5 years of research, development and deployment.
Sci. Comput. Program., 2020

A refinement checking based strategy for component-based systems evolution.
J. Syst. Softw., 2020

Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP.
Proceedings of the Software Architecture - 14th European Conference, 2020

2019
A Research Landscape on Formal Verification of Software Architecture Descriptions.
IEEE Access, 2019

2018
Compositional and local livelock analysis for CSP.
Inf. Process. Lett., 2018

An Automated Environment for Teaching Programming Logic on Distance Learning IT Courses.
Proceedings of the 10th International Conference on Computer Supported Education, 2018

2017
BTS: A Tool for Formal Component-Based Development.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016
Rigorous development of component-based systems using component metadata and patterns.
Formal Aspects Comput., 2016

Local Livelock Analysis of Component-Based Models.
Proceedings of the Formal Methods and Software Engineering, 2016

2015
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Constructive extensibility of trustworthy component-based systems.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Model-Checking Circus State-Rich Specifications.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013
Unifying theories in ProofPower-Z.
Formal Aspects Comput., 2013

A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Using IT Education to Reveal New Horizons - A Large Scale Case Study on Digital and Social Inclusion.
Proceedings of the CSEDU 2013, 2013

2012
Mechanised support for sound refinement tactics.
Formal Aspects Comput., 2012

JCircus 2.0: an Extension of an Automatic Translator from Circus to Java.
Proceedings of the 34th Communicating Process Architectures, 2012

Implementing Tactics of Refinement in CRefine.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2011
A tactic language for refinement of state-rich concurrent specifications.
Sci. Comput. Program., 2011

B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010
Modelling and Implementing Complex Systems with Timebands.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Formal Development of a Cardiac Pacemaker: From Specification to Code.
Proceedings of the Formal Methods: Foundations and Applications, 2010

Specification and Verification of a MPI Implementation for a MP-SoC.
Proceedings of the Theoretical Aspects of Computing, 2010

Integrating SMT-Solvers in Z and B Tools.
Proceedings of the Abstract State Machines, 2010

2009
A UTP semantics for <i>Circus</i>.
Formal Aspects Comput., 2009

Supporting ArcAngel in ProofPower.
Electron. Notes Theor. Comput. Sci., 2009

Formal Specification of a Cardiac Pacing System.
Proceedings of the FM 2009: Formal Methods, 2009

Composing architectural aspects based on style semantics.
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008
ArcAngelC: a Refinement Tactic Language for Circus.
Electron. Notes Theor. Comput. Sci., 2008

CRefine: Support for the Circus Refinement Calculus.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Tool Support for the CircusRefinement Calculus.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007
A Denotational Semantics for Circus.
Electron. Notes Theor. Comput. Sci., 2007

Automatic Generation of Verified Concurrent Hardware.
Proceedings of the Formal Methods and Software Engineering, 2007

2005
Formal derivation of state-rich reactive programs using Circus.
PhD thesis, 2005

Formal development of industrial-scale systems in <i>Circus</i>.
Innov. Syst. Softw. Eng., 2005

2004
Refine and Gabriel: Support for Refinement and Tactics.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

From Circus to JCSP.
Proceedings of the Formal Methods and Software Engineering, 2004

2003
ArcAngel: a Tactic Language for Refinement.
Formal Aspects Comput., 2003


  Loading...