Search Sciweavers | Sciweavers

512 search results - page 8 / 103

» Automata as Abstractions

120

Voted

TACAS
2004
Springer

62views Algorithms» more TACAS 2004»

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

16 years 3 days ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

136

click to vote

CAV
2003
Springer

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

15 years 12 months ago

Download www.labri.fr

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

claim paper

Read More »

127

Voted

RAID
2009
Springer

111views Computer Networks» more RAID 2009»

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

15 years 11 months ago

Download www.rennes.supelec.fr

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

claim paper

Read More »

160

click to vote

HYBRID
1994
Springer

79views Control Systems» more HYBRID 1994»

A Note on Abstract Interpretation Strategies for Hybrid Automata

15 years 11 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Pei-Hsin Ho

claim paper

Read More »

143

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers