Suche in der Hochschulbibliografie

Suche nach: Person (Universität Oldenburg) = 'Mahdi, Ahmed ((DE-588)2007664)'

Treffer 1-5 von 5

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5122076557000350149GBVUOB_ALMA51220765570003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51220765570003501
Artikel
Advancing software model checking beyond linear arithmetic theories
von Ahmed Mahdi ; Karsten Scheibler ; Felix Neubauer ; Martin Fränzle ; Bernd Becker
2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Mahdi, Ahmed ([2013-])
Enthalten in: Hardware and Software: Verification and Testing Cham : Springer, 2016 (2016), Seite 186-201 Online-Ressource (XVI, 211 p. 60 illus, online resource)
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA5122227417000350149GBVUOB_ALMA51222274170003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222274170003501
Artikel
Accurate ICP-based floating-point reasoning
von Karsten Scheibler ; Felix Neubauer ; Ahmed Mahdi ; Martin Fränzle ; Tino Teige ; Tom Bienmüller ; Detlef Fehrer ; Bernd Becker
2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Mahdi, Ahmed ([2013-])Fränzle, Martin ([1998-])Teige, TinoBienmüller, Tom ([1997-2003])
Umfang: 8.
Enthalten in: Conference on Formal Methods in Computer-Aided Design (16. : 2016 : Mountain View, Calif.) Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design, FMCAD 2016 [Piscataway, NJ] : IEEE, 2016 (2016), insges. 8 S. 1 Online-Ressource
Sprache: Englisch
>> Volltext
3
49GBVUOB_ALMA5122229630000350149GBVUOB_ALMA51222296300003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222296300003501
E-Book
AVACS technical report: Extending iSAT3 with ICP-contractors for bitwise integer operations
von Karsten Scheibler ; Felix Neubauer ; Ahmed Mahdi ; Martin Fränzle ; Tino Teige ; Tom Bienmüller ; Detlef Fehrer ; Bernd Becker
August 2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Mahdi, Ahmed ([2013-])Fränzle, Martin ([1998-])Teige, TinoBienmüller, Tom ([1997-2003])
Verlag: Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang: 1 Online-Ressource (22 Seiten).
Übergeordnetes Werk: AVACS technical report
Verknüpfte Titel: AVACS technical report ; 116
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA5121839990000350149GBVUOB_ALMA51218399900003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218399900003501
Artikel
Generalized Craig interpolation for stochastic satisfiability modulo theory problems
von Ahmed Mahdi ; Martin Fränzle
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Mahdi, Ahmed ([2013-])
Enthalten in: Ouaknine, Joe͏̈l Reachability Problems Cham [u.a.] : Springer, 2014 (2014), Seite 203-215 Online-Ressource (XX, 246 p. 59 illus, online resource)
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA5121843371000350149GBVUOB_ALMA51218433710003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218433710003501
Artikel
Transformations for compositional verification of assumption-commitment properties
von Ahmed Mahdi ; Bernd Westphal ; Martin Fränzle
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Westphal, BerndFränzle, Martin ([1998-])Mahdi, Ahmed ([2013-])
Enthalten in: Ouaknine, Joe͏̈l Reachability Problems Cham [u.a.] : Springer, 2014 (2014), Seite 216-229 Online-Ressource (XX, 246 p. 59 illus, online resource)
Sprache: Englisch
>> Volltext