Suche in der Hochschulbibliografie

Suche nach: Person (Universität Oldenburg) = 'Westphal, Bernd ((DE-588)135725895)'

Treffer 11-20 von 28

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

11
49GBVUOB_ALMA2123672161000350149GBVUOB_ALMA21236721610003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236721610003501
Artikel
Mind the shapes : abstraction refinement via topology invariants
von Jörg Bauer ; Tobe Toben ; Bernd Westphal
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Toben, Tobe ([2004-])Westphal, Bernd
Enthalten in: Automated technology for verification and analysis Berlin, 2007 S. 35 - 50
Sprache: Englisch
>> Volltext
12
49GBVUOB_ALMA2123674801000350149GBVUOB_ALMA21236748010003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236748010003501
Artikel
Verification and synthesis of OCL constraints via toplogy analysis
von Jörg Bauer ; Werner Damm ; Tobe Toben ; Bernd Westphal
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Damm, WernerToben, Tobe ([2004-])Westphal, Bernd
Enthalten in: Applications of graph transformations with industrial relevance Kasssel, 2007 S. 357 - 372
Sprache: Englisch
>> Volltext
13
49GBVUOB_ALMA2123703250000350149GBVUOB_ALMA21237032500003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237032500003501
Artikel
On the expressive power of live sequence charts
von Werner Damm ; Tobe Toben ; Bernd Westphal
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Toben, Tobe ([2004-])Westphal, BerndDamm, Werner
Enthalten in: Program analysis and compilation, theory and practice Berlin, 2007 S. 225 - 246
Sprache: Englisch
14
49GBVUOB_ALMA2123683108000350149GBVUOB_ALMA21236831080003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236831080003501
Artikel
On the expressive power of life sequence charts
von Tobe Toben ; Bernd Westphal
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Westphal, BerndToben, Tobe ([2004-])
Enthalten in: SOFSEM 2006: theory and practice of computer science Prague 2 (2006), S. 33 - 43
Sprache: Englisch
15
49GBVUOB_ALMA2123651735000350149GBVUOB_ALMA21236517350003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236517350003501
Artikel
Specification and verification of dynamic communication systems
von Jörg Bauer ; Ina Schäfer ; Tobe Toben ; Bernd Westphal
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Toben, Tobe ([2004-])Westphal, Bernd
Enthalten in: Proceedings / Sixth International Conference on Application of Concurrency to System Design (ACSD 2006) Los Alamitos, Calif. [u.a.], 2006 S. 189 - 200
Sprache: Englisch
16
49GBVUOB_ALMA2123690099000350149GBVUOB_ALMA21236900990003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236900990003501
Artikel
The good, the bad and the ugly : well-formedness of life sequence charts
von Bernd Westphal ; Tobe Toben
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Toben, Tobe ([2004-])Westphal, Bernd
Enthalten in: Fundamental approaches to software engineering Berlin [u.a.], 2006 S. 230 - 246
Sprache: Englisch
17
49GBVUOB_ALMA2123689161000350149GBVUOB_ALMA21236891610003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236891610003501
Artikel
Check it out : on the efficient formal verification of live charts
von Jochen Klose ; Tobe Toben ; Bernd Westphal ; Hartmut Wittke
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Toben, Tobe ([2004-])Westphal, BerndWittke, Hartmut ([1996-2006])Klose, Jochen ([1998-2006])
Enthalten in: Computer aided verification Berlin [u.a.], 2006 S. 219 - 233
Sprache: Englisch
18
49GBVUOB_ALMA2123649690000350149GBVUOB_ALMA21236496900003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236496900003501
Artikel
LSC verification for UML models with unbounded creation and destruction
von Bernd Westphal
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Westphal, Bernd
Enthalten in: Participants' proceedings of the 2005 Workshop on Software Model Checking (SoftMC '05) Edinburgh, 2005 11 S. <11>
Sprache: Englisch
19
49GBVUOB_ALMA2123649810000350149GBVUOB_ALMA21236498100003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236498100003501
Artikel
Concurrent LSC verification : on decomposition properties of partially ordered symbolic automata
von Tobe Toben ; Bernd Westphal
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Westphal, BerndToben, Tobe ([2004-])
Enthalten in: Proceedings / Fifth International Workshop on Automated Verification of Critical Systems, September 12 - 13, 2005 Warwick, 2005 S. [85] - 99
Sprache: Englisch
20
49GBVUOB_ALMA2123692822000350149GBVUOB_ALMA21236928220003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236928220003501
Artikel
Live and let die : LSC-based verification of UML-models
von Werner Damm ; Bernd Westphal
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Westphal, BerndDamm, Werner
Enthalten in: Science of computer programming 1981- 55 (2005), 1-3, S. 117 - 159
Sprache: Englisch