Abstract is missing.
- State-Based Security and Time-Inserting SupervisorsDamas P. Gruska. 3-18 [doi]
- A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTDAlex Rodrigue Ndouna, Marc Frappier, Frédéric Mallet. 19-36 [doi]
- Bridging the B-Method and ACSL: Towards Verified C CodeFagner Dias, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte. 39-60 [doi]
- A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System ModelsCiprian Teodorov, Lucas Lima 0001, Sidney C. Nogueira, Sylvain Guérin, Loïc Lagadec. 61-81 [doi]
- Formal Verification of Epistemic States with Uncertainty in Multi-Agent SystemsJefferson O. Andrade. 82-97 [doi]
- Deriving Sound Test Scripts from Requirements Written in a Controlled Natural LanguageFilipe Arruda, Flávia A. Barros, Augusto Sampaio 0001. 101-118 [doi]
- Executable Conformance Testing Theories: From Theory to Practice and BackGustavo Carvalho, Lucas Santana, Fábio Sobral, Beatriz Souza. 119-137 [doi]
- Availability Model and Evaluation of Bus Rapid Transit Surveillance SystemRaquel F. Trajano, Carlos Melo, Jamilson Dantas. 141-155 [doi]
- Resource Contracts for Active ObjectsCharaf Eddine Dridi, Violet Ka I Pun, Volker Stolz. 156-175 [doi]
- Inference of Deterministic Finite Automata via Q-LearningElaheh Hosseinkhani, Martin Leucker. 179-195 [doi]
- Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway SystemsThierry Lecomte. 196-206 [doi]
- The Turner 2-Strings MachinesRafael Dueire Lins. 209-224 [doi]
- A Proof of the De Zolt Postulate in Three-Dimensional SpaceBruno Cuconato, Edward Hermann Haeusler. 225-241 [doi]