Alexandre Mota

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Information Processing Letters	2019-11-28	Paper
Model-based control using interval type-2 fuzzy logic systems Soft Computing	2018-10-22	Paper
Aiding exploratory testing with pruned GUI models Information Processing Letters	2018-03-16	Paper
Test generation from state based use case models Formal Aspects of Computing	2016-08-05	Paper
Checking Z Data Refinements Using Traces Refinement Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Viewing CSP specifications with UML-RT diagrams Electronic Notes in Theoretical Computer Science	2014-01-24	Paper
Towards property oriented testing Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Simulink timed models for program verification Theories of Programming and Formal Methods	2013-08-16	Paper
Introducing concurrency in sequential Java via laws Information Processing Letters	2013-04-04	Paper
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications Lecture Notes in Computer Science	2012-11-06	Paper
Conformance notions for the coordination of interaction components Science of Computer Programming	2010-04-29	Paper
A mechanized strategy for safe abstraction of CSP specifications Lecture Notes in Computer Science	2009-12-09	Paper
Integrated Formal Methods Lecture Notes in Computer Science	2009-05-07	Paper
Guided Test Generation from CSP Models Theoretical Aspects of Computing - ICTAC 2008	2009-01-27	Paper
scientific article; zbMATH DE number 2090136 (Why is no real title available?)	2004-08-12	Paper
Model-checking CSP-Z: Strategy, tool support and industrial application Science of Computer Programming	2001-07-05	Paper

Research outcomes over time

This page was built for person: Alexandre Mota