ARSENAL: Automatic Requirements Specification Extraction from Natural Language von Ghosh, Shalini, Elenius, Daniel, Li, Wenchao, Lincoln, Patrick, Shankar, Natarajan, Steiner, Wilfried

Volltext

From Design Contracts to Component Requirements Verification von Liu, Jing, Backes, John D., Cofer, Darren, Gacek, Andrew

Volltext

Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems von Guarro, Sergio, Ozguner, Umit, Aldemir, Tunc, Knudson, Matt, Kurt, Arda, Yau, Michael, Hejase, Mohammad, Kwon, Steve

Volltext

Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft von Muñoz, César, Narkawicz, Anthony

Volltext

Improving an Industrial Test Generation Tool Using SMT Solver von Ren, Hao, Bhatt, Devesh, Hvozdovic, Jan

Volltext

EventB2Java: A Code Generator for Event-B von Cataño, Néstor, Rivera, Víctor

Volltext

Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty von Jha, Susmit, Raman, Vasumathi

Volltext

Synthesizing Runtime Enforcer of Safety Properties Under Burst Error von Wu, Meng, Zeng, Haibo, Wang, Chao

Volltext

Gray-Box Learning of Serial Compositions of Mealy Machines von Abel, Andreas, Reineke, Jan

Volltext

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles von Rizaldi, Albert, Immler, Fabian, Althoff, Matthias

Volltext

Compositional Runtime Enforcement von Pinisetty, Srinivas, Tripakis, Stavros

Volltext

WCN23-0885 EVAULATION OF CROCKCROFT-GAULT TO CALCULATE GFR von Vattappilly Siddique, H., Munir, M., Ande, P., Rayadurgam, S., Richardson, M.

Volltext

Probabilistic Formal Verification of the SATS Concept of Operation von Sardar, Muhammad Usama, Afaq, Nida, Hoque, Khaza Anuarul, Johnson, Taylor T., Hasan, Osman

Volltext

Code Generation Using a Formal Model of Reference Counting von Férey, Gaspard, Shankar, Natarajan

Volltext

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control von Goldman, Robert P., Bryce, Daniel, Pelican, Michael J. S., Musliner, David J., Bae, Kyungmin

Volltext

Your "What" Is My "How": Iteration and Hierarchy in System Design von Whalen, M. W., Gacek, A., Cofer, D., Murugesan, A., Heimdahl, M. P. E., Rayadurgam, S.

Volltext

On Implementing Real-Time Specification Patterns Using Observers von Backes, John D., Whalen, Michael W., Gacek, Andrew, Komp, John

Volltext

Verifying Relative Safety, Accuracy, and Termination for Program Approximations von He, Shaobo, Lahiri, Shuvendu K., Rakamarić, Zvonimir

Volltext

The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests von Zhong, Hua, Zhang, Lingming, Khurshid, Sarfraz

Volltext

Semantics for Locking Specifications von Ernst, Michael D., Macedonio, Damiano, Merro, Massimo, Spoto, Fausto

Volltext