Search Sciweavers | Sciweavers

512 search results - page 8 / 103

» Automata as Abstractions

Voted

TACAS
2004
Springer

62views Algorithms» more TACAS 2004»

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

15 years 8 months ago

Download www.lsv.ens-cachan.fr

Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar...

claim paper

Read More »

Voted

CAV
2003
Springer

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

15 years 8 months ago

Download www.labri.fr

Bernard Boigelot, Frédéric Herbretea...

claim paper

Read More »

click to vote

RAID
2009
Springer

111views Computer Networks» more RAID 2009»

Malware Behavioral Detection by Attribute-Automata Using Abstraction from Platform and Language

15 years 8 months ago

Download www.rennes.supelec.fr

Grégoire Jacob, Hervé Debar, Eric Fi...

claim paper

Read More »

114

click to vote

HYBRID
1994
Springer

79views Control Systems» more HYBRID 1994»

A Note on Abstract Interpretation Strategies for Hybrid Automata

15 years 7 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Pei-Hsin Ho

claim paper

Read More »

100

Voted

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers