Valerio Rosset
AuthID: R-000-JAP
1
TITLE: Modeling the reliability of a group membership protocol for dual-scheduled time division multiple access networks Full Text
AUTHORS: Valerio Rosset; Pedro F Souto ; Paulo Portugal ; Francisco Vasques ;
PUBLISHED: 2012, SOURCE: COMPUTER STANDARDS & INTERFACES, VOLUME: 34, ISSUE: 3
AUTHORS: Valerio Rosset; Pedro F Souto ; Paulo Portugal ; Francisco Vasques ;
PUBLISHED: 2012, SOURCE: COMPUTER STANDARDS & INTERFACES, VOLUME: 34, ISSUE: 3
2
TITLE: Reliable Communication for DuST Networks
AUTHORS: Valerio Rosset; Pedro Souto ; Francisco Vasques ;
PUBLISHED: 2009, SOURCE: 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009)
AUTHORS: Valerio Rosset; Pedro Souto ; Francisco Vasques ;
PUBLISHED: 2009, SOURCE: 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009)
3
TITLE: A reliability evaluation of a group membership protocol
AUTHORS: Valerio Rosset; Pedro F Souto ; Paulo Portugal ; Francisco Vasques ;
PUBLISHED: 2007, SOURCE: 26th International Conference on Computer Safety, Reliability and Security in COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, VOLUME: 4680
AUTHORS: Valerio Rosset; Pedro F Souto ; Paulo Portugal ; Francisco Vasques ;
PUBLISHED: 2007, SOURCE: 26th International Conference on Computer Safety, Reliability and Security in COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, VOLUME: 4680
4
TITLE: Formal verification of a group membership protocol using model checking
AUTHORS: Valerio Rosset; Pedro F Souto ; Rancisco Vasques ;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, ISSUE: PART 1
AUTHORS: Valerio Rosset; Pedro F Souto ; Rancisco Vasques ;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, ISSUE: PART 1
5
TITLE: A group membership protocol for communication systems with both static and dynamic scheduling
AUTHORS: Rosset, V; Souto, PF ; Vasques, F ;
PUBLISHED: 2006, SOURCE: WFCS 2006: 2006 IEEE International Workshop on Factory Communication Systems in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS
AUTHORS: Rosset, V; Souto, PF ; Vasques, F ;
PUBLISHED: 2006, SOURCE: WFCS 2006: 2006 IEEE International Workshop on Factory Communication Systems in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS
6
TITLE: A DRM architecture to distribute and protect digital contents using digital licenses
AUTHORS: Rosset, V; Filippin, CV; Westphall, CM;
PUBLISHED: 2005, SOURCE: Conference on Telecommunications in Telecommunications 2005, Proceedings, VOLUME: 2005
AUTHORS: Rosset, V; Filippin, CV; Westphall, CM;
PUBLISHED: 2005, SOURCE: Conference on Telecommunications in Telecommunications 2005, Proceedings, VOLUME: 2005
