Michael Dossis

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 42

Top Topics

Formal Verification

High Level Synthesis

Top Venues

Panhellenic Conference on Informatics

Publications

Georgios Gkagkas, Dimitrios J. Vergados, Angelos Michalas, Michael Dossis
The Advantage of the 5G Network for Enhancing the Internet of Things and the Evolution of the 6G Network. Sensors 24 (8) (2024)
Theodora Sanida, Argyrios Sideris, Maria Vasiliki Sanida, Michael Dossis, Minas Dasygenis
An Efficiency CNN Solution for Olive Disease Management Through FPGA. SEEDA-CECNSM (2023)
Ifigeneia Mylona, Dimitrios Amanatidis, Michael Dossis, Irene Kamenidou, Spyridon Mamalis
The Role of Social Media before and during a Holiday Travel: Generational and Gender Differences. SEEDA-CECNSM (2023)
Theodora Sanida, Maria Vasiliki Sanida, Argyrios Sideris, Michael Dossis, Minas Dasygenis
Efficient Categorization of Pneumonia Diagnosis Using Low-Power Embedded Devices. SEEDA-CECNSM (2023)
Argyrios Sideris, Theodora Sanida, Maria Vasiliki Sanida, Michael Dossis, Minas Dasygenis
Accelerate Processing of Image with the Keccak-512 Algorithm on Cryptoprocessor. SEEDA-CECNSM (2023)
Theodora Sanida, Argyrios Sideris, Maria Vasiliki Sanida, Michael Dossis, Minas Dasygenis
Acceleration of GANs for Potato Crop Disease Identification via FPGA. SEEDA-CECNSM (2023)
Georgia Gioltzidou, Michael Dossis, Theodoros Chrysafis, Ifigeneia Mylona, Fotini Gioltzidou, Dimitrios Amanatidis
The role of hashtags in Social Networks: The case of social mobilization in Greece. SEEDA-CECNSM (2023)
Ioannis Arvanitakis, George K. Kranas, Michael Dossis, Athanasios Kakarountas, Antonios N. Dadaliaris
Assessing Swapping Policies as a Detailed Placement Approach. SEEDA-CECNSM (2023)
Michael Dossis
Synthesis-Embedded Verification. SEEDA-CECNSM (2023)
Theodora Sanida, Argyrios Sideris, Antonios Chatzisavvas, Michael Dossis, Minas Dasygenis
Radiography Images with Transfer Learning on Embedded System. SEEDA-CECNSM (2022)
Dimitrios Amanatidis, Georgios Chatzisavvas, Michael Dossis
Brain MRI based diagnosis of autoimmune diseases using deep learning. SEEDA-CECNSM (2022)
Argyrios Sideris, Theodora Sanida, Antonios Chatzisavvas, Michael Dossis, Minas Dasygenis
High Throughput of Image Processing with Keccak Algorithm using Microprocessor on FPGA. SEEDA-CECNSM (2022)
Dimitrios Amanatidis, Ifigeneia Mylona, Michael Dossis
Social Media and Consumer Behaviour: Exploratory Factor Analysis. SEEDA-CECNSM (2022)
Ifigeneia Mylona, Dimitrios Amanatidis, Michael Dossis
Greek Parliament Members on Instagram: A study on building a political image. SEEDA-CECNSM (2022)
Dimitrios Papalekas, Athanasios Tziouvaras, George Floros, Georgios Dimitriou, Michael Dossis, Georgios I. Stamoulis
Near Data Processing Performance Improvement Prediction via Metric-Based Workload Classification. MOCAST (2022)
George K. Kranas, Antonios N. Dadaliaris, Panagiotis Oikonomou, Michael Dossis
Scavenging PyPi for VLSI Packages. SEEDA-CECNSM (2022)
Dimitrios Amanatidis, Kyriakos Kydoniefs, Michael Dossis
A gene visualising database. SEEDA-CECNSM (2022)
Dimitrios Amanatidis, Konstantina Vaitsi, Michael Dossis
Deep Neural Network Applications for Bioinformatics. SEEDA-CECNSM (2022)
Antonios N. Dadaliaris, George K. Kranas, Panagiotis Oikonomou, George Floros, Michael Dossis
Exploiting Net Connectivity in Legalization and Detailed Placement Scenarios. Inf. 13 (5) (2022)
Dimitrios Amanatidis, Michael Dossis
Behavioural synthesis of SGD using the CCC framework: a simple XOR-solving MLP. Appl. Intell. 52 (13) (2022)
Nikol Vrysouli, Dimitrios Kotsifakos, Michael Dossis, Christos Douligeris
STEAM in VET - An ArcGIS StoryMap Approach. SEEDA-CECNSM (2021)
Michael Dossis
Converging Formal Verification in a High-Level Synthesis Environment. SEEDA-CECNSM (2021)
Antonios N. Dadaliaris, George K. Kranas, Panagiotis Oikonomou, Michael Dossis
Variations on a Connectivity-based Legalizer for Standard Cell Design. SEEDA-CECNSM (2021)
George K. Kranas, Antonios N. Dadaliaris, Panagiotis Oikonomou, George Floros, Michael Dossis
Redesign, Extensibility & Evaluation of a Placement Utilities Toolset. SEEDA-CECNSM (2021)
Antonios N. Dadaliaris, Antonios Tragoudaras, George K. Kranas, Michael Dossis, Georgios Dimitriou
Juxtaposing Vivado Design Flows in Batch Mode. PCI (2021)
Alexandros Angelou, Antonios N. Dadaliaris, Michael Dossis, Georgios Dimitriou
Branchless Code Generation for Modern Processor Architectures. PCI (2021)
Georgios Dimitriou, Michael Dossis, Georgios I. Stamoulis
Global and Pointer Variables in High-Level Synthesis. SEEDA-CECNSM (2020)
Athanassios Tziouvaras, Georgios Dimitriou, Michael Dossis, Georgios I. Stamoulis
Adaptive Operation-Based ALU and FPU Clocking. MOCAST (2020)
Michael Dossis
Rapid, Formal Verification with Automated and Executable, Cycle-accurate simulators, and Generated Testbenches. PCI (2020)
Dimitrios Amanatidis, Michael Dossis
The CCC framework: Training and inference of a simple MLP for the XOR problem. SEEDA-CECNSM (2020)
George K. Kranas, Taxiarchis G. Kouskouras, Vasileios Dimitriadis, Michael Dossis, Panagiotis Oikonomou, Antonios N. Dadaliaris
A Novel Genetic Algorithm for I/O Pad Planning Retaining Former Cell Positions. SEEDA-CECNSM (2020)
Dimitrios Amanatidis, Michael Dossis
High Level Synthesis of CART. SEEDA-CECNSM (2019)
Athanassios Tziouvaras, Georgios Dimitriou, Michael Dossis, Georgios I. Stamoulis
Instruction-Based Timing Analysis in Pipelined Processors. SEEDA-CECNSM (2019)
Dimitrios Amanatidis, Michael Dossis, Ifigeneia Mylona
A Convolutional Neural Network for Sentiment Analysis of TripAdvisor reviews. SEEDA-CECNSM (2019)
Michael Dossis, Ioannis Kazanidis, Stavros Valsamidis, George Kokkonis, Sotirios Kontogiannis
Proposed open source framework for interactive IoT smart museums. PCI (2018)
Ioannis Georgiadis, Michael Dossis, Sotirios Kontogiannis
Performance evaluation on IoT devices secure data delivery processes. PCI (2018)
Georgios Dimitriou, Michael Dossis, Georgios I. Stamoulis
Operation Dependencies in Loop Pipelining for High-Level Synthesis. SEEDA-CECNSM (2018)
Michael Dossis, Georgios Dimitriou
Resolving Loop Pipelining Issues in the CCC High-level Synthesis E-CAD Framework. TSP (2018)
Georgios Dimitriou, Michael Dossis, Georgios I. Stamoulis
Loop pipelining in high-level synthesis with CCC. MOCAST (2017)
Georgios Dimitriou, Georgios Chatzianastasiou, Apostolos Tsakyridis, Georgios I. Stamoulis, Michael Dossis
Source-Level Compiler Optimizations for High-Level Synthesis. SEEDA-CECNSM (2016)
Kleovoulos Kalaitzidis, Georgios Dimitriou, Georgios I. Stamoulis, Michael Dossis
Performance and power simulation of a functional-unit-network processor with simplescalar and wattch. Panhellenic Conference on Informatics (2015)
Michael Dossis, Georgios Dimitriou
Hardware synthesis of high-level C constructs. Panhellenic Conference on Informatics (2015)
Michael Dossis
Modeling and simulation in a formal design framework. BCI (2013)
Dimitrios Amanatidis, Michael Dossis
Use of Behavioral Synthesis to Implement a Cellular Neural Network for Image Processing Applications. Panhellenic Conference on Informatics (2011)
Michael Schenke, Michael Dossis
Provably Correct Hardware Compilation using Timing Diagrams. FORTE (1999)
Michael Dossis, James M. Noras, Gary J. Porter
Synthesis of Customized Hardware from ADA. ISCAS (1994)