Vincenzo De Florio

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 264 37 77

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

News: Appointed as referee for the assignment of funds for university research groups by the Italian Ministry for Education University and Research (MIUR) (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. In preparation (expected date of pubblication: January 2013.)

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.170 : total Impact Factor achieved.

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

22 journal papers.

3 book chapters.

71 conference papers.

1 patent.

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

79 times a member of Programme Committees.

4 times workshop Chair, 1 time Vice-Chair.

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

11 years as post-doctoral researcher.

3 times promotor of PhD students.

3 international awards received by my PhD students.

7 times a member of 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.)

1 international Organization appointed me as Director for Journal and Conference Paper management (SERSC)

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

2012

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

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.},
}

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 = {http://www.igi-global.com/book/technological-innovations-adaptive-dependable-systems/59728}
}

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

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.},
}

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

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.},
}

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
accepted for publication in the International Journal of Adaptive, Resilient and Autonomic Systems, special ADAMUS issue, Vol. 2, No. 2, Marcello Cinque and Tim Stevens, Editors, 2011.
BibTeX

Bibtex:
@Article{GDeB11a,
author = {Ning Gui and Vincenzo De Florio and Chris Blondia},
title = {Run-time Compositional Software Platform for Autonomous NXT Robots},
journal = {accepted for publication in the 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}
}

Abstract:
Not available

Toward Architecture-based Context-Aware Deployment and Adaptation
Ning Gui , Vincenzo De Florio & Chris Blondia
Journal of Systems and Software, Elsevier,, 2011.
BibTeX

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},
tolume = {39},
tages = {44--51},
publisher = {Elsevier},
}

Abstract:
Not available

Software Assumptions Failure Tolerance: Role, Strategies, and Visions
Vincenzo De Florio
Chapter accepted for publication in Architecting Dependable Systems, Vol. 7, (Antonio Casimiro, Rogério de Lemos, and Cristina Gacek, Eds.), Lecture Notes in Computer Science., Addison-Wesley, 2011.
BibTeX | Abstract | PDF Available

Bibtex:
@article{DF2011a,
author = {Vincenzo De Florio},
title = {Software Assumptions Failure Tolerance: Role, Strategies, and Visions},
journal = {Chapter accepted for publication in Architecting Dependable Systems, Vol. 7, (Antonio Casimiro, Rogério de Lemos, and Cristina Gacek, Eds.), Lecture Notes in Computer Science.},
year = {2011},
publisher={Addison-Wesley},
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

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 = {}
}

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

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}
}

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

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}
}

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

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}
}

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

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.},
}

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

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},
}

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

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},
}

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

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},
}

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

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},
}

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

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}
}

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

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}
}

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

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},
}

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

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},
}

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

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

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},
}
}

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

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},
}

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

Bibtex:
@InProceedings{,
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},
}

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

Important copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without explicit permission of the copyright holder.

Performance Analysis of Telecommunication Systems

Research Group