Work

Online Parametric Timed Pattern Matching with Automata-Based Skipping

Year: 2019

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-20652-9_26

Authors: Masaki Waga, Étienne André

Institutions: National Institute of Informatics, The Graduate University for Advanced Studies, SOKENDAI, Centre National de la Recherche Scientifique, Université Sorbonne Paris Nord, Laboratoire d'Informatique de Paris-Nord, Japanese-French Laboratory for Informatics

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Agence Nationale de la Recherche, Japan Society for the Promotion of Science

Awards: 物理情報システムに対する軽量検証の、オートマトン的技法を用いた実用的発展, Parametric Analysis of Concurrent Systems

OpenAlex ID: W2921224415

FWCI: 2.018

Cites: 41

Cited by: 11

Related to: 10