Formal semantics (linguistics)
Related papers: 13
Top Researchers
Top Cited Papers
RoboChart: modelling and verification of the functional behaviour of robotic applications
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock
Citations: 113 • 2019
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa
Citations: 27 • 2018
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Citations: 20 • 2018
A Formal Approach to Design and Reuse Agent and Multiagent Models
Vincent Hilaire, Olivier Simonin, Abderrafìâa Koukam, Jacques Ferber
Citations: 17 • 2005
A formal toolchain for offline and run-time verification of robotic systems
Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
Citations: 13 • 2022
A Formal Semantics for Brahms
Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher
Citations: 9 • 2011
Analysing RoboChart with Probabilities
Madiel Conserva Filho, Rhoger Fellipe Marinho, Alexandre Mota, Jim Woodcock
Citations: 9 • 2018
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
Citations: 9 • 2020
A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics
Y.-Y. Cao, Yusheng Liu
Citations: 6 • 2023
Natural Semantics for Domain-Specific Language
William Steingartner, Valerie Novitzká
Citations: 5 • 2021
Towards a sheaf semantics for cooperating agents scenarios
Viorica Sofronie
Citations: 5 • 1996
Some Aspects about Visualization of Natural Semantics for a Selected Domain-Specific Language
William Steingartner, Davorka Radaković, Richard Zsiga
Citations: 2 • 2023
Public and Private Affairs in Strategic Reasoning
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Citations: 2 • 2022