Today
Bookmark and Share    
Full Text
Peer Reviewed
See detailModel Checking MITL formulae on Timed Automata: a Logic-Based Approach
Menghi, Claudio UL; Bersani, Marcello; Rossi, Matteo et al

in ACM Transactions on Computational Logic (2020), 21(3),

Timed Automata (TA) is de facto a standard modelling formalism to represent systems when the interest is the analysis of their behaviour as time progresses. This modelling formalism is mostly used for ... [more ▼]

Timed Automata (TA) is de facto a standard modelling formalism to represent systems when the interest is the analysis of their behaviour as time progresses. This modelling formalism is mostly used for checking whether the behaviours of a system satisfy a set of properties of interest. Even if efficient model-checkers for Timed Automata exist, these tools are not easily configurable. First, they are not designed to easily allow adding new Timed Automata constructs, such as new synchronization mechanisms or communication procedures, but they assume a fixed set of Timed Automata constructs. Second, they usually do not support the Metric Interval Temporal Logic (MITL) and rely on a precise semantics for the logic in which the property of interest is specified which cannot be easily modified and customized. Finally, they do not easily allow using different solvers that may speed up verification in different contexts. This paper presents a novel technique to perform model checking of Metric Interval Temporal Logic (MITL) properties on TA. The technique relies on the translation of both the TA and the MITL formula into an intermediate Constraint LTL over clocks (CLTLoc) formula which is verified through an available decision procedure. The technique is flexible since the intermediate logic allows the encoding of new semantics as well as new TA constructs, by just adding new CLTLoc formulae. Furthermore, our technique is not bound to a specific solver as the intermediate CLTLoc formula can be verified using different procedures. [less ▲]

Detailed reference viewed: 95 (10 UL)
Full Text
Peer Reviewed
See detailTerminologisch gesichert, musikalisch gerechtfertigt? Das „Sinfonische“ und das „Philharmonische“ im Blasmusikwesen
Sagrillo, Damien UL

in Sagrillo, Damien (Ed.) Kongressbericht Wadgassen, Deutschland 2018 (2020)

Detailed reference viewed: 24 (1 UL)
Full Text
See detailKongressbericht Wadgassen, Deutschland 2018
Sagrillo, Damien UL

Book published by Lit (2020)

Detailed reference viewed: 32 (1 UL)
Full Text
See detailParents, schools and multilingual children
Aleksic, Gabrijela UL; Bebic, Dzoen Dominique UL

Conference given outside the academic context (2020)

Early literacy skills are critical for children’s later academic achievement. A wealth of research showed that children’s home languages should not be abandoned, as they are crucial for promoting dynamic ... [more ▼]

Early literacy skills are critical for children’s later academic achievement. A wealth of research showed that children’s home languages should not be abandoned, as they are crucial for promoting dynamic multilingualism, assuring cross-linguistic transfer and developing identities. To explore home literacy environment and family language policy of language minority preschool children in Luxembourg, we obtained 600 parent questionnaires, tested 226 children age 4 to 6 in their home languages and Luxembourgish, and interviewed 32 families. The results from the questionnaires showed that the home resources and parent involvement influenced children’s language awareness and their print knowledge irrespective of parent’s education and their wealth. Concerning children’s competences in Luxembourgish, children with positive attitudes towards their school did better than their peers in other schools. In the interviews, parents explained that maintaining home language is important for keeping connections with family, friends and their culture. This is the language parents feel emotionally connected to and the easiest to transmit to their children. Language maintenance is mostly achieved through conversations, movies, games and books in the home languages, children’s attendance of language schools on weekends, celebrations of traditions as well as holidays in the native country of the parents. The home language is, however, not something parents enforce too strictly, as they mostly correct the children’s linguistic mistakes by simple repetition. It is often with great pride that parents report their children having an excellent proficiency in their home language. Finally, through our professional development training in translanguaging we are helping teachers to integrate children’s different home languages and cultures into the classroom and strengthen the home-school collaboration in order to support children’s well-being, learning and identities. [less ▲]

Detailed reference viewed: 40 (2 UL)
See detailThe Loneliness of the Vilain : Shakespeare and Schiller
Kohns, Oliver UL

Scientific Conference (2020, February)

Detailed reference viewed: 20 (1 UL)
Full Text
Peer Reviewed
See detail'Multi-directed graph complexes and quasi-isomorphisms between them I: oriented graphs
Zivkovic, Marko UL

in Higher Structures (2020), 4(1), 266283

We construct a direct quasi-isomorphism from Kontsevich's graph complex GC_n to the oriented graph complex OGC_{n+1}, thus providing an alternative proof that the two complexes are quasi-isomorphic ... [more ▼]

We construct a direct quasi-isomorphism from Kontsevich's graph complex GC_n to the oriented graph complex OGC_{n+1}, thus providing an alternative proof that the two complexes are quasi-isomorphic. Moreover, the result is extended to the sequence of multi-oriented graph complexes, where GC_n and OGC_{n+1} are the first two members. These complexes play a key role in the deformation theory of multi-oriented props recently invented by Sergei Merkulov. [less ▲]

Detailed reference viewed: 42 (3 UL)
See detailCausal dynamical modelling predicts novel regulatory genes of FOXP3 in human regulatory T cells
Sawlekar, Rucha UL; Magni, Stefano UL; Chapelle, Christophe et al

E-print/Working paper (2020)

Detailed reference viewed: 53 (5 UL)
Full Text
Peer Reviewed
See detailAttack-Tree Series: A Case for Dynamic Attack Tree Analysis
Gadyatskaya, Olga UL; Mauw, Sjouke UL

in Proc.\ 6th International Workshop on Graphical Models for Security (GraMSec'19) (2020)

Detailed reference viewed: 50 (0 UL)