72 citations · 97 across the 10 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.SE2019★ 5 cited
Simulation under Arbitrary Temporal Logic Constraints
Julien Brunel, David Chemouil, Alcino Cunha +1
Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next…
cs.PL2019
ROSY: An elegant language to teach the pure reactive nature of robot programming
Hugo Pacheco, Nuno Macedo
Robotics is incredibly fun and is long recognized as a great way to teach programming, while drawing inspiring connections to other branches of engineering and science such as math…
cs.CY2019
Sharing and Learning Alloy on the Web
Nuno Macedo, Alcino Cunha, José Pereira +5
We present Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances, to be used mainly in an educational context. By introducing the notio…