Performance Analysis of Telecommunication Systems

Vincenzo De Florio, Ph.D

Contact information

• G1.11 - Building G
• Dept. of Mathematics and Computer Science
• Middelheimlaan 1
• B-2020 Antwerpen
• Belgium

• vincenzo.deflorio@ua.ac.be
• +32 3 265 39 05
• +32 3 265 37 77

News: Since January 2013, local responsible and steering committee member for the ICON project "Little Sister" (iMinds research institute and IWT).

News: Appointed as referee for the assignment of funds for university research groups by the Italian Ministry for Education University and Research (MIUR) (2012 and 2013).

News: Co-chair of the ACM Ubicomp 2012 Workshop CASEMANS 2012.

News: Appointed by the Natural Sciences and Engineering Research Council of Canada (NSERC) for the evaluation of a Discovery Grant proposal (2012).

News: Editor of Innovations and Approaches for Resilient and Adaptive Systems, Advances Book Series "Advances in Adaptive, Resilient and Autonomic Systems" (AARAS), IGI Global, Hershey, PA 17033, USA. September 2012.

News: Editor of Technological Innovations in Adaptive and Dependable Systems: Advancing Models and Concepts, IGI Global, Hershey, PA 17033, USA. March 2012.

News: Invited speaker at IMEC Academy, IMEC, Belgium, on May 4, 2011 ("SSET seminar: Cost-Effective Software Reliability through Autonomic Tuning of System Resources").

Major Facts and Figures

19.743 : total Impact Factor achieved.

1 book (as author), 2 books (as editor).

23 journal papers.

3 book chapters.

75 conference papers.

1 patent.

6 years as responsible of the PATS task force on Adaptive-and-Dependable Systems.

84 times a member of Programme Committees.

4 times workshop Chair, 1 time Vice-Chair.

3 academic years as part-time professor (K.U.Leuven, 2001-2004).

12 years as post-doctoral researcher.

3 times promotor of PhD students.

3 international awards received by my PhD students.

7 times member of a PhD jury.

233,650 euros of obtained research fundings (1 Europen project, 1 national project).

9 academic years as course holder (6 course instances at UA, 3 at K.U.Leuven)

1 international Journal (Founder and editor-in-chief.)

3 international journals appointed me as member of their Editorial Board.

1 time I successfully co-proposed and was local team leader of a European research project.

2 times local team leader for Belgian research projects.

Detailed curriculum: available here

Google scholar citations: here

Publications

2013

• On the Constituent Attributes of Software and Organisational Resilience
  Vincenzo De Florio
  Interdisciplinary Science Reviews, Vol. 38, No. 2, Maney Publishing, 2013.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @ARTICLE{DF13a,
  author = {Vincenzo {De Florio}},
  title = {On the Constituent Attributes of Software and Organisational Resilience},
  journal = {Interdisciplinary Science Reviews},
  year = {2013},
  abstract = {Our societies are increasingly dependent on the services supplied by our computers and their software. Forthcoming new technology is only exacerbating this dependence by increasing the number, the performance, and the degree of autonomy and inter-connectivity of software-empowered computers and cyber-physical “things”, which translates into unprecedented scenarios of interdependence. As a consequence, guaranteeing the persistence-of-identity of individual and collective software systems and software-backed organisations becomes an increasingly important prerequisite towards sustaining the safety, security, and quality of the computer services supporting human societies. Resilience is the term used to refer to the ability of a system to retain its functional and non-functional identity. In the present article we conjecture that a better understanding of resilience may be reached by decomposing it into a number of ancillary constituent properties, the same way as a better insight in system dependability was obtained by breaking it down into safety, availability, reliability, and other sub-properties. Three of the main sub-properties of resilience proposed here refer respectively to the ability to perceive environmental changes; to understand the implications introduced by those changes; and to plan and enact adjustments intended to improve the system-environment fit. A fourth property characterises the way the above abilities manifest themselves in computer systems. The four properties are then analyzed in three families of case studies, each consisting of three software systems that embed different resilience methods. Our major conclusion is that reasoning in terms of our resilience sub-properties may help revealing the characteristics—and in particular the limitations—of classic methods and tools meant to achieve system and organisational resilience. We conclude by suggesting that our method may prelude to meta-resilient systems—systems, that is, able to adjust optimally their own resilience with respect to changing environmental conditions.},
  volume = {38},
  number = {2},
  month = {June},
  year = {2013},
  nopagesyet = {185--197},
  publisher = {Maney Publishing},
  URL = {content/publications/2013/otcaosr-v2.4.pdf}
  }
  
  Abstract:
  Our societies are increasingly dependent on the services supplied by our computers and their software. Forthcoming new technology is only exacerbating this dependence by increasing the number, the performance, and the degree of autonomy and inter-connectivity of software-empowered computers and cyber-physical “things”, which translates into unprecedented scenarios of interdependence. As a consequence, guaranteeing the persistence-of-identity of individual and collective software systems and software-backed organisations becomes an increasingly important prerequisite towards sustaining the safety, security, and quality of the computer services supporting human societies. Resilience is the term used to refer to the ability of a system to retain its functional and non-functional identity. In the present article we conjecture that a better understanding of resilience may be reached by decomposing it into a number of ancillary constituent properties, the same way as a better insight in system dependability was obtained by breaking it down into safety, availability, reliability, and other sub-properties. Three of the main sub-properties of resilience proposed here refer respectively to the ability to perceive environmental changes; to understand the implications introduced by those changes; and to plan and enact adjustments intended to improve the system-environment fit. A fourth property characterises the way the above abilities manifest themselves in computer systems. The four properties are then analyzed in three families of case studies, each consisting of three software systems that embed different resilience methods. Our major conclusion is that reasoning in terms of our resilience sub-properties may help revealing the characteristics—and in particular the limitations—of classic methods and tools meant to achieve system and organisational resilience. We conclude by suggesting that our method may prelude to meta-resilient systems—systems, that is, able to adjust optimally their own resilience with respect to changing environmental conditions.

2012

• Service-oriented Communities: Models and Concepts towards Fractal Social Organizations
  Vincenzo De Florio, Antonio Coronato, Mohamed Bakhouya & Giovanna Di Marzo Serugendo
  Proceedings of the 8th International Conference on signal, image technology and internet based systems (SITIS 2012), Sorrento, Italy, IEEE, 2012.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{DFCBD12,
  author = {Vincenzo {De Florio} and Antonio Coronato and Mohamed Bakhouya and Giovanna {Di Marzo Serugendo}},
  title = {Service-oriented Communities: Models and
  Concepts towards Fractal Social Organizations},
  booktitle = {Proceedings of the 8th International Conference on signal, image technology and internet based systems (SITIS 2012)},
  year = {2012},
  publisher = {IEEE},
  location = {Sorrento, Italy},
  abstract={It is described an abstract model for the defini-
  tion and the dynamic evolution of “communities of actants”
  originating from a given reference society of roles. Multiple
  representations are provided, showing how communities evolve
  with respect to their reference societies. In particular we show
  how such representations are self-similar and factorisable into
  “prime” constituents. An operating model is then introduced
  that describes the life-cycle of the communities of actants. After
  this a software component is presented—the service-oriented
  community—and its features are described in terms of the above
  mentioned models. Finally it is shown how such component can
  constitute the building block of a novel architecture for the design
  of fractal social organizations.},
  date = {25--29 November, 2012},
  url = {content/publications/2012/SoC12b.pdf}
  }
  
  Abstract:
  It is described an abstract model for the defini- and the dynamic evolution of “communities of actants” from a given reference society of roles. Multiple are provided, showing how communities evolve respect to their reference societies. In particular we show such representations are self-similar and factorisable into constituents. An operating model is then introduced describes the life-cycle of the communities of actants. After a software component is presented—the service-oriented its features are described in terms of the above models. Finally it is shown how such component can the building block of a novel architecture for the design of fractal social organizations.

• Existing challenges and new opportunities in context-aware systems
  Waltenegus Dargie, Juha Plosila & Vincenzo De Florio
  Proceedings of the 2012 ACM Conference on Ubiquitous Computing, Pittsburgh, Pennsylvania, ACM, 2012.
  BibTeX
  
  Bibtex:
  @INPROCEEDINGS{DPDF12,
  author = {Waltenegus Dargie and Juha Plosila and Vincenzo {De Florio}},
  title = {Existing challenges and new opportunities in context-aware systems},
  booktitle = {Proceedings of the 2012 ACM Conference on Ubiquitous Computing},
  year = {2012},
  publisher = {ACM},
  location = {Pittsburgh, Pennsylvania},
  date = {5--8 September, 2012},
  }
  
  Abstract:
  Not available

• Towards Parsimonious Resource Allocation in Context-Aware n-Version Programming
  Jonas Buys, Vincenzo De Florio & Chris Blondia
  Proceedings of the 7th IET System Safety Conference, The Institute of Engineering and Technology, 2012.
  BibTeX | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{Buys2012c,
  author = {Jonas Buys, Vincenzo {De Florio} and Chris Blondia},
  title = {Towards Parsimonious Resource Allocation in Context-Aware n-Version
  Programming},
  booktitle = {Proceedings of the 7th IET System Safety Conference},
  year = {2012},
  publisher = {The Institute of Engineering and Technology},
  url = {http://euterpe.cmi.ua.ac.be/~jbuys/papers/ietss2012.pdf}}
  }
  
  Abstract:
  Not available

• Safety Enhancement Through Situation-aware User Interfaces
  Vincenzo De Florio & Chris Blondia
  Proceedings of the 7th International IET System Safety Conference, Edinburgh, UK, IET, 2012.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{DFB12,
  author = {Vincenzo {De Florio} and Chris Blondia},
  title = {Safety Enhancement Through
  Situation-aware User Interfaces},
  booktitle = {Proceedings of the 7th International IET System Safety Conference},
  year = {2012},
  publisher = {IET},
  location = {Edinburgh, UK},
  date = {15--18 October, 2012},
  abstract={Due to their privileged position halfway between the physical and the
  cyber universe, user interfaces may play an important role in
  learning, preventing, and tolerating scenarios affecting the
  safety of the mission and the user's quality of experience. This
  vision is embodied here in the main ideas and a proof-of-
  concepts
  implementation of user interfaces combining
  dynamic profiling with context- and situation-awareness and
  autonomic software adaptation.},
  url = {content/publications/2012/ss12.pdf}
  }
  
  Abstract:
  Due to their privileged position halfway between the physical and the universe, user interfaces may play an important role in preventing, and tolerating scenarios affecting the of the mission and the user s quality of experience. This is embodied here in the main ideas and a proof-of- of user interfaces combining profiling with context- and situation-awareness and autonomic software adaptation.

• Formal Modeling of Socio-technical Collective Adaptive Systems
  Antonio Coronato, Vincenzo De Florio, Mohamed Bakhouya & Giovanna Di Marzo Serugendo
  Proceedings of the first International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (ASENSIS 2012), Lyon, France, IEEE, 2012.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{CDFBD12,
  author = {Antonio Coronato and Vincenzo {De Florio} and Mohamed Bakhouya and Giovanna {Di Marzo Serugendo}},
  title = {Formal Modeling of Socio-technical Collective Adaptive Systems},
  booktitle = {Proceedings of the first International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (ASENSIS 2012)},
  year = {2012},
  publisher = {IEEE},
  location = {Lyon, France},
  abstract={Socio-technical collective adaptive systems (CAS)
  are composed of different heterogeneous parts or entities
  (e.g., individuals, groups, computers, robots, agents, devices,
  software, services, sensors) that interact collectively in a complex
  and largely unpredictable manner. Their ability to be
  adaptive requires incorporating mechanisms that allow entities
  to interact and perform actions favoring the emergence of
  a global desired behavior or service. Therefore, analyzing
  and discovering new emerging behaviors and/or unexpected
  abnormal behaviors, as well as new opportunities of services
  emergence, require methods and tools for formally specifying,
  verifying, and validating foundational properties at design
  time and while running (runtime verification). In this paper,
  three emerging formal methods—situation calculus, ambient
  calculus, and bigraphical reactive systems—are first studied
  to shed more light on their appropriateness for specifying
  and verifying socio-technical CAS. A case study is used and
  its formal model using these methods is presented to show
  their fundamental features and limitations for modeling these
  systems.
  },
  date = {10 September, 2012},
  url = {content/publications/2012/fmoscas12.pdf}
  }
  
  Abstract:
  Socio-technical collective adaptive systems (CAS) composed of different heterogeneous parts or entities individuals, groups, computers, robots, agents, devices, services, sensors) that interact collectively in a complex largely unpredictable manner. Their ability to be requires incorporating mechanisms that allow entities interact and perform actions favoring the emergence of global desired behavior or service. Therefore, analyzing discovering new emerging behaviors and/or unexpected behaviors, as well as new opportunities of services require methods and tools for formally specifying, and validating foundational properties at design and while running (runtime verification). In this paper, emerging formal methods—situation calculus, ambient and bigraphical reactive systems—are first studied shed more light on their appropriateness for specifying verifying socio-technical CAS. A case study is used and formal model using these methods is presented to show fundamental features and limitations for modeling these

• Towards Meta-Adaptation support with Reusable and Composable Adaptation Components
  Ning Gui & Vincenzo De Florio
  Proceedings of the sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), Lyon, France, IEEE, 2012.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{GDF12,
  author = {Ning Gui and Vincenzo {De Florio}},
  title = {Towards Meta-Adaptation support with Reusable and Composable Adaptation Components},
  booktitle = {Proceedings of the sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)},
  year = {2012},
  publisher = {IEEE},
  abstract = {Software systems today are increasingly used in
  changing environments and expected to adapt with variable
  adaptation concerns. This requirement demands a systematic
  approach to efficiently construct system global adaptation
  behaviour according to the dynamic adaptation requirements.
  This paper presents Transformer---a framework for
  adaptation behaviour composition support based on reusable
  and composable adaptation components. Rather than using
  one adaptation module for all possible contexts, Transformer
  constructs system global adaptation behaviour by contextually
  fusing adaptation plans from multiple adaptation components.
  Explicit conflict resolution is provided to handle possible
  conflicts raised in the fusion process. In addition to the
  description of the Transformer framework, this paper also
  presents its implementation and its application to a video
  conferencing system. Qualitative analysis and simulation
  results show that our framework exhibits significant advantage
  over traditional approaches in light of flexibility and
  reusability of the adaptation components with little
  performance overhead.},
  location = {Lyon, France},
  url = {content/publications/2012/saso2012.pdf},
  date = {10--14 September, 2012},
  }
  
  Abstract:
  Software systems today are increasingly used in environments and expected to adapt with variable concerns. This requirement demands a systematic to efficiently construct system global adaptation according to the dynamic adaptation requirements. paper presents Transformer---a framework for behaviour composition support based on reusable composable adaptation components. Rather than using adaptation module for all possible contexts, Transformer system global adaptation behaviour by contextually adaptation plans from multiple adaptation components. conflict resolution is provided to handle possible raised in the fusion process. In addition to the of the Transformer framework, this paper also its implementation and its application to a video system. Qualitative analysis and simulation show that our framework exhibits significant advantage traditional approaches in light of flexibility and of the adaptation components with little performance overhead.

• WSDM-enabled Autonomic Augmentation of Classical Multi-Version Software Fault-Tolerance Mechanisms
  Roeland Dillen, Jonas Buys, Vincenzo De Florio & Chris Blondia
  Proceedings of the SAFECOMP 2012 Workshops, Lecture Notes in Computer Science, Magdeburg, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7613, pp. 294-306, Springer, F. Ortmeier and P. Daniel, 2012.
  Presented at the 1st Workshop on DEpendable and SEcure Computing for Large-scale Complex Critical Infrastructures (DESEC4LCCI2012)
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{Buys2012b,
  author = {Roeland Dillen and Jonas Buys and Vincenzo {De Florio} and Chris Blondia},
  title = {WSDM-enabled Autonomic Augmentation of Classical Multi-Version Software Fault-Tolerance Mechanisms},
  booktitle = {Proceedings of the SAFECOMP 2012 Workshops, Lecture Notes in Computer Science},
  year = {2012},
  editor = {F. Ortmeier and P. Daniel},
  volume = {7613},
  series = {Lecture Notes in Computer Science (LNCS)},
  pages = {294--306},
  publisher = {Springer},
  note = {Presented at the 1st Workshop on DEpendable and SEcure Computing for Large-scale Complex Critical Infrastructures (DESEC4LCCI2012)},
  location = {Magdeburg, Germany},
  abstract = {Web services are increasingly deployed in many enterprise
  applications. For this type of applications, dependability issues are usually resolved by introducing some form of redundancy in the system.
  Whereas hardware redundancy schemes have traditionally been defined
  through static congurations based on worst-case analysis, the enhanced
  flexibility and interoperability of web services allows for dynamic (self-)
  management of redundancy at the application layer. Combining this advantage with service-oriented platforms such as OSGi facilitates the replication of software components and their integration within redundancy
  schemes. The application of such redundancy schemes inevitably comes
  at a price though---primarily due to the allocation of additional system resources. It is often unknown to the service provider how much
  redundancy and management complexity is required. Furthermore, the
  degree of redundancy and the dependability strategy to be employed
  may be restricted by the budget and requirements of the client, both
  of which may vary. In this paper, we propose a solution to allow the
  client to express a trade-off between its dependability requirements and
  its available budget at request level. A dedicated service provider will
  then attempt to honour these objectives---failing to do so would obviously result in failure from the client point of view. Furthermore, we
  show how classical multi-version software fault-tolerance techniques can
  be augmented with advanced redundancy management leveraging the
  Web Services Distributed Management standard.},
  url = {http://euterpe.cmi.ua.ac.be/~jbuys/papers/desec4lcci2012.pdf}}
  
  Abstract:
  Web services are increasingly deployed in many enterprise For this type of applications, dependability issues are usually resolved by introducing some form of redundancy in the system. hardware redundancy schemes have traditionally been defined static congurations based on worst-case analysis, the enhanced and interoperability of web services allows for dynamic (self-) of redundancy at the application layer. Combining this advantage with service-oriented platforms such as OSGi facilitates the replication of software components and their integration within redundancy The application of such redundancy schemes inevitably comes a price though---primarily due to the allocation of additional system resources. It is often unknown to the service provider how much and management complexity is required. Furthermore, the of redundancy and the dependability strategy to be employed be restricted by the budget and requirements of the client, both which may vary. In this paper, we propose a solution to allow the to express a trade-off between its dependability requirements and available budget at request level. A dedicated service provider will attempt to honour these objectives---failing to do so would obviously result in failure from the client point of view. Furthermore, we how classical multi-version software fault-tolerance techniques can augmented with advanced redundancy management leveraging the Web Services Distributed Management standard.

• Transformer: an adaptation framework with contextual adaptation behavior composition support
  Ning Gui , Vincenzo De Florio & Tom Holvoet
  Software: Practice & Experience, Vol. 46, No. 8, Wiley, 2012.
  BibTeX | PDF Available
  
  Bibtex:
  @ARTICLE{GDFB12a,
  author = {Ning Gui and Vincenzo {De Florio} and Tom Holvoet},
  title = {Transformer: an adaptation framework with contextual adaptation behavior composition support},
  journal = {Software: Practice & Experience},
  year = {2012},
  volume = {46},
  number = {8},
  nopagesyet = {185--197},
  publisher = {Wiley},
  URL = {content/publications/2012/spe12.pdf}
  }
  
  Abstract:
  Not available

• Innovations and Approaches for Resilient and Adaptive Systems
  Vincenzo De Florio (editor)
  pp. 343, IGI Global, Vincenzo De Florio, 2012.
  Available at http://www.igi-global.com/book/innovations-approaches-resilient-adaptive-systems/66376,
  BibTeX | PDF Available
  
  Bibtex:
  @Book{D12b,
  editor = {Vincenzo De Florio},
  author = {Vincenzo De Florio (editor)},
  title = {Innovations and Approaches for Resilient and Adaptive Systems},
  publisher = {IGI Global},
  address = {Hershey, PA 17033, USA},
  year = {2012},
  pages = {343},
  url = {content/publications/2012/InnovationsAndApproachesForResilientAndAdaptiveSystems.pdf},
  note = {Available at http://www.igi-global.com/book/innovations-approaches-resilient-adaptive-systems/66376},
  }
  
  Abstract:
  Not available

• On the Role of Perception and Apperception in Ubiquitous and Pervasive Environments
  Vincenzo De Florio
  Proceedings of the 3rd Workshop on Service Discovery and Composition in Ubiquitous and Pervasive Environments (SUPE 2012), Niagara Falls, Ontario, Canada, Elsevier, 2012.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{DF12b,
  author = {Vincenzo De Florio},
  title = {On the Role of Perception and Apperception in Ubiquitous and Pervasive Environments},
  booktitle = {Proceedings of the 3rd Workshop on Service Discovery and Composition in Ubiquitous and Pervasive Environments (SUPE'2012)},
  address = {Niagara Falls, Ontario, Canada},
  location = {Niagara Falls, Ontario, Canada},
  tages = {unknown},
  month = {August},
  day = {27--29},
  year = {2012},
  publisher = {Elsevier},
  abstract = {Building on top of classic work on the perception of natural systems this paper addresses the role played by such quality
  in environments where change is the rule rather than the exception. As in natural systems, perception in software systems
  takes two major forms: sensory perception and awareness (also known as apperception). For each of these forms we
  introduce semi-formal models that allow us to discuss and characterize perception and apperception failures in software
  systems evolving in environments subjected to rapid and sudden changes—such as those typical of ubiquitous and
  pervasive computing. Our models also provide us with two partial orders to compare such software systems with one
  another as well as with reference environments. When those environments evolve or change, or when the software
  themselves evolve after their environments, the above partial orders may be used to compute new environmental fits and
  different strategic fits and gain insight on the degree of resilience achieved through the current adaptation steps.},
  URL = {content/publications/2012/SUPE_99_DeFlorio.pdf}
  }
  
  Abstract:
  Building on top of classic work on the perception of natural systems this paper addresses the role played by such quality environments where change is the rule rather than the exception. As in natural systems, perception in software systems two major forms: sensory perception and awareness (also known as apperception). For each of these forms we semi-formal models that allow us to discuss and characterize perception and apperception failures in software evolving in environments subjected to rapid and sudden changes—such as those typical of ubiquitous and computing. Our models also provide us with two partial orders to compare such software systems with one as well as with reference environments. When those environments evolve or change, or when the software evolve after their environments, the above partial orders may be used to compute new environmental fits and different strategic fits and gain insight on the degree of resilience achieved through the current adaptation steps.

• Optimization of WS-BPEL Workflows through Business Process Re-Engineering Patterns
  Jonas Buys, Vincenzo De Florio & Chris Blondia
  Technological Innovations in Adaptive and Dependable Systems: Advancing Models and Concepts, pp. 345-361, IGI Global, Vincenzo De Florio, 2012.
  BibTeX
  
  Bibtex:
  @INBOOK{Buys2012a,
  author = {Jonas Buys and Vincenzo {De Florio} and Chris Blondia},
  editor = {Vincenzo {De Florio}},
  title = {Optimization of WS-BPEL Workflows through Business Process Re-Engineering
  Patterns},
  chapter = {20},
  pages = {345--361},
  year = {2012},
  publisher = {IGI Global},
  isbn = {9781466602557},
  booktitle = {Technological Innovations in Adaptive and Dependable Systems: Advancing
  Models and Concepts},
  doi = {10.4018/978-1-4666-0255-7.ch020}
  }
  
  Abstract:
  Not available

• Technological Innovations in Adaptive and Dependable Systems: Advancing Models and Concepts
  Vincenzo De Florio (editor)
  pp. 475, IGI Global, Vincenzo De Florio, 2012.
  BibTeX | PDF Available
  
  Bibtex:
  @Book{D12,
  editor = {Vincenzo De Florio},
  author = {Vincenzo De Florio (editor)},
  title = {Technological Innovations in Adaptive and Dependable Systems: Advancing Models and Concepts},
  publisher = {IGI Global},
  address = {Hershey, PA 17033, USA},
  year = {2012},
  pages = {475},
  url = {content/publications/2012/TechnologicalInnovationsInAdaptiveAndDependableSystems.pdf}
  }
  
  Abstract:
  Not available

• Robust and Tuneable Family of Gossiping Algorithms
  Vincenzo De Florio & Chris Blondia
  Proceedings of the 20th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2012), Garching, Germany, pp. 154-161, IEEE Comp. Soc., 2012.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{DFB12a,
  author = {Vincenzo De Florio and Chris Blondia},
  title = {Robust and Tuneable Family of Gossiping Algorithms},
  booktitle = {Proceedings of the 20th Euromicro International Conference
  on Parallel, Distributed, and Network-Based Processing (PDP 2012)},
  address = {Garching, Germany},
  location = {Garching, Germany},
  tages = {unknown},
  month = {February},
  day = {15--17},
  year = {2012},
  pages = {154--161},
  url = {content/publications/2012/pdp12.pdf},
  publisher = {IEEE Comp. Soc.},
  abstract = {We present a family of gossiping algorithms whose members share the same
  structure though they vary their performance in function of a combinatorial parameter.
  We show that such parameter may be considered as a ``knob'' controlling
  the amount of communication parallelism characterizing the algorithms.
  After this we introduce procedures to operate the knob and choose parameters
  matching the amount of communication channels currently
  provided by the available communication system(s). In so doing we
  provide a robust mechanism to tune the production of requests for communication
  after the current operational conditions of the consumers of such
  requests. This can be used to achieve high performance
  and programmatic avoidance of undesirable events such as message collisions.},
  }
  
  Abstract:
  We present a family of gossiping algorithms whose members share the same though they vary their performance in function of a combinatorial parameter. show that such parameter may be considered as a knob controlling amount of communication parallelism characterizing the algorithms. this we introduce procedures to operate the knob and choose parameters the amount of communication channels currently by the available communication system(s). In so doing we a robust mechanism to tune the production of requests for communication the current operational conditions of the consumers of such This can be used to achieve high performance and programmatic avoidance of undesirable events such as message collisions.

2011

• Robust-and-evolvable Resilient Software Systems: Open Problems and Lessons Learned
  Vincenzo De Florio
  Proceedings of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS 2011), ACM, 2011.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{DF11b,
  author = {Vincenzo De Florio},
  title = {Robust-and-evolvable Resilient Software Systems: Open Problems and Lessons Learned},
  booktitle = {Proceedings of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS 2011)},
  address = {Szeged, Hungary},
  tages = {594--607},
  month = {September},
  publisher = {ACM},
  year = {2011},
  day = {4},
  abstract = {How to build robust-and-evolvable resilient software systems? On the one hand, evolvability implies a system’s
  ability to reach autonomously new, possibly unprecedented
  conditions and states; on the other hand, resilience and robustness refer to feature persistence in the face of perturbations and changes such as the ones brought about by system
  evolution. How to address such problem? How to make sure
  that a software system shall exhibit emerging properties such
  as reliability or safety irrespective of its environmental conditions and whatever its new configuration may be? In this
  paper we discuss these problems leveraging from three cases
  of adaptive software and systems designs. Our conclusions
  are that the complexity and characteristics of the system
  components in control of evolution as well as the forms of
  interaction of the systems with their environments play a
  key role in the ultimate emergence of sought properties and
  behaviours. Moreover we highlight how social eco-systems
  in heterarchical organisation appear to have a stronger resilience and robustness throughout their evolutions.},
  url={content/publications/2011/asas13d-deflorio.pdf}
  }
  
  Abstract:
  How to build robust-and-evolvable resilient software systems? On the one hand, evolvability implies a system’s to reach autonomously new, possibly unprecedented and states; on the other hand, resilience and robustness refer to feature persistence in the face of perturbations and changes such as the ones brought about by system How to address such problem? How to make sure a software system shall exhibit emerging properties such reliability or safety irrespective of its environmental conditions and whatever its new configuration may be? In this we discuss these problems leveraging from three cases adaptive software and systems designs. Our conclusions that the complexity and characteristics of the system in control of evolution as well as the forms of of the systems with their environments play a role in the ultimate emergence of sought properties and Moreover we highlight how social eco-systems in heterarchical organisation appear to have a stronger resilience and robustness throughout their evolutions.

• Trading off Complexity for Expressiveness in Programming Languages for Embedded Devices: Visions and Experiences
  Vincenzo De Florio & Chris Blondia
  Proceedings of the 3rd International Conference on Advanced Communication and Networking (ACN 2011), Springer, 2011.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{DFB11b,
  author = {Vincenzo De Florio and Chris Blondia},
  title = {Trading off Complexity for Expressiveness in Programming Languages for Embedded Devices: Visions and Experiences},
  booktitle = {Proceedings of the 3rd International Conference on Advanced Communication and Networking (ACN 2011)},
  address = {Brno University, Czech Republic},
  tages = {594--607},
  month = {August},
  year = {2011},
  publisher = {Springer},
  abstract = {When programming resource-scarce embedded smart devices
  the designer requires both the low-level system programming features of
  a language such as C and higher level capability typical of a language like
  Java. The choice of a particular language often implies trade offs between
  conflicting design goals such as performance, costs, time-to-market, and
  overheads. The large variety of languages, virtual machines, and translators provides the designer with a dense trade off space, ranging from
  minimalistic to rich full-fledged approaches, but once a choice is made it
  is often difficult and tricky for the designer to revise it. In this work we
  propose a different approach based on the principles of language-oriented
  programming. A system of light-weighted and modular extensions is proposed as a method to adaptively reshape the target programming language as needed, adding only those application layer features that match
  the current design goals. By doing so complexity is made transparent,
  but not hidden: While the programmer can benefit from higher level
  constructs, the designer and the deployer can deal with modular building blocks each characterized by a certain algorithmic complexity and
  therefore each accountable for a given share of the overhead. As a result
  the designer is provided with finer control on the amount of computing
  resources that are consumed by the run-time executive of the chosen
  programming language.},
  URL = {content/publications/2011/acn11.pdf}
  }
  
  Abstract:
  When programming resource-scarce embedded smart devices designer requires both the low-level system programming features of language such as C and higher level capability typical of a language like The choice of a particular language often implies trade offs between design goals such as performance, costs, time-to-market, and The large variety of languages, virtual machines, and translators provides the designer with a dense trade off space, ranging from to rich full-fledged approaches, but once a choice is made it often difficult and tricky for the designer to revise it. In this work we a different approach based on the principles of language-oriented A system of light-weighted and modular extensions is proposed as a method to adaptively reshape the target programming language as needed, adding only those application layer features that match current design goals. By doing so complexity is made transparent, not hidden: While the programmer can benefit from higher level the designer and the deployer can deal with modular building blocks each characterized by a certain algorithmic complexity and each accountable for a given share of the overhead. As a result designer is provided with finer control on the amount of computing that are consumed by the run-time executive of the chosen programming language.

• Towards Context-Aware Adaptive Fault Tolerance in SOA Applications
  Jonas Buys, Vincenzo De Florio & Chris Blondia
  Proceedings of the 5th ACM International Conference on Distributed Event-Based Systems (DEBS), New York, USA, pp. 63-74, Association for Computing Machinery, Inc. (ACM), 2011.
  BibTeX | PDF Available | Presentation
  
  Bibtex:
  @INPROCEEDINGS{Buys2011,
  author = {Jonas Buys and Vincenzo {De Florio} and Chris Blondia},
  title = {Towards Context-Aware Adaptive Fault Tolerance in SOA Applications},
  booktitle = {Proceedings of the 5th ACM International Conference on Distributed Event-Based Systems (DEBS)},
  year = {2011},
  publisher = {Association for Computing Machinery, Inc. (ACM)},
  location = {New York, USA},
  pages = {63--74},
  doi = {http://dx.doi.org/10.1145/2002259.2002271},
  url = {http://dl.acm.org/authorize?448355},
  presentation = {http://euterpe.cmi.ua.ac.be/~jbuys/presentations/debs2011-jb.ppt}
  }
  
  Abstract:
  Not available

• IMEC Academy / SSET seminar Cost-effective software reliability through autonomic tuning of system resources
  Vincenzo De Florio
  IMEC Academy series, IMEC, Leuven, Belgium, 2011.
  Available online through "http://mediasite.imec.be/mediasite/SilverlightPlayer/Default.aspx?peid" "a66bb1768e184e86b5965b13ad24b7dd"
  BibTeX | Abstract | Presentation
  
  Bibtex:
  @Misc{De11IMEC,
  author = {Vincenzo De Florio},
  title = {IMEC Academy / SSET seminar Cost-effective software reliability through autonomic tuning of system resources},
  booktitle = {IMEC Academy series},
  location = {IMEC, Leuven, Belgium},
  year = {2011},
  month = {May},
  day = {4},
  presentation = {http://mediasite.imec.be/mediasite/SilverlightPlayer/Default.aspx?peid=a66bb1768e184e86b5965b13ad24b7dd},
  note = {Available online through "http://mediasite.imec.be/mediasite/SilverlightPlayer/Default.aspx?peid" = "a66bb1768e184e86b5965b13ad24b7dd"},
  abstract = {Often the systems our societies depend upon are built in such a way as to result too inflexible and intolerant to changes. The deployment of such systems in environments where change is the rule rather than the exception leads to situations where reliability and performance are strongly and negatively affected. In particular, upper bounds and worst-case analyses do not match those environments. Truly effective software reliability approaches require a precise characterization of the allocation of resources over time. In other words, unwanted emergent behaviors can only be avoided if the systems are built with a finer-grained control of the redundancy degree. Here we discuss this problem, summarize the lessons we learned by investigating it, and provide an example of a compliant system - adaptively redundant data structures. We show in particular how such systems allow software reliability to be guaranteed cost-effectively through autonomic tuning of the employed redundancy. Available online through mediasite.imec.be/mediasite/SilverlightPlayer/Default.aspx?peid=a66bb1768e184e86b5965b13ad24b7dd},
  }
  
  Abstract:
  Often the systems our societies depend upon are built in such a way as to result too inflexible and intolerant to changes. The deployment of such systems in environments where change is the rule rather than the exception leads to situations where reliability and performance are strongly and negatively affected. In particular, upper bounds and worst-case analyses do not match those environments. Truly effective software reliability approaches require a precise characterization of the allocation of resources over time. In other words, unwanted emergent behaviors can only be avoided if the systems are built with a finer-grained control of the redundancy degree. Here we discuss this problem, summarize the lessons we learned by investigating it, and provide an example of a compliant system - adaptively redundant data structures. We show in particular how such systems allow software reliability to be guaranteed cost-effectively through autonomic tuning of the employed redundancy. Available online through mediasite.imec.be/mediasite/SilverlightPlayer/Default.aspx?peida66bb1768e184e86b5965b13ad24b7dd,

• System Structure for Dependable Software Systems
  Vincenzo De Florio & Chris Blondia
  Proceedings of the 11th International Conference on Computational Science and Its Applications (ICCSA 2011), Lecture Notes in Computer Science vol.6784, 2011.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{DFB11a,
  author = {Vincenzo De Florio and Chris Blondia},
  title = {System Structure for Dependable Software Systems},
  booktitle = {Proceedings of the 11th International Conference on Computational Science and Its Applications (ICCSA 2011), Lecture Notes in Computer Science vol.6784},
  address = {Santander, Spain},
  tages = {594--607},
  month = {June},
  year = {2011},
  abstract = {Truly dependable software systems should be built with structuring techniques able to decompose the software complexity without hiding important hypotheses and assumptions such as those regarding their
  target execution environment and the expected fault- and system models.
  A judicious assessment of what can be made transparent and what should
  be translucent is necessary. This paper discusses a practical example of a
  structuring technique built with these principles in mind: Reflective and
  refractive variables. We show that our technique offers an acceptable degree of separation of the design concerns, with limited code intrusion; at
  the same time, by construction, it separates but does not hide the complexity required for managing fault-tolerance. In particular, our technique
  offers access to collected system-wide information and the knowledge extracted from that information. This can be used to devise architectures
  that minimize the hazard of a mismatch between dependable software and
  the target execution environments.},
  URL = {content/publications/2011/sepa11.pdf}
  }
  
  Abstract:
  Truly dependable software systems should be built with structuring techniques able to decompose the software complexity without hiding important hypotheses and assumptions such as those regarding their execution environment and the expected fault- and system models. judicious assessment of what can be made transparent and what should translucent is necessary. This paper discusses a practical example of a technique built with these principles in mind: Reflective and variables. We show that our technique offers an acceptable degree of separation of the design concerns, with limited code intrusion; at same time, by construction, it separates but does not hide the complexity required for managing fault-tolerance. In particular, our technique access to collected system-wide information and the knowledge extracted from that information. This can be used to devise architectures minimize the hazard of a mismatch between dependable software and the target execution environments.

• Run-time Compositional Software Platform for Autonomous NXT Robots
  Ning Gui, Vincenzo De Florio & Chris Blondia
  International Journal of Adaptive, Resilient and Autonomic Systems, special ADAMUS issue, Vol. 2, No. 2, Marcello Cinque and Tim Stevens, Editors, 2011.
  BibTeX | PDF Available
  
  Bibtex:
  @Article{GDeB11a,
  author = {Ning Gui and Vincenzo De Florio and Chris Blondia},
  title = {Run-time Compositional Software Platform for Autonomous NXT Robots},
  journal = {International Journal of Adaptive, Resilient and Autonomic Systems, special ADAMUS issue},
  editor = {Marcello Cinque and Tim Stevens, Editors},
  volume = {2},
  number = {2},
  month = {April},
  year = {2011},
  url = {content/publications/2011/ijaras11ning1.pdf}
  }
  
  Abstract:
  Not available

• Toward Architecture-based Context-Aware Deployment and Adaptation
  Ning Gui , Vincenzo De Florio & Chris Blondia
  Journal of Systems and Software, Vol. 84, Elsevier, 2011.
  BibTeX | PDF Available
  
  Bibtex:
  @ARTICLE{GDFB11a,
  author = {Ning Gui and Vincenzo De Florio and Chris Blondia},
  title = {Toward Architecture-based Context-Aware Deployment and Adaptation},
  journal = {Journal of Systems and Software},
  year = {2011},
  volume = {84},
  tages = {185--197},
  publisher = {Elsevier},
  URL = {content/publications/2011/accadajss.pdf}
  }
  
  Abstract:
  Not available

• Software Assumptions Failure Tolerance: Role, Strategies, and Visions
  Vincenzo De Florio
  Chapter in Architecting Dependable Systems, Vol. 7, (Antonio Casimiro, Rogério de Lemos, and Cristina Gacek, Eds.), Lecture Notes in Computer Science, Vol. 6420, Springer, 2011.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @article{DF2011a,
  author = {Vincenzo De Florio},
  title = {Software Assumptions Failure Tolerance: Role, Strategies, and Visions},
  journal = {Chapter in Architecting Dependable Systems, Vol. 7, (Antonio Casimiro, Rogério de Lemos, and Cristina Gacek, Eds.), Lecture Notes in Computer Science},
  volume = {6420},
  year = {2011},
  publisher={Springer},
  url = {content/publications/2011/ads7_deflorio.pdf},
  abstract = {At our behest or otherwise, while our software is being
  executed, a huge variety of design assumptions is
  continuously matched with the truth of the current condition. While
  standards and tools exist to express and verify some of these
  assumptions, in practice most of them end up being either sifted off or
  hidden between the lines of our codes. Across the system layers, a
  complex and at times obscure web of assumptions determines the
  quality of the match of our software with its deployment platforms and
  run-time environments. Our position is that it becomes increasingly
  important being able to design software systems with architectural and
  structuring techniques that allow software to be decomposed to reduce its complexity,
  but without hiding in the process vital hypotheses and assumptions.
  In this paper we discuss this problem, introduce
  three potentially dangerous consequences of its denial,
  and propose three strategies to facilitate their treatment.
  Finally we propose our vision towards a new holistic approach
  to software development to overcome the shortcomings offered
  by fragmented views to the problem of assumption failures.}
  }
  
  Abstract:
  At our behest or otherwise, while our software is being a huge variety of design assumptions is matched with the truth of the current condition. While and tools exist to express and verify some of these in practice most of them end up being either sifted off or between the lines of our codes. Across the system layers, a and at times obscure web of assumptions determines the of the match of our software with its deployment platforms and environments. Our position is that it becomes increasingly being able to design software systems with architectural and techniques that allow software to be decomposed to reduce its complexity, without hiding in the process vital hypotheses and assumptions. this paper we discuss this problem, introduce potentially dangerous consequences of its denial, propose three strategies to facilitate their treatment. we propose our vision towards a new holistic approach software development to overcome the shortcomings offered fragmented views to the problem of assumption failures.

2010

• Service-oriented Communities: Visions and Contributions towards Social Organizations
  Vincenzo De Florio & Chris Blondia
  Proceedings of the Fifth International Workshop on MObile and NEtworking Technologies for social applications (MONET 2010), Lecture Notes in Computer Science vol.6428, 2010.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{DFB10c,
  author = {Vincenzo De Florio and Chris Blondia},
  title = {Service-oriented Communities: Visions and Contributions towards Social Organizations},
  booktitle = {Proceedings of the Fifth International Workshop on MObile and NEtworking Technologies for social applications (MONET 2010), Lecture Notes in Computer Science vol.6428},
  address = {Crete, Greece},
  tages = {319--328},
  month = {October},
  url = {content/publications/2010/cr.pdf},
  year = {2010},
  abstract = {With the increase of the populations, resources are becoming scarcer, and a smarter way to make use of them becomes a vital necessity of our societies. On the other hand, resource management is traditionally carried out through well established organizations, policies, and regulations that are often considered as impossible to restructure. Our position is that merely expanding the traditional approaches might not be enough. Systems must be radically rethought in order to achieve a truly effective and rational use of the available resources. Classical concepts such as demand and supply need to be rethought as well, as they operate artificial classifications that limit the true potential of systems and organizations. Here we propose our vision to future, 'smarter' systems able to overcome the limitations of the status quo. An example of such systems is the social organization that we call Service-oriented Community, which we briefly describe. We believe that such organizations---in heterarchical coexistence with traditional systems---provide the features necessary to prevent societal lock-ins like the ones we are experiencing in assisting our elderly ones.},
  }
  
  Abstract:
  With the increase of the populations, resources are becoming scarcer, and a smarter way to make use of them becomes a vital necessity of our societies. On the other hand, resource management is traditionally carried out through well established organizations, policies, and regulations that are often considered as impossible to restructure. Our position is that merely expanding the traditional approaches might not be enough. Systems must be radically rethought in order to achieve a truly effective and rational use of the available resources. Classical concepts such as demand and supply need to be rethought as well, as they operate artificial classifications that limit the true potential of systems and organizations. Here we propose our vision to future, smarter systems able to overcome the limitations of the status quo. An example of such systems is the social organization that we call Service-oriented Community, which we briefly describe. We believe that such organizations---in heterarchical coexistence with traditional systems---provide the features necessary to prevent societal lock-ins like the ones we are experiencing in assisting our elderly ones.,

• Run-time Reconfiguration Software Platform for Autonomous Robots
  Ning Gui, Pieter-Jan Pintens, Vincenzo De Florio & Chris Blondia
  Proceedings of the 4th International workshop on and DependAble Mobile Ubiquitous (ADAMUS 2010), held in the framework of 7th ACM International Conference on Pervasive Services (ACM ICPS 2010), Berlin, Germany, 2010.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{GuiDF10a,
  author = {Ning Gui and Pieter-Jan Pintens
  and Vincenzo De Florio and Chris Blondia},
  title = {Run-time Reconfiguration Software Platform for
  Autonomous Robots},
  booktitle = {Proceedings of the 4th International workshop on
  Adaptive and DependAble Mobile Ubiquitous
  Systems (ADAMUS 2010), held in the framework of
  the 7th ACM International Conference on
  Pervasive Services (ACM ICPS 2010)},
  year = {2010},
  month = {July},
  day = {13--15},
  location = {Berlin, Germany},
  abstract = {},
  URL = {content/publications/2011/ijaras11ning.pdf}
  }
  
  Abstract:
  

• Optimization of WS-BPEL Workflows through Business Process Re-engineering Patterns
  Jonas Buys, Vincenzo De Florio & Chris Blondia
  International Journal of Adaptive, Resilient and Autonomic Systems, Vol. 1, No. 3, pp. 25-41, 2010.
  BibTeX | PDF Available
  
  Bibtex:
  @Article{BDB10,
  author = {Jonas Buys and Vincenzo {De Florio} and Chris Blondia},
  title = {Optimization of WS-BPEL Workflows through Business Process Re-engineering
  Patterns},
  journal = {International Journal of Adaptive, Resilient and Autonomic Systems},
  year = {2010},
  volume = {1},
  pages = {25--41},
  number = {3},
  month = {July-September},
  url = {content/publications/2010/Buys2010.pdf}
  }
  
  Abstract:
  Not available

• Cost-effective software reliability through autonomic tuning of system resources
  Vincenzo De Florio & Chris Blondia
  invited presentation at the 2010 International Applied Reliability Symposium in Europe, Berlin, Germany, 2010.
  BibTeX
  
  Bibtex:
  @Misc{De10ARS,
  author = {Vincenzo De Florio and Chris Blondia},
  title = {Cost-effective software reliability through autonomic tuning of system resources},
  booktitle = {invited presentation at the 2010 International Applied Reliability Symposium in Europe},
  location = {Berlin, Germany},
  year = {2010},
  month = {April},
  day = {7--9},
  }
  
  Abstract:
  Not available

• Building Mutual Assistance Living Community for Elderly People
  Hong Sun, Vincenzo De Florio, Ning Gui & Chris Blondia
  in Jeffrey Soar, Ed., Intelligent Technologies for the Aged: The Grey Digital Divide, 2010.
  BibTeX | PDF Available
  
  Bibtex:
  @Article{SDGB10,
  author = {Hong Sun and Vincenzo De Florio and Ning Gui and Chris Blondia},
  title = {Building Mutual Assistance Living Community for Elderly People},
  journal = {in Jeffrey Soar, Ed., Intelligent Technologies for the Aged: The Grey Digital Divide},
  year = {2010},
  url = {content/publications/2010/bamac10.pdf}
  }
  
  Abstract:
  Not available

• Design Tool To Express Failure Detection Protocols
  Vincenzo De Florio & Chris Blondia
  accepted for publication in IET Software, 2010.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @Article{DeFBl10b,
  author = {Vincenzo De Florio and Chris Blondia},
  title = {Design Tool To Express Failure Detection Protocols},
  journal = {accepted for publication in IET Software},
  year = {2010},
  abstract = {Failure detection protocols---a fundamental building block for crafting
  fault-tolerant distributed systems---are in many cases
  described by their authors making use
  of informal pseudo-codes of their conception. Often these pseudo-codes
  use syntactical constructs that are not available in
  COTS programming languages such as C or C++. This translates into
  informal descriptions that call for ad hoc interpretations and implementations.
  Being informal, these descriptions cannot be tested by their authors, which
  may translate into insufficiently detailed or even faulty specifications.
  This paper tackles this problem introducing a formal syntax
  for those constructs and a C library that implements them---a tool-set
  to express and reason about failure detection protocols.
  The resulting specifications are longer but non ambiguous, and
  eligible for becoming a standard form.},
  url = {content/publications/2010/IET_Software.pdf},
  }
  
  Abstract:
  Failure detection protocols---a fundamental building block for crafting distributed systems---are in many cases by their authors making use informal pseudo-codes of their conception. Often these pseudo-codes syntactical constructs that are not available in programming languages such as C or C++. This translates into descriptions that call for ad hoc interpretations and implementations. informal, these descriptions cannot be tested by their authors, which translate into insufficiently detailed or even faulty specifications. paper tackles this problem introducing a formal syntax those constructs and a C library that implements them---a tool-set express and reason about failure detection protocols. resulting specifications are longer but non ambiguous, and eligible for becoming a standard form.

• Adaptation and dependability and their key role in modern software engineering
  Vincenzo De Florio & Chris Blondia
  International Journal of Adaptive, Resilient and Autonomic Systems, special ADAMUS issue, Vol. 1, No. 2, Marcello Cinque and Luca Foschini, Editors, 2010.
  BibTeX | PDF Available
  
  Bibtex:
  @Article{DeFBl10a,
  author = {Vincenzo De Florio and Chris Blondia},
  title = {Adaptation and dependability and their key role in modern software engineering},
  journal = {International Journal of Adaptive, Resilient and Autonomic Systems, special ADAMUS issue},
  editor = {Marcello Cinque and Luca Foschini, Editors},
  volume = {1},
  number = {2},
  month = {April},
  year = {2010},
  url = {content/publications/2010/ijaras1-2.pdf.pdf}
  }
  
  Abstract:
  Not available

• The Missing Ones: Key Ingredients Towards Effective Ambient Assisted Living Systems
  Hong Sun, Vincenzo De Florio, Ning Gui & Chris Blondia
  accepted for publication in the Journal of Ambient Intelligence and Smart Environments, 2010.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @Article{SDGB10b,
  author = {Hong Sun and Vincenzo De Florio and Ning Gui and Chris Blondia},
  title = {The Missing Ones: Key Ingredients Towards
  Effective Ambient Assisted Living Systems},
  journal = {accepted for publication in the Journal of Ambient Intelligence and Smart Environments},
  year = {2010},
  abstract={The population of elderly people keeps increasing rapidly, which becomes a predominant aspect of our societies. As
  such, solutions both efficacious and cost-effective need to be sought. Ambient Assisted Living (AAL) is a new approach which
  promises to address the needs from elderly people. In this paper, we claim that human participation is a key ingredient towards
  effective AAL systems, which not only saves social resources, but also has positive relapses on the psychological health of the
  elderly people. Challenges in increasing the human participation in ambient assisted living are discussed in this paper and solutions
  to meet those challenges are also proposed. We use our proposed mutual assistance community, which is built with service
  oriented approach, as an example to demonstrate how to integrate human tasks in AAL systems. Our preliminary simulation
  results are presented, which support the effectiveness of human participation.},
  url = {content/publications/2010/MissingOnes10.pdf}
  }
  
  Abstract:
  The population of elderly people keeps increasing rapidly, which becomes a predominant aspect of our societies. As solutions both efficacious and cost-effective need to be sought. Ambient Assisted Living (AAL) is a new approach which to address the needs from elderly people. In this paper, we claim that human participation is a key ingredient towards AAL systems, which not only saves social resources, but also has positive relapses on the psychological health of the people. Challenges in increasing the human participation in ambient assisted living are discussed in this paper and solutions meet those challenges are also proposed. We use our proposed mutual assistance community, which is built with service approach, as an example to demonstrate how to integrate human tasks in AAL systems. Our preliminary simulation results are presented, which support the effectiveness of human participation.

2009

• System and Method for Adapting Software Architecture
  Ning Gui & Vincenzo De Florio
  request for grant of European patent EP09174712.1, 2009.
  BibTeX | PDF Available
  
  Bibtex:
  @Misc{DeGu09,
  author = {Ning Gui and Vincenzo De Florio},
  title = {System and Method for Adapting Software Architecture},
  booktitle = {request for grant of European patent EP09174712.1},
  year = {2009},
  month = {October},
  day = {30},
  url = {content/publications/2009/sysmeth.pdf}
  }
  
  Abstract:
  Not available

• Mutual Assistance Community for AAL
  V. De Florio & Hong Sun
  invited presentation at the ACCESS-IT 2009 workshop ICT for Aging, London, 2009.
  BibTeX
  
  Bibtex:
  @Misc{DeSu09,
  author = {V. De Florio, Hong Sun},
  title = {Mutual Assistance Community for AAL},
  booktitle = {invited presentation at the ACCESS-IT 2009 workshop ICT for Aging},
  location = {London},
  year = {2009},
  month = {September},
  day = {23},
  }
  
  Abstract:
  Not available

• ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation
  N. Gui, H. Sun, V. De Florio, & C. Blondia
  Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lecture Notes in Computer Science, Springer, 2009.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{NDFHB09d,
  author = {N. Gui, H. Sun, V. De Florio, and C. Blondia},
  title = {ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation},
  booktitle = {Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lecture Notes in Computer Science},
  address = {Lyon, France},
  year = {2009},
  month = {November},
  day = {3--6},
  publisher = {Springer},
  url = {http://euterpe.cmi.ua.ac.be/~vincenz/sssv2.01.pdf}
  }
  
  Abstract:
  Not available

• An Architecture-based Framework for Managing Adaptive Real-time Applications
  N. Gui, H. Sun, V. De Florio, & C. Blondia
  Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), IEEE, 2009.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{NDFHB09c,
  author = {N. Gui, H. Sun, V. De Florio, and C. Blondia},
  title = {An Architecture-based Framework for Managing Adaptive Real-time Applications},
  booktitle = {Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)},
  address = {Patras, Greece},
  year = {2009},
  month = {August},
  day = {27--29},
  publisher = {IEEE},
  url = {http://euterpe.cmi.ua.ac.be/~vincenz/SEEA2009.pdf}
  }
  
  Abstract:
  Not available

• On the Design of Adaptive-and-dependable Systems---Lessons learned and experiences at the University of Antwerp
  V. De Florio & Chris Blondia
  invited talk at DSN 2009 Workshop on Architecting Dependable Systems, Theme: Architectures for Mobile and Ubiquitous Systems, Estoril, Lisboa --- Portugal, 2009.
  BibTeX | PDF Available
  
  Bibtex:
  @Misc{DeBl09a,
  author = {V. De Florio, Chris Blondia},
  title = {On the Design of Adaptive-and-dependable Systems---Lessons learned and experiences at the University of Antwerp},
  booktitle = {invited talk at DSN 2009 Workshop on
  Architecting Dependable Systems, Theme: Architectures for Mobile and Ubiquitous Systems},
  howpublished= {http://www.cs.kent.ac.uk/events/conf/2009/wads/Slides/deflorio.pdf},
  url = {http://www.cs.kent.ac.uk/events/conf/2009/wads/Slides/deflorio.pdf},
  location = {Estoril, Lisboa --- Portugal},
  year = {2009},
  month = {June},
  day = {29},
  }
  
  Abstract:
  Not available

• Adaptation Strategies for Performance Failure Avoidance
  H. Sun, V. De Florio, N. Gui, & C. Blondia
  Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009), IEEE, 2009.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{SDFB09b,
  author = {H. Sun, V. De Florio, N. Gui, and C. Blondia},
  title = {Adaptation Strategies for Performance Failure Avoidance},
  booktitle = {Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009)},
  address = {Shanghai, China},
  year = {2009},
  month = {July},
  day = {8--10},
  publisher = {IEEE},
  url = {content/publications/2009/adas09.pdf}
  }
  
  Abstract:
  Not available

• Adaptive Robot Design and Applications in Flexible Manufacturing Environments
  Ning Gui, Vincenzo De Florio, Hong Sun & Chris Blondia
  13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 09), 2009.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{GDSB09a,
  author = {Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia},
  title = {Adaptive Robot Design and Applications in Flexible
  Manufacturing Environments},
  year = {2009},
  booktitle = {13th IFAC Symposium on Information Control
  Problems in Manufacturing (INCOM '09)},
  address = {Moskow, Russia},
  month = {June},
  day = {3--5},
  url = {content/publications/2009/adrod09.pdf}
  }
  
  Abstract:
  Not available

• Promises and Challenges of Ambient Assisted Living Systems
  Hong Sun, Vincenzo De Florio, Ning Gui & Chris Blondia
  Proceedings of the 6th International Conference on Information Technology: New Generations (ITNG 2009), Las Vegas, Nevada, USA, 2009.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{SDGB09a,
  author = {Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blondia},
  title = {Promises and Challenges of Ambient Assisted Living Systems},
  booktitle = {Proceedings of the 6th International Conference on Information Technology: New Generations (ITNG 2009)},
  year = {2009},
  month = {April},
  day = {27--29},
  location = {Las Vegas, Nevada, USA},
  URL = {content/publications/2009/prochaAAL.pdf}
  }
  
  Abstract:
  Not available

• Application-layer Fault-tolerance Protocols
  Vincenzo De Florio
  pp. 378, IGI Global, 2009.
  BibTeX | PDF Available
  
  Bibtex:
  @Book{D09,
  author = {Vincenzo De Florio},
  title = {Application-layer Fault-tolerance Protocols},
  publisher = {IGI Global},
  address = {Hershey, PA 17033, USA},
  year = {2009},
  pages = {378},
  url = {http://www.igi-global.com/downloads/pdf/32917.pdf}
  }
  
  Abstract:
  Not available

2008

• Towards longer, better and more active lives: mutual assisted living community for older people
  Hong Sun, Vincenzo De Florio, Ning Gui & Chris Blondia
  Journal of the Institute of Telecommunications Professionals, Vol. 2, No. 4, 2008.
  BibTeX | PDF Available
  
  Bibtex:
  @Article{SDGB08z,
  author = {Hong Sun and Vincenzo De Florio and Ning Gui and Chris Blondia},
  title = {Towards longer, better and more active lives: mutual assisted living community for older people},
  journal = {Journal of the Institute of Telecommunications Professionals},
  volume = {2},
  number = {4},
  year = {2008},
  url = {content/publications/2008/fitce08.pdf}
  }
  
  Abstract:
  Not available

• Applying Business Process Re-engineering Patterns to optimize WS-BPEL Workflows
  Jonas Buys, Vincenzo De Florio & Chris Blondia
  Proceedings of IT Revolutions 2008, Lecture Notes of ICST, Venice, Italy, Springer, 2008.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{BDB08a,
  author = {Jonas Buys, Vincenzo De Florio, Chris Blondia},
  title = {Applying Business Process Re-engineering Patterns to optimize WS-BPEL Workflows},
  booktitle = {Proceedings of IT Revolutions 2008, Lecture Notes of ICST},
  year = {2008},
  month = {December},
  day = {17--19},
  location = {Venice, Italy},
  publisher = {Springer},
  url = {content/publications/2008/Buys2008.pdf}
  }
  
  Abstract:
  Not available

• On the Requirements of New Software Development
  Vincenzo De Florio & Chris Blondia
  International Journal of Business Intelligence and Data Mining, Vol. 3, No. 3, Inderscience, 2008.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @Article{DeFl08,
  author = {Vincenzo De Florio, Chris Blondia},
  title = {On the Requirements of New Software Development},
  journal = {International Journal of Business Intelligence and Data Mining},
  year = {2008},
  volume = {3},
  number = {3},
  publisher={Inderscience},
  url = {content/publications/2008/adidrds.pdf},
  abstract={Changes, they use to say, are the only constant in life. Everything changes rapidly around us, and more and
  more key to survival is the ability to rapidly adapt to changes. This consideration applies to many aspects of
  our lives. Strangely enough, this nearly self-evident truth is not always considered by software engineers with the
  seriousness that it calls for: The assumptions we draw for our systems often do not take into due account that e.g.,
  the run-time environments, the operational conditions, or the available resources will vary. Software is especially
  vulnerable to this threat, and with today’s software-dominated systems controlling crucial services in nuclear plants,
  airborne equipments, health care systems and so forth, it becomes clear how this situation may potentially lead to
  catastrophes. This paper discusses this problem and defines some of the requirements towards its effective solution,
  which we call “New Software Development” as a software equivalent of the well-known concept of New Product
  Development. The paper also introduces and discusses a practical example of a software tool designed taking those
  requirements into account—an adaptive data integrity provision in which the degree of redundancy is not fixed once
  and for all at design time, but rather it changes dynamically with respect to the disturbances experienced during
  the run time.}
  }
  
  Abstract:
  Changes, they use to say, are the only constant in life. Everything changes rapidly around us, and more and key to survival is the ability to rapidly adapt to changes. This consideration applies to many aspects of lives. Strangely enough, this nearly self-evident truth is not always considered by software engineers with the that it calls for: The assumptions we draw for our systems often do not take into due account that e.g., run-time environments, the operational conditions, or the available resources will vary. Software is especially to this threat, and with today’s software-dominated systems controlling crucial services in nuclear plants, equipments, health care systems and so forth, it becomes clear how this situation may potentially lead to This paper discusses this problem and defines some of the requirements towards its effective solution, we call “New Software Development” as a software equivalent of the well-known concept of New Product The paper also introduces and discusses a practical example of a software tool designed taking those into account—an adaptive data integrity provision in which the degree of redundancy is not fixed once for all at design time, but rather it changes dynamically with respect to the disturbances experienced during run time.

• A framework for adaptive real-time applications: the declarative real-time OSGi component model
  Ning Gui, Vincenzo De Florio, Hong Sun, & Chris Blondia
  Proceedings of the 7th Workshop on Adaptive and Reflective Middleware (ARM 08), ACM/IFIP/USENIX, 2008.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{GDSB08b,
  author = {Ning Gui, Vincenzo De Florio, Hong Sun, and Chris Blondia},
  title = {A framework for adaptive real-time applications: the declarative real-time OSGi component model},
  booktitle = {Proceedings of the 7th Workshop on Adaptive and Reflective Middleware (ARM'08)},
  address = {Leuven, Belgium},
  year = {2008},
  month = {December},
  day = {1},
  publisher = {ACM/IFIP/USENIX},
  url = {content/publications/2008/adm2008.pdf}
  }
  
  Abstract:
  Not available

• Towards Longer, Better, and More Active Lives - Building Mutual Assisted Living Community for Elder People
  H. Sun, V. De Florio, N. Gui, & C. Blondia
  Proceedings of the 47th European FITCE Congress, FITCE,, 2008.
  BibTeX
  
  Bibtex:
  @InProceedings{HoFITCE08,
  author = {H. Sun, V. De Florio, N. Gui, and C. Blondia},
  title = {Towards Longer, Better, and More Active Lives - Building Mutual Assisted Living Community for Elder People},
  booktitle = {Proceedings of the 47th European FITCE Congress},
  address = {Logan Hall, Bloomsbury, London},
  year = {2008},
  month = {September},
  day = {21--24},
  publisher = {FITCE},
  }
  
  Abstract:
  Not available

• A Hybrid realtime component model for reconfigurable embedded systems
  N. Gui, V. De Florio, H. Sun & C. Blondia
  Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC2008), ACM, 2008.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{GDSB08a,
  author = {N. Gui, V. De Florio, H. Sun and C. Blondia},
  title = {A Hybrid realtime component model for reconfigurable embedded systems},
  booktitle = {Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC2008)},
  address = {Fortaleza, Ceará, Brazil},
  year = {2008},
  month = {March},
  day = {16--20},
  publisher = {ACM},
  url = {content/publications/2008/sac08.pdf}
  }
  
  Abstract:
  Not available

• Adaptive Data Integrity through Dynamically Redundant Data Structures
  V. De Florio & C. Blondia
  Proceedings of the Third International Conference on Availability, Reliability and Security - ARES 2008, 2008.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{DB08b,
  author = {V. De Florio and C. Blondia},
  title = {Adaptive Data Integrity through Dynamically Redundant Data Structures},
  booktitle = {Proceedings of the Third International Conference on Availability, Reliability and Security - ARES 2008},
  address = {Barcelona, Spain},
  year = {2008},
  url = {http://euterpe.cmi.ua.ac.be/~vincenz/ares08.pdf},
  month = {March},
  day = {4--7},
  }
  
  Abstract:
  Not available

• A Survey of Linguistic Structures for Application-level Fault-Tolerance
  Vincenzo De Florio & Chris Blondia
  ACM Computing Surveys, Vol. 40, No. 2, 2008.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @ARTICLE{DeBl08a,
  author = {Vincenzo De Florio and Chris Blondia},
  title = {A Survey of Linguistic Structures for Application-level Fault-Tolerance},
  journal = {ACM Computing Surveys},
  volume = {40},
  number = {2},
  year = {2008},
  month = {April},
  burl = {http://euterpe.cmi.ua.ac.be/~vincenz/alft.pdf},
  url = {http://dl.acm.org/authorize?942886},
  abstract = {Structures for the expression of fault-tolerance provisions in application software comprise the central topic of this article. Structuring techniques answer questions as to how to incorporate fault tolerance in the application layer of a computer program and how to manage the fault-tolerant code. As such, they provide the means to control complexity, the latter being a relevant factor for the introduction of design faults. This fact and the ever-increasing complexity of today's distributed software justify the need for simple, coherent, and effective structures for the expression of fault-tolerance in the application software. In this text we first define a “base” of structural attributes with which application-level fault-tolerance structures can be qualitatively assessed and compared with each other and with respect to the aforementioned needs. This result is then used to provide an elaborated survey of the state-of-the-art of application-level fault-tolerance structures.}
  }
  
  Abstract:
  Structures for the expression of fault-tolerance provisions in application software comprise the central topic of this article. Structuring techniques answer questions as to how to incorporate fault tolerance in the application layer of a computer program and how to manage the fault-tolerant code. As such, they provide the means to control complexity, the latter being a relevant factor for the introduction of design faults. This fact and the ever-increasing complexity of today s distributed software justify the need for simple, coherent, and effective structures for the expression of fault-tolerance in the application software. In this text we first define a “base” of structural attributes with which application-level fault-tolerance structures can be qualitatively assessed and compared with each other and with respect to the aforementioned needs. This result is then used to provide an elaborated survey of the state-of-the-art of application-level fault-tolerance structures.

2007

• Service Matching in Online Community for Mutual Assisted Living
  Hong Sun, Vincenzo De Florio, Ning Gui & Chris Blondia
  Proceedings of the 3rd Int.l Conference on Signal-Image Technology & Internet based Systems (SITIS 2007), Shanghai, China, 2007.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{Sitis07,
  author = {Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blondia},
  title = {Service Matching in Online Community for Mutual Assisted Living},
  booktitle = {Proceedings of the 3rd Int.l Conference on Signal-Image Technology & Internet based Systems (SITIS' 2007)},
  year = {2007},
  month = {December},
  day = {16--19},
  location = {Shanghai, China},
  URL = {content/publications/2007/Sitis07.pdf}
  }
  
  Abstract:
  Not available

• A System Structure for Adaptive Services
  V. De Florio
  presented at KU.Leuven/DistriNet/AgentWise, Leuven, Belgium, 2007.
  BibTeX | PDF Available
  
  Bibtex:
  @Misc{DeFl07b,
  author = {V. De Florio},
  title = {A System Structure for Adaptive Services},
  booktitle = {presented at KU.Leuven/DistriNet/AgentWise},
  howpublished= {http://www.win.ua.ac.be/~vincenz/distritalk20070704.pdf},
  url = {http://www.win.ua.ac.be/~vincenz/distritalk20070704.pdf},
  location = {Leuven, Belgium},
  year = {2007},
  month = {July},
  day = {4},
  }
  
  Abstract:
  Not available

• Global Adaptation Framework for Quality of Experience of Mobile Services
  H. Sun, V. De Florio, N. Gui & C. Blondia
  Proceedings of the 2007 IEEE Three-Rivers Workshop on Soft Computing in Industrial Applications, 2007.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{SDGB07b,
  author = {H. Sun, V. De Florio, N. Gui and C. Blondia},
  title = {Global Adaptation Framework for Quality of Experience of Mobile Services},
  booktitle = {Proceedings of the 2007 IEEE Three-Rivers Workshop on Soft Computing in Industrial Applications},
  address = {Passau, Germany},
  year = {2007},
  month = {August},
  day = {1--3},
  url = {content/publications/2007/glaf07.pdf}
  }
  
  Abstract:
  Not available

• Teaching Resilient Computing in Antwerp: Report, Considerations, and Vision
  V. De Florio
  presented at the EWICS-ReSIST Joint Workshop on Teaching Resilient Computing, Erlangen, Germany, 2007.
  BibTeX | PDF Available
  
  Bibtex:
  @Misc{DeFl07a,
  author = {V. De Florio},
  title = {Teaching Resilient Computing in Antwerp: Report, Considerations, and Vision},
  booktitle = {presented at the EWICS-ReSIST Joint Workshop on Teaching Resilient Computing},
  howpublished= {http://resist.isti.cnr.it/JWTRC},
  url = {http://resist.isti.cnr.it/JWTRC},
  location = {Erlangen, Germany},
  year = {2007},
  month = {May},
  day = {2},
  }
  
  Abstract:
  Not available

• Adaptive Feedback-loop Control System for Inter-reality Management
  V. De Florio, J. van Vaerenbergh & C. Blondia
  Proceedings of the 2007 IEEE Three-Rivers Workshop on Soft Computing in Industrial Applications, 2007.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{DB07e,
  author = {V. De Florio, J. van Vaerenbergh and C. Blondia},
  title = {Adaptive Feedback-loop Control System for Inter-reality Management},
  booktitle = {Proceedings of the 2007 IEEE Three-Rivers Workshop on Soft Computing in Industrial Applications},
  address = {Passau, Germany},
  year = {2007},
  URL = {content/publications/2007/SMCia07.pdf},
  month = {August},
  day = {1--3},
  }
  
  Abstract:
  Not available

• Reflective and Refractive Variables: A Model for Effective and Maintainable Adaptive-and-Dependable Software
  V. De Florio & C. Blondia
  Proceedings of the 33rd Euromicro Conference on Software Engineering and Advanced Applications (SEEA 2007), Software Process and Product Improvement track (SPPI), Luebeck, Germany, IEEE Computer Society, 2007.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{DB07d,
  author = {V. De Florio and C. Blondia},
  title = {Reflective and Refractive Variables: A Model for Effective and Maintainable Adaptive-and-Dependable Software},
  booktitle = {Proceedings of the 33rd Euromicro Conference on Software Engineering and Advanced Applications (SEEA 2007), Software Process and Product Improvement track (SPPI)},
  location = {Luebeck, Germany},
  publisher = {IEEE Computer Society},
  year = {2007},
  URL = {content/publications/2007/SPPI07.pdf},
  month = {August},
  day = {27--31},
  }
  
  Abstract:
  Not available

• Adaptation as a New Requirement for Software Engineering
  V. De Florio & C. Blondia
  Proceedings of the First IEEE WoWMoM Workshop on Adaptive and DependAble Mission- and bUsiness-critical mobile Systems (ADAMUS 2007), Helsinki, Finland, 2007.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{DB07c,
  author = {V. De Florio and C. Blondia},
  title = {Adaptation as a New Requirement for Software Engineering},
  booktitle = {Proceedings of the First IEEE WoWMoM Workshop on Adaptive and DependAble Mission- and bUsiness-critical mobile Systems (ADAMUS 2007)},
  location = {Helsinki, Finland},
  year = {2007},
  url = {http://euterpe.cmi.ua.ac.be/~vincenz/ADAMUS_paper003.pdf},
  month = {June},
  day = {18},
  }
  
  Abstract:
  Not available

• A Service-oriented Infrastructure Approach for Mutual Assistance Communities
  N. Gui, H. Sun, V. De Florio, & C. Blondia
  Proc. of the First IEEE WoWMoM Workshop on Adaptive and DependAble Mission- and bUsiness-critical mobile Systems (ADAMUS 2007), IEEE Computer Society, 2007.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{,
  author = {N. Gui, H. Sun, V. De Florio, and C. Blondia},
  title = {A Service-oriented Infrastructure Approach for Mutual Assistance Communities},
  booktitle = {Proc. of the First IEEE WoWMoM Workshop on Adaptive and DependAble Mission- and bUsiness-critical mobile Systems (ADAMUS 2007)},
  publisher = {IEEE Computer Society},
  year = {2007},
  month = {June},
  day = {18},
  URL = {content/publications/2007/A%20Service-oriented%20Infrastructure%20for%20Ambient%20Assisted%20Living%20Communities.pdf},
  address = {Helsinki, Finland},
  }
  
  Abstract:
  Not available

• Participant: A New Concept for Optimally Assisting the Elder People
  H. Sun, V. De Florio, N. Gui & C. Blondia
  Proceedings of the 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS-2007), IEEE Computer Society, 2007.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{SDGB07a,
  author = {H. Sun, V. De Florio, N. Gui and C. Blondia},
  title = {Participant: A New Concept for Optimally Assisting the Elder People},
  booktitle = {Proceedings of the 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS-2007)},
  publisher = {IEEE Computer Society},
  year = {2007},
  month = {June},
  day = {20--22},
  address = {Maribor, Slovenia},
  URL = {content/publications/2007/participant.pdf}
  }
  
  Abstract:
  Not available

• A Tool for the Expression of Failure Detection Protocols
  V. De Florio & C. Blondia
  Proceedings of the 15th EUROMICRO Conference on Parallel, Distributed and Network-based Processing (PDP 2007), pp. 199-204, IEEE Computer Society, 2007.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @InProceedings{,
  author = {V. De Florio and C. Blondia},
  title = {A Tool for the Expression of Failure Detection Protocols},
  booktitle = {Proceedings of the 15th EUROMICRO Conference on Parallel, Distributed and Network-based Processing (PDP 2007)},
  publisher = {IEEE Computer Society},
  year = {2007},
  month = {February},
  day = {7--9},
  pages = {199--204},
  URL = {http://euterpe.cmi.ua.ac.be/~vincenz/papers/2007/pdp07.pdf},
  abstract = {Failure detection protocols---an important building block of fault-tolerant distributed systems---are often described by their authors making use of informal pseudo-codes of their own devising. Often these pseudo-codes use syntactical constructs that are not available in COTS programming languages such as C or C++. This translates into informal descriptions that require ad hoc interpretations and implementations. Being informal, these descriptions cannot be tested by their authors, which may translate into insufficiently detailed or even faulty specifications. Being non-standard, they require the reader to understand each time a different lingo. This paper tackles the above problem introducing a formal syntax for the expression of failure detection protocols and a C library that implements that syntax: a toolset to express and reason about failure detection protocols. The resulting specifications are more diffuse but non ambiguous and eligible for becoming a standard form among researchers and practitioners.}
  address = {Naples, Italy},
  }
  
  Abstract:
  Failure detection protocols---an important building block of fault-tolerant distributed systems---are often described by their authors making use of informal pseudo-codes of their own devising. Often these pseudo-codes use syntactical constructs that are not available in COTS programming languages such as C or C++. This translates into informal descriptions that require ad hoc interpretations and implementations. Being informal, these descriptions cannot be tested by their authors, which may translate into insufficiently detailed or even faulty specifications. Being non-standard, they require the reader to understand each time a different lingo. This paper tackles the above problem introducing a formal syntax for the expression of failure detection protocols and a C library that implements that syntax: a toolset to express and reason about failure detection protocols. The resulting specifications are more diffuse but non ambiguous and eligible for becoming a standard form among researchers and practitioners.

2006

• A Design Tool to Reason about Ambient Assisted Living Systems
  H. Sun, V. De Florio & C. Blondia
  Proceedings of the International Conference on Intelligent Systems Design and Applications (ISDA 06), IEEE Computer Society, 2006.
  BibTeX | PDF Available
  
  Bibtex:
  @InProceedings{SDFB06,
  author = {H. Sun and V. De Florio and C. Blondia},
  title = {A Design Tool to Reason about Ambient Assisted Living Systems},
  booktitle = {Proceedings of the International Conference on Intelligent Systems Design and Applications (ISDA'06)},
  publisher = {IEEE Computer Society},
  year = {2006},
  month = {October},
  day = {16--18},
  address = {Jinan, Shandong, P. R. China},
  URL = {content/publications/2006/Isda06.pdf}
  }
  
  Abstract:
  Not available

• The Algorithm of Pipelined Gossiping
  V. De Florio & C. Blondia
  Journal of Systems Architecture, Vol. 52, No. 4, pp. 235-256, Elsevier, 2006.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @Article{DeFl06b,
  author = {V. De Florio, C. Blondia},
  title = {The Algorithm of Pipelined Gossiping},
  journal = {Journal of Systems Architecture},
  year = {2006},
  volume={52},
  number={4},
  pages={235--256},
  publisher={Elsevier},
  abstract={A family of gossiping algorithms depending on a parameter permutation is introduced, formalized, and discussed. Several of its members are analyzed and their asymptotic behaviour is revealed, including a member whose model and performance closely follows the one of hardware pipelined processors. This similarity is exposed. An optimizing algorithm is finally proposed and discussed as
  a general strategy to increase the performance of the base algorithms.},
  URL={http://euterpe.cmi.ua.ac.be/~vincenz/jsa-010-02.pdf}
  }
  
  Abstract:
  A family of gossiping algorithms depending on a parameter permutation is introduced, formalized, and discussed. Several of its members are analyzed and their asymptotic behaviour is revealed, including a member whose model and performance closely follows the one of hardware pipelined processors. This similarity is exposed. An optimizing algorithm is finally proposed and discussed as a general strategy to increase the performance of the base algorithms.

• Dynamics of a Time-outs Management System
  V. De Florio & C. Blondia
  Complex Systems, Vol. 16, No. 3, pp. 209-223, Complex Systems Publications, Champaign, IL, 2006.
  BibTeX | Abstract | PDF Available
  
  Bibtex:
  @Article{DeFl06,
  author = {V. De Florio, C. Blondia},
  title = {Dynamics of a Time-outs Management System},
  journal = {Complex Systems},
  year = {2006},
  volume={16},
  number={3},
  URL={http://euterpe.cmi.ua.ac.be/~vincenz/cosy.pdf},
  pages={209--223},
  publisher={Complex Systems Publications, Champaign, IL},
  abstract={We call ``time-out'' a software entity that postpones a function call by a given amount of time expressed as local clock ticks. The subject of this paper is a simple software system managing lists of time-outs. We briefly describe that system and discuss its dynamics. We show some experimental results that prove the emergence of complex behaviors.}
  }
  
  Abstract:
  We call time-out a software entity that postpones a function call by a given amount of time expressed as local clock ticks. The subject of this paper is a simple software system managing lists of time-outs. We briefly describe that system and discuss its dynamics. We show some experimental results that prove the emergence of complex behaviors.

2005

• A System Structure for Adaptive Mobile Applications
  V. De Florio & C. Blondia
  Proceedings of the IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks 2005 (WOWMOM 2005), Giardini Naxos, Italy, 2005.
  BibTeX | PDF Available
  
  Bibtex:
  @INPROCEEDINGS{wowmom,
  author = {V. De Florio and C. Blondia},
  title = {A System Structure for Adaptive Mobile Applications},
  booktitle = {Proceedings of the IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks 2005 (WOWMOM 2005)},
  year = {2005},
  month = {JUN},
  location = {Giardini Naxos, Italy},
  URL = {content/publications/2005/wowmom.pdf}
  }
  
  Abstract:
  Not available

Other personal information