Francisco J. Restivo

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