Transformational Formal Development of Real-Time Systems. - Kevin Lano; Arturo Sanchez (ARTS, 1997)

Design of Reactive Control Systems for Event-Drivem Operations. - Kevin Lano; Arturo Sanchez (FME, 1997)

Linking Hazard Analysis to Formal Specification and Design in B. - Kevin Lano; Pauline Kan; Arturo Sanchez (SAFECOMP, 1998)

Compositional Specification of Controllers for Batch Process Operations. - Kevin Lano; Pauline Kan; Arturo Sanchez (ZUM, 1998)

A comparison of synthesis tools for supervisory controllers. - Arturo Sanchez; J. Reza; Jaime G. Douriet; R. Gonzalez (ECC, 2003)

An Architectural Pattern For Adaptable Middleware Infrastructure. - Arturo Sanchez; Jason Mitchell (IRI, 2003)

Toward a General Framework for Building Scientific Data Sharing Web Services. - Sean Warden; Arturo Sanchez; Sherif Elfayoumy (International Conference on Internet Computing, 2004)

Infusing Software Architecture into Software Engineering Curricula. - Michael J. Lutz; Arturo Sanchez (CSEE&T, 2005)

Automatic support for testing web-based enterprise applications. - Arturo Sanchez; Brandon Vega; Alexander Gonzalez; Gregory Jackson (ACM Southeast Regional Conference, 2006)

Synthesis of a Class of Discrete-Event Controllers for Large Manufacturing Systems. - Arturo Sanchez; Jaime G. Douriet; Eduardo Ramirez (IEEE Trans. Syst. Man Cybern. Part C, 2007)

Modelling and implementation of automata-based hierarchical discrete-event controllers using the B-method. - Noe Campos; Arturo Sanchez (ETFA, 2011)

On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems. - Arturo Sanchez; Javier Molina (ICCA, 2011)

Creating the ontologists of the future. - Fabian Neuhaus; Elizabeth Florescu; Antony Galton; Michael Grüninger; Nicola Guarino; Leo Obrst; Arturo Sanchez; Amanda Vizedom; Peter Yim; Barry Smith 001 (Appl. Ontology, 2011)

Improving the Teaching of Discrete-Event Control Systems Using a LEGO Manufacturing Prototype. - Arturo Sanchez; Jorge Bucio (IEEE Trans. Educ., 2012)

Impact of Multi-Thresholds and Vector Correction for Tracking Precipitating Systems over the Amazon Basin. - Helvecio B. Leal Neto; Alan J. P. Calheiros; Henrique M. J. Barbosa; Adriano P. Almeida; Arturo Sanchez; Daniel Alejandro Vila; Sâmia R. Garcia; Elbert E. N. Macau (Remote. Sens., 2022)