Francisco J. Restivo

Publication Activity (10 Years)

Years Active: 2001-2012
Publications (10 Years): 0

Top Venues

J. Intell. Manuf.

Publications

Paulo Leitão, J. Marco Mendes, Axel Bepperling, Daniel Cachapa, Armando W. Colombo, Francisco J. Restivo
Integration of virtual and real environments for engineering service-oriented manufacturing systems. J. Intell. Manuf. 23 (6) (2012)
J. Marco Mendes, Francisco J. Restivo, Armando W. Colombo, Paulo Leitão
Behaviour and integration of service-oriented automation and production devices at the shop-floor. Int. J. Comput. Aided Eng. Technol. 3 (3/4) (2011)
J. Marco Mendes, Francisco J. Restivo, Paulo Leitão, Armando W. Colombo
Injecting Service-Orientation into Multi-Agent Systems in Industrial Automation. ICAISC (2) (2010)
J. Marco Mendes, Francisco J. Restivo, Paulo Leitão, Armando W. Colombo
Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation. DoCEIS (2010)
J. Marco Mendes, Paulo Leitão, Francisco J. Restivo, Armando W. Colombo
Service-Oriented Agents for Collaborative Industrial Automation and Production Systems. HoloMAS (2009)
João Pinto, J. Marco Mendes, Paulo Leitão, Armando W. Colombo, Axel Bepperling, Francisco J. Restivo
Decision support system for Petri nets enabled automation components. INDIN (2009)
J. Marco Mendes, Axel Bepperling, João Pinto, Paulo Leitão, Francisco J. Restivo, Armando W. Colombo
Software Methodologies for the Engineering of Service-Oriented Industrial Automation: The Continuum Project. COMPSAC (1) (2009)
Paulo Leitão, Francisco J. Restivo
Implementation of a Holonic Control System in a Flexible Manufacturing System. IEEE Trans. Syst. Man Cybern. Part C 38 (5) (2008)
Vasco F. Teles, Francisco J. Restivo
Innovation in Information Systems applied to the Shoes Retail Business. IFIP CAI (2008)
J. Marco Mendes, Alexandre Rodrigues, Paulo Leitão, Armando W. Colombo, Francisco J. Restivo
Distributed Control Patterns using Device Profile for Web Services. EDOCW (2008)
Paulo Leitão, Armando W. Colombo, Francisco J. Restivo
A formal specification approach for holonic control systems: the ADACOR case. Int. J. Manuf. Technol. Manag. 8 (1/2/3) (2006)
Paulo Leitão, Francisco J. Restivo
A Holonic Approach to Dynamic Manufacturing Scheduling. BASYS (2006)
Paulo Leitão, Francisco J. Restivo
ADACOR: A holonic architecture for agile and adaptive manufacturing control. Comput. Ind. 57 (2) (2006)
Paulo Leitão, Armando W. Colombo, Francisco J. Restivo
ADACOR: A Collaborative Production Automation and Control Architecture. IEEE Intell. Syst. 20 (1) (2005)
Paulo Leitão, Armando W. Colombo, Francisco J. Restivo
Formal Specification of ADACOR Holonic Control System: Coordination Models. CDC/ECC (2005)
Paulo Leitão, Francisco J. Restivo
Experimental Validation of ADACOR Holonic Control System. HoloMAS (2005)
Paulo Leitão, Francisco Casais, Francisco J. Restivo
Holonic Manufacturing Control: A Practical Implementation. BASYS (2004)
Paulo Leitão, Armando W. Colombo, Francisco J. Restivo
A formal validation approach for holonic control system specifications. ETFA (1) (2003)
Paulo Leitão, Armando W. Colombo, Francisco J. Restivo
An Approach to the Formal Specification of Holonic Control Systems. HoloMAS (2003)
Paulo Leitão, Raymond Boissier, Francisco Casais, Francisco J. Restivo
Integration of Automation Resources in Holonic Manufacturing Applications. HoloMAS (2003)
Paulo Leitão, Francisco J. Restivo
Towards Autonomy, Self-Organisation and Learning in Holonic Manufacturing. CEEMAS (2003)
Manuel G. Soares, Benedita Malheiro, Francisco J. Restivo
An internet DGPS service for precise outdoor navigation. ETFA (1) (2003)
Paulo Leitão, Francisco J. Restivo
Agent-Based Holonic Production Control. DEXA Workshops (2002)
Paulo Leitão, Francisco J. Restivo
A Holonic Control Approach for Distributed Manufacturing. BASYS (2002)
Paulo Leitão, Francisco J. Restivo, Goran D. Putnik
A multi-agent based cell controller. ETFA (2) (2001)