Raudvere T.
15
Coauthors
6
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2003 | 1 |
| 2004 | 1 |
| 2005 | 1 |
| 2007 | 2 |
| 2008 | 1 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 4 |
| Algoritmo | 3 |
| Simulación por computadora | 2 |
| Sistema de control | 1 |
| Procesamiento de señales | 1 |
| Software | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 6 |
| Física aplicada | 3 |
| Métodos informáticos especiales | 2 |
| Ingeniería y operaciones afines | 1 |
| Programación informática, programas, datos, seguridad | 1 |
| Otras ramas de la ingeniería | 1 |
| Principios generales de matemáticas | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 6 |
| Google Scholar | 0 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Ingo Sander | 6 |
| Jantsch A. | 6 |
| Singh A. | 3 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops
Conference ObjectAbstract: Due to the abstract and simple computation and communication mechanism in the synchronous computatioPalabras claves:Design refinement, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.Fuentes:scopusApplication and verification of local nonsemantic-preserving transformations in system design
ArticleAbstract: Due to the increasing abstraction gap between the initial system model and a final implementation, tPalabras claves:Design refinement, Formal verification, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.Fuentes:scopusSynchronization after design refinements with sensitive delay elements
Conference ObjectAbstract: The synchronous computational model with its simple computation and communication mechanism makes itPalabras claves:Design refinement, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.Fuentes:scopusVerification of Design Decisions in ForSyDe
Conference ObjectAbstract: The ForSyDe methodology has been developed for system level design. Starting with a formal specificaPalabras claves:Design refinement, System design, VerificationAutores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopusPolynomial abstraction for verification of sequentially implemented combinational circuits
Conference ObjectAbstract: Todays integrated circuits with increasing complexity cause the well known state space explosion proPalabras claves:Autores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopus