Arturo Sanchez

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 1

Top Topics

Economic Impact

Feature Vectors

Intelligent Systems

Top Venues

Publications

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
Impact of Multi-Thresholds and Vector Correction for Tracking Precipitating Systems over the Amazon Basin. Remote. Sens. 14 (21) (2022)
Arturo Sanchez, Jorge Bucio
Improving the Teaching of Discrete-Event Control Systems Using a LEGO Manufacturing Prototype. IEEE Trans. Educ. 55 (3) (2012)
Fabian Neuhaus, Elizabeth Florescu, Antony Galton, Michael Grüninger, Nicola Guarino, Leo Obrst, Arturo Sanchez, Amanda Vizedom, Peter Yim, Barry Smith
Creating the ontologists of the future. Appl. Ontology 6 (1) (2011)
Noe Campos, Arturo Sanchez
Modelling and implementation of automata-based hierarchical discrete-event controllers using the B-method. ETFA (2011)
Arturo Sanchez, Javier Molina
On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems. ICCA (2011)
Arturo Sanchez, Jaime G. Douriet, Eduardo Ramirez
Synthesis of a Class of Discrete-Event Controllers for Large Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Part C 37 (4) (2007)
Arturo Sanchez, Brandon Vega, Alexander Gonzalez, Gregory Jackson
Automatic support for testing web-based enterprise applications. ACM Southeast Regional Conference (2006)
Michael J. Lutz, Arturo Sanchez
Infusing Software Architecture into Software Engineering Curricula. CSEE&T (2005)
Sean Warden, Arturo Sanchez, Sherif Elfayoumy
Toward a General Framework for Building Scientific Data Sharing Web Services. International Conference on Internet Computing (2004)
Arturo Sanchez, J. Reza, Jaime G. Douriet, R. Gonzalez
A comparison of synthesis tools for supervisory controllers. ECC (2003)
Arturo Sanchez, Jason Mitchell
An Architectural Pattern For Adaptable Middleware Infrastructure. IRI (2003)
Kevin Lano, Pauline Kan, Arturo Sanchez
Compositional Specification of Controllers for Batch Process Operations. ZUM (1998)
Kevin Lano, Pauline Kan, Arturo Sanchez
Linking Hazard Analysis to Formal Specification and Design in B. SAFECOMP (1998)
Kevin Lano, Arturo Sanchez
Transformational Formal Development of Real-Time Systems. ARTS (1997)
Kevin Lano, Arturo Sanchez
Design of Reactive Control Systems for Event-Drivem Operations. FME (1997)