The use of distributed or parallel processing gained interest in the recent years to fight the state space explosion problem. Many industrial systems are described with large models, and the state space being even larger, it does not fit completely into the memory of a single computer. To avoid the high space requirement, several reduction techniques have been proposed: modular verification, pa...

We present a modular approach to defining logics for a wide variety of state-based systems. The systems are modelled as coalgebras, and we use modal logics to specify their observable properties. We show that the syntax, semantics and proof systems associated to such logics can all be derived in a modular fashion. Moreover, we show that the logics thus obtained inherit soundness, completeness a...

The modular envelope of a cyclic operad is the smallest modular operad containing it. A modular operad is constructed from moduli spaces of Riemann surfaces with boundary; this modular operad is shown to be the modular envelope of the A∞ cyclic operad. This gives a new proof of the result of Harer-Mumford-Thurston-Penner-Kontsevich that a cell complex built from ribbon graphs is homotopy equiva...

directional simulation, among techniques for reliability analysis of engineering structures, is well known. in this context, directional simulation in load space, because of the considerable advantages of lower dimension of working space, is of considerable interest. as is expected due to structural resistance variability, the location of the relevant limit state(s) is no longer constant and mu...

The use of distributed or parallel processing gained interest in the recent years to fight the state space explosion problem. Many industrial systems are described with large models, and the state space being even larger, it does not fit completely into the memory of a single computer. To avoid the high space requirement, several reduction techniques have been proposed: modular verification, pa...

This paper presents a modular system to recognize numerical amounts on Brazilian bank cheques. The system uses a segmentation-based recognition approach and the recognition function is based on a Recognition and Verification strategy. Our approach consists of combining the outputs from different levels such as segmentation, recognition and post-processing in a probabilistic model. A new feature...

This paper presents a modular system to recognize numerical amounts on Brazilian bank cheques. The system uses a segmentation-based recognition approach and the recognition function is based on a Recognition and Verification strategy. Our approach consists of combining the outputs from different levels such as segmentation, recognition and post-processing in a probabilistic model. A new feature...

We show that timely induction of random failures can potentially be used to mount very cost effective attacks against smartcards deploying cryptographic schemes based on (right-to-left) modular exponentiation. We introduce a model where an external perturbation, or glitch, may cause a single modular multiplication to produce a truly random result. Based on this assumption, we present a probabil...

We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems. We show that the syntax, semantics and proof systems associated to such logics can all be derived in a modular way. Moreover, we show that the logics thus obtained inherit soundness, comple...