Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Michael F. Dossis

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ single authored publications

> Home > Persons > Michael F. Dossis

Publications

2021
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/seeda/Dossis21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seeda/Dossis21
Michael F. Dossis:
Converging Formal Verification in a High-Level Synthesis Environment. SEEDA-CECNSM 2021: 1-5
2020
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/pci/Dossis20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pci/Dossis20
Michael F. Dossis:
Rapid, Formal Verification with Automated and Executable, Cycle-accurate simulators, and Generated Testbenches. PCI 2020: 144-147
2014
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pci/Dossis14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pci/Dossis14
Michael F. Dossis:
A Floating-Point Paradigm for High-level Synthesis. Panhellenic Conference on Informatics 2014: 22:1-22:6
2013
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/bci/Dossis13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bci/Dossis13
Michael F. Dossis:
Modeling and simulation in a formal design framework. BCI 2013: 31-38
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/sci/Dossis13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/sci/Dossis13
Michael F. Dossis:
Formal Methods in High-Level and System Synthesis. Semantic Hyper/Multimedia Adaptation 2013: 23-81
2012
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/advse/Dossis12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/advse/Dossis12
Michael F. Dossis:
Formal ESL Synthesis for Control-Intensive Applications. Adv. Softw. Eng. 2012: 156907:1-156907:30 (2012)
2010
[j3]
- view
  - electronic edition @ humanpub.org (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/ijiip/Dossis10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijiip/Dossis10
Michael F. Dossis:
Automated Extraction of Hardware Accelerators Via an Intelligent Knowledge-based System. Int. J. Intell. Inf. Process. 1(2): 14-31 (2010)
[j2]
- view
  - electronic edition @ humanpub.org (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/jnit/Dossis10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jnit/Dossis10
Michael F. Dossis:
Provably-Correct, Behavioural High-Level Synthesis of Program Accelerators via the Web. J. Next Gener. Inf. Technol. 1(1): 47-60 (2010)
[j1]
- view
  - electronic edition @ humanpub.org (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/jnit/Dossis10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jnit/Dossis10a
Michael F. Dossis:
Intermediate Predicate Format for Design Automation Tools. J. Next Gener. Inf. Technol. 1(1): 100-117 (2010)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/Dossis10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/Dossis10
Michael F. Dossis:
Synthesis of provably-correct hardware with options. ICECS 2010: 631-634
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/Dossis10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/Dossis10
Michael F. Dossis:
Automatic Generation of Massively Parallel Hardware from Control-Intensive Sequential Programs. ISVLSI 2010: 98-103
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/smap/Dossis10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smap/Dossis10
Michael F. Dossis:
Using an XML schema to validate a formal hardware compiler. SMAP 2010: 90-97

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.