Arturo Sanchez

According to our database, Arturo Sanchez authored at least 15 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2012

Improving the Teaching of Discrete-Event Control Systems Using a LEGO Manufacturing Prototype.

Arturo Sanchez, Jorge Bucio

IEEE Trans. Educ., 2012

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

Appl. Ontology, 2011

On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems.

Arturo Sanchez, Javier Molina

Proceedings of the 9th IEEE International Conference on Control and Automation, 2011

Modelling and implementation of automata-based hierarchical discrete-event controllers using the B-method.

Noe Campos, Arturo Sanchez

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2007

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

2006

Automatic support for testing web-based enterprise applications.

Arturo Sanchez, Brandon Vega, Alexander Gonzalez, Gregory Jackson

Proceedings of the 44st Annual Southeast Regional Conference, 2006

2005

Infusing Software Architecture into Software Engineering Curricula.

Michael J. Lutz, Arturo Sanchez

Proceedings of the 18th Conference on Software Engineering Education and Training (CSEE&T 2005), 2005

2004

Toward a General Framework for Building Scientific Data Sharing Web Services.

Sean Warden, Arturo Sanchez, Sherif Elfayoumy

Proceedings of the International Conference on Internet Computing, 2004

2003

An Architectural Pattern For Adaptable Middleware Infrastructure.

Arturo Sanchez, Jason Mitchell

Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

A comparison of synthesis tools for supervisory controllers.

Arturo Sanchez, J. Reza, Jaime G. Douriet, R. Gonzalez

Proceedings of the 7th European Control Conference, 2003

1998

Compositional Specification of Controllers for Batch Process Operations.

Kevin Lano, Pauline Kan, Arturo Sanchez

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Linking Hazard Analysis to Formal Specification and Design in B.

Kevin Lano, Pauline Kan, Arturo Sanchez

Proceedings of the Computer Safety, 1998

1997

Design of Reactive Control Systems for Event-Drivem Operations.

Kevin Lano, Arturo Sanchez

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Transformational Formal Development of Real-Time Systems.

Kevin Lano, Arturo Sanchez

Proceedings of the Transformation-Based Reactive Systems Development, 1997