László Gönczy

Learn More
– Redundant sensing capabilities are often required in sensor network applications due to various reasons, e.g. robustness, fault tolerance, or increased accuracy. At the same time high sensor redundancy offers the possibility of increasing network lifetime by scheduling sleep intervals for some sensors and still providing continuous service with help of(More)
Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published , requested and dynamically combined in the production of business(More)
We present a framework for the simulation and formal analysis of workflow models. We discuss (i) how a workflow model, implemented in the BPEL language, can be transformed into a dataflow network model, (ii) how potentially incorrect execution paths can be incorporated, and (iii) how the properties of a workflow can be formally verified using the SPIN model(More)
— In Wireless Sensor Networks (WSN), a tradeoff between the network lifetime (limited by energy of sensors) and redundancy of actively sensing and communicating sensors (implicated by coverage requirements for the measured area) has to be established, typically in an over-deployed environment. This is achieved by scheduling algorithms which periodically(More)
Due to the increasing need of highly dependable services in Service-Oriented Ar-chitectures (SOA), service-level agreements include more and more frequently such non-functional aspects as security, safety, availability, reliability, etc. Whenever a service can no longer be provided with the required QoS, the service requester needs to switch dynamically to(More)
As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more crucial. Therefore, extensions of the common service composition techniques are urgently needed in order to cover dependability aspects and a core concept for the dependability estimation of(More)
—Robustness, fault tolerance, and a long lifetime are key requirements of sensor networks used in real-world applications. Dense sensor networks with high sensor redundancy offer the possibility of redundant sensing and low duty-cycle operation at the same time; thus, the required robust sensing services can be provided along with an elongated lifetime. In(More)
The success of recent massive Internet-based attacks and frauds targeting financial institutions highlights the inadequacy of these institutions when facing such threats in isolation. There is a need for financial players to coordinate their efforts by sharing and correlating suspicious activities occurring at multiple, geographically distributed sites.(More)
The IST-FET Integrated Project SENSORIA is developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated into pragmatic software engineering processes. The techniques and tools of SEN-SORIA encompass the whole software development cycle, from(More)