Alexandre Mota

Available identifiers

Publication	Date of Publication	Type
Probabilistic semantics for RoboChart. A weakest completion approach	2020-02-18	Paper
Combining model finder and genetic programming into a general purpose automatic program synthesizer	2019-11-28	Paper
Model-based control using interval type-2 fuzzy logic systems	2018-10-22	Paper
Aiding exploratory testing with pruned GUI models	2018-03-16	Paper
Test generation from state based use case models	2016-08-05	Paper
Checking Z Data Refinements Using Traces Refinement	2015-03-19	Paper
Viewing CSP specifications with UML-RT diagrams	2014-01-24	Paper
Towards property oriented testing	2014-01-17	Paper
Simulink timed models for program verification	2013-08-16	Paper
Introducing concurrency in sequential Java via laws	2013-04-04	Paper
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications	2012-11-06	Paper
Conformance notions for the coordination of interaction components	2010-04-29	Paper
A mechanized strategy for safe abstraction of CSP specifications	2009-12-09	Paper
Integrated Formal Methods	2009-05-07	Paper
Guided Test Generation from CSP Models	2009-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4808828	2004-08-12	Paper
Model-checking CSP-Z: Strategy, tool support and industrial application	2001-07-05	Paper

This page was built for person: Alexandre Mota