Trace-checking signal-based temporal properties Conferences

authors

• Boufaied, Chaima
• Menghi, Claudio
• Bianculli, Domenico
• Briand, Lionel
• Parache, Yago Isasi

status

• published 

publication date

• December 21, 2020

published in

• Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee...  Journal

presented at event

• ASE '20: 35th IEEE/ACM International Conference on Automated Software Engineering  Conference

keywords

• Automation & Control Systems
• Computer Science
• Computer Science, Software Engineering
• Engineering
• Engineering, Electrical & Electronic
• Science & Technology
• Technology
• cyber-physical systems
• model-driven
• run-time verification
• signals
• specification patterns
• temporal properties
• trace checking

Digital Object Identifier (DOI)

• 10.1145/3324884.3416631

start page

• 1004

end page

• 1015