Sage Journals: Discover world-class research

Open access

Research article

First published 2017-4

Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO

Shengxin Dai, Mei Hong, Bing Guo

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2021-11

Online and Proactive Vehicle Rerouting with Uppaal Stratego

Alexander Bilgram, Emil Ernstsen, Peter Greve [...]

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2025-10

Verification of quantitative temporal properties in RealTime-DEVS

Ariel González, Maximiliano Cristiá, Carlos Luna

SIMULATION

Open access

Research article

First published 2021-8

Modeling Diagnostic Strategies to Manage Toxic Adverse Events following Cancer Immunotherapy

Frederik van Delft, Mirte Muller, Rom Langerak [...]

Medical Decision Making

Open access

Research article

First published 2016-5

Study on formal modeling and verification of safety computer platform

Xi Wang, Lianchuan Ma, Tao Tang

Advances in Mechanical Engineering

Retricted access

Research article

First published 2019-05-14

Intrusion detection system using timed automata for cyber physical systems

K.S. Umadevi, P. Balakrishnan, G. Kousalya

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2020-2

Formal reasoning on knowledge and commitments in multi-agent systems using T heatre

Christian Nigro, Libero Nigro, Paolo F Sciammarella

SIMULATION

Retricted access

Research article

First published 2008-5

Translation of Timed Promela to Timed Automata with Discrete Data

Wojciech Nabiałek, Agata Janowska, Paweł Janowski

Fundamenta Informaticae

Open access

Research article

First published 2020-5

Design and model checking of timed automata oriented architecture for Internet of thing

Guang Chen, Tonghai Jiang, Meng Wang [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2007-9-29

Timed analysis of security protocols

R. Corin, S. Etalle, P.H. Hartel [...]

Journal of Computer Security

Search results