BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
2 × USA
Collaborated with:
B.H.Krogh R.A.Rutenbar M.Giacobbe T.A.Henzinger K.G.Larsen M.Mikucionis B.Nielsen S.Bogomolov R.Grosu H.Ladan A.Podelski M.Wehrle C.L.Guernic A.Donzé S.Cotton R.Ray O.Lebeltel R.Ripado A.Girard T.Dang O.Maler
Talks about:
space (3) system (2) time (2) reachabl (1) interpol (1) backward (1) abstract (1) scalabl (1) monitor (1) forward (1)

Person: Goran Frehse

DBLP DBLP: Frehse:Goran

Contributed to:

CAV 20122012
CAV 20112011
ICTSS 20112011
DATE 20062006
CAV (1) 20182018

Wrote 5 papers:

CAV-2012-BogomolovFGLPW #analysis #distance #reachability
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx (SB, GF, RG, HL, AP, MW), pp. 479–494.
CAV-2011-FrehseGDCRLRGDM #hybrid #named #scalability #verification
SpaceEx: Scalable Verification of Hybrid Systems (GF, CLG, AD, SC, RR, OL, RR, AG, TD, OM), pp. 379–395.
ICTSS-2011-FrehseLMN #aspect-oriented #monitoring #testing
Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.
DATE-2006-FrehseKR #abstraction #refinement #using #verification
Verifying analog oscillator circuits using forward/backward abstraction refinement (GF, BHK, RAR), pp. 257–262.
Space-Time Interpolants (GF, MG, TAH), pp. 468–486.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.