Arturo Sanchez

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