Skip to contents

Biere, Armin [Author] ; Eidgenössische Technische Hochschule Institut für Computersysteme Zürich [Contributor]

Beyond SAT and BDD based model checking

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/145485

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, Department of Computer Science, Institute of Computer Systems, 2001
Biere, Armin [Author] ; Eidgenössische Technische Hochschule Institut für Computersysteme Zürich [Contributor]

Formal background and algorithms

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/145469

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Computer Systems Institute, ETH Zürich, 2001
Biere, Armin [Author] ; Eidgenössische Technische Hochschule Institut für Computersysteme Zürich [Contributor]

Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen: effektives Testen mit mathematischer Genauigkeit

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/145523

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institut für Computersysteme, ETH Zürich, 2001
Biere, Armin [Author]

Bounded Model Checking: Was kommt danach?

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/145486

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zurich, Department Informatik, Institut für Computersysteme, 2000-10-23
Plaisted, David [Author]; Biere, Armin [Author] ; Eidgenössische Technische Hochschule Institut für Computersysteme Zürich [Contributor]

A decision procedure for quantified boolean formulae

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/145487

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, Department of Computer Science, Institute of Computer Systems, 2000
Steinmann, Ruedi [Author]

Applying the roofline model

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/153455

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, Department of Computer Science, 2012
Hoang, Thai Son [Author]; Iliasov, Alexei [Author]; Silva, Renato A. [Author]; Wei, Wei [Author]

A Survey on Event-B Decomposition

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/153415

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eidgenössische Technische Hochschule Zürich, 2012

Published in: Electronic Communications of the EASST
Grolimund, Dominik [Author]

A Pattern Language for Overlay Networks: Design Patterns in Peer-to-Peer Systems

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69606

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Department of Computer Science, 2005

Published in: Technical Report / ETH Zurich, Department of Computer Science, 503
Trutmann, Hans Otto [Author] ; Kündig, Albert [Contributor]

Separate connection and functionality is the pivot in embedded system design

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/144893

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Shaker Verlag, 2000

Published in: TIK-Schriftenreihe, 039
Eberle, Johann J. [Author] ; Wirth, Niklaus [Contributor]; Fichtner, Wolfgang [Contributor]

Development and analysis of a workstation computer

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/139251

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zurich, 1987
Schuppan, Viktor [Author] ; Biere, Armin [Contributor]; Kröning, Daniel [Contributor]

Liveness checking as safety checking to find shortest counterexamples to linear time properties

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/149210

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Verlag Dr. Hut, 2006
Stoimenov, Nikolay Nikolaev [Author] ; Thiele, Lothar [Contributor]

Compositional design and analysis of distributed, cyclic, and adaptive embedded real-time systems

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/42866

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

TIK Institut für Technische Informatik und Kommunikationsnetze, 2011

Published in: TIK-Schriftenreihe, 124
Dübendorfer, Thomas [Author]

An extensible infrastructure and a representation scheme for distributed smart proxies of real world objects: Steps toward a smart environment

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/68738

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Eidgenössische Technische Hochschule, Institute of Information Systems, Distributed Systems Group, 2001

Published in: Technical report of ETH Zürich, 359
Heeb, Beat Urs [Author] ; Wirth, Niklaus [Contributor]; Fichtner, Wolfgang [Contributor]

Debora: A system for the development of field programmable hardware and its application to a reconfigurable computer

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/141204

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zurich, 1993
Huang, Pengcheng [Author] ; Thiele, Lothar [Contributor]; Burns, Alan [Contributor]

Design and Optimization of Mixed-Criticality Systems

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/125287

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 2016
Hoang, Thai Son [Author]; Fürst, Andreas [Author]; Abrial, Jean-Raymond [Author]

Event-B patterns and their tool support

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/69827

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eidgenössische Technische Hochschule Zürich, 2012
Maksyagin, Alexander [Author] ; Thiele, Lothar [Contributor]

Modeling multimedia workloads for embedded system design

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/149000

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Shaker Verlag, 2006

Published in: Technische Informatik, 074
Torrisi, Fabio Danilo [Author] ; Bemporad, Alberto [Contributor]; Krogh, Bruce [Contributor]; Morari, Manfred [Contributor]

Modeling and reach-set computation for analysis and optimal control of discrete hybrid automata

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/147633

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 2003
Muller, Pieter Johannes [Author] ; Gutknecht, Jürg [Contributor]; Wirth, Niklaus [Contributor]

The active object system design and multiprocessor implementation

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/147091

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 2002
Eisenring, Michael Herbert [Author] ; Fichtner, Wolfgang [Contributor]; Thiele, Lothar [Contributor]

Communication channel synthesis for heterogeneous embedded systems

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/146898

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

vdf Hochschulverlag an der ETH Zürich, 2002

Published in: TIK-Schriftenreihe, 045

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication