Home page | IRIS Fondazione Bruno Kessler

Prodotti recenti

An Integrated Topology Control Framework to Accelerate Consensus in Broadcast Wireless Sensor Networks

One of the primary constraints in the design and deployment of WSNs is energy, as sensor nodes are powered by batteries. In such networks, energy efficiency can be achieved by reducing the use of the onboard radios, for instance limiting packet transmissions. The broadcast nat...

Satisfiability checking and symbolic computation

Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected.&...

Certifying Proofs for LTL Model Checking

In the context of formal verification, certifying proofs are proofs of the correctness of a model in a deduction system produced automatically as outcome of the verification. They are quite appealing for high-assurance systems because they can be verified independently by proof checkers...

Symbolic execution with existential second-order constraints

Symbolic execution systematically explores program paths by solving path conditions --- formulas over symbolic variables. Typically, the symbolic variables range over numbers, arrays and strings. We introduce symbolic execution with existential second-order constraints --- an extension of traditional symbo...

Entrepreneurial actions towards the success of exponential technologies

Entrepreneurial actions can have superior performance when originated inside structured innovation ecosystems. New organization models of collaboration between different types of innovation ecosystem can increase the likelihood of successful business and impact creation. It requires the development of new&...

CINECA IRIS Institutional Research Information System