Suche in der Hochschulbibliografie

Suche nach: Person = 'Herde, Christian'

Treffer 1-10 von 20

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA2116079559000350149GBVUOB_ALMA21160795590003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21160795590003501
Buch
Efficient solving of large arithmetic constraint systems with complex Boolean structure
von Christian Herde
2010
Details anzeigen
Gutachter: Martin Fränzle; Bernd Becker
Beteiligte Personen (Uni Oldenburg): Herde, Christian
Umfang: X, 163 S. graph. Darst..
Weitere Angaben:
Zsfassung in dt. Sprache ; Oldenburg, Univ., Diss., 2010
Schlagwörter: HochschulschriftHybrides SystemBounded Model CheckingErfüllbarkeitsproblemBoolesche FormelEndlicher ZustandsraumSicherheitskritisches SystemBenchmarkSystemKritische InformationsinfrastrukturZustandsraumNP-vollständiges ProblemModel CheckingKontinuierliches SystemDiskretes System
Notation: inf 530inf 999
Sprache: Englisch
2
49GBVUOB_ALMA2117831099000350149GBVUOB_ALMA21178310990003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21178310990003501
Artikel
Application of constraint solving and ODE-enclosure methods to the analysis of hybrid systems
von Andreas Eggers ; Martin Fränzle ; Christian Herde
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Herde, ChristianEggers, Andreas
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.avacs.org/Publikationen/Open/eggers.icnaam09.pdf
Enthalten in: Numerical analysis and applied mathematics ; Vol. 2 Melville, NY : American Inst. of Physics, 2009 (2009), Seite 1326-1330 XXX S., S. 575 - 1612, 9 S.
Sprache: Englisch
3
49GBVUOB_ALMA2123682711000350149GBVUOB_ALMA21236827110003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236827110003501
Artikel
Hybrid discrete-continuous systems
von Martin Fränzle ; Andreas Eggers ; Christian Herde ; Tino Teige
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Eggers, AndreasHerde, ChristianTeige, TinoFränzle, Martin ([1998-])
Enthalten in: Modern computational science 09 Oldenburg, 2009 S. 363 - 378
Sprache: Englisch
4
49GBVUOB_ALMA2123639405000350149GBVUOB_ALMA21236394050003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236394050003501
Artikel
SAT modulo ODE : a direct SAT approach to hybrid systems
von Andreas Eggers ; Martin Fränzle ; Christian Herde
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Herde, ChristianEggers, Andreas
Enthalten in: Automated technology for verification and analysis Berlin [u.a.], 2008 S. 171 - 185
Sprache: Englisch
5
49GBVUOB_ALMA2123658117000350149GBVUOB_ALMA21236581170003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236581170003501
Artikel
SAT modulo ODE
von Andreas Eggers ; Martin Fränzle ; Christian Herde
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Herde, ChristianEggers, Andreas
Enthalten in: Reports of SFB/TR 14 AVACS (2008), S. 1 - 16
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA2123682622000350149GBVUOB_ALMA21236826220003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236826220003501
Artikel
Conflict analysis and restarts in a mixed Boolean and non-linear arithmetic constraint solver
von Tino Teige ; Christian Herde ; Martin Fränzle ; Erika Abrahám
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Herde, ChristianFränzle, Martin ([1998-])Teige, Tino
Enthalten in: AVACS technical report 34 (2008), S. 1 - 14
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA2123638019000350149GBVUOB_ALMA21236380190003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236380190003501
Artikel
Analyis of hybrid systems using HySAT
von Christian Herde ; Andreas Eggers ; Martin Fränzle ; Tino Teige
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Eggers, AndreasFränzle, Martin ([1998-])Teige, TinoHerde, Christian
Enthalten in: Third International Conference on Systems Los Alamitos, Calif., 2008 S. 196 - 201
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA2123618934000350149GBVUOB_ALMA21236189340003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236189340003501
Artikel
Hysat : an efficient proof engine for bounded model checking of hybrid systems
von Martin Fränzle ; Christian Herde
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Herde, ChristianFränzle, Martin ([1998-])
Enthalten in: Formal methods in system design 30 (2007), 3, S. 179 - 198
Sprache: Englisch
9
49GBVUOB_ALMA2123681447000350149GBVUOB_ALMA21236814470003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236814470003501
Artikel
A generalized two-watched-literal scheme in a mixed Boolean and non-linear arithmetic constraint solver
von Tino Teige ; Christian Herde ; Martin Fränzle ; Natalia Kalinnik ; Andreas Eggers
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Herde, ChristianFränzle, Martin ([1998-])Eggers, AndreasTeige, Tino
Enthalten in: Progress in artificial intelligence 2007 S. 729 - 741
Sprache: Englisch
10
49GBVUOB_ALMA2123619806000350149GBVUOB_ALMA21236198060003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236198060003501
Artikel
Parallel SAT solving in bounded model checking
von Erika Abrahám ; Tobias Schubert ; Bernd Becker ; Martin Fränzle ; Christian Herde
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Herde, Christian
Enthalten in: Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers Berlin [u.a.], 2007
Sprache: Englisch