6th Conference on the Engineering of Computer Based Systems

UPB Central Library, 4th floor

Preliminary Agenda

2nd September 2019

3rd September 2019

08:00 - 9:00

Registration, 4th Floor Hall

08:30 - 9:00

Registration, 4th Floor Hall

09:00 - 9:30

Welcome message

UPB Officials

Dr. Adrian Volceanov – Dean of Faculty of Engineering in Foreign Languages, UPB

09:00 -10:30

Security, privacy and trust in networking (chair: OndrějRyšavý)

Jan Pluskal, Martin Vondráček and OndrejRysavy

Network Forensics in GSE Overlay Networks (full paper)

Martin Holkovič, OndřejRyšavý and Jindřich Dudek. 

Automating Network Security Analysis at Packet-level by using Rule-based Engine(full paper)

ViliamLetavay, Jan Pluskal and OndrějRyšavý. 

Network Forensic Analysis for Lawful Enforcement on Steroids, Distributed and Scalable (full paper)

9.30-10.30

Keynote - Cristina Seceleanu, Mälardalen University, Sweden(chair:Miroslav Popovic)

Verifying Autonomous Systems as a Lifetime Sport

10.30-11.00

Official Photo - Library Hall, Ground floor

Refreshment Break- 4th Floor Hall

10.30-11.00

Refreshment Break- 4th Floor Hall

11.00-12.00

Keynote - Miroslaw Staron, University of Gothenburg, Sweden (chair: Maria-Iuliana Dascalu)

AI4SE: Challenges and opportunities of using machine learning and AI to improve software engineering practices

11.00-12.00

Parallel and Distributed Systems 2 (chair: Moshe Goldstein)

Mihai Carabas and Costin Carabas

Instruction caching for bhyve (full paper)

Branislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay and David Dayan

A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory (full paper)

12.00-13.00

Parallel and Distributed Systems 1 (chair: Miroslav Popovic)

Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab and Elena Troubitsyna

Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments (full paper)

Miroslav Popovic, Marko Popovic, Silvia Ghilezan and Branislav Kordic

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model (full paper)

12.00-13.00

Industrial Speakers and Sponsors

(chair: Mihai Maricaru) – open session

Cognizant Softvision

Druid - Close the gap between human and system. Enhancing enterprise systems with cognitive and conversational skills

ADP Software

13.00-14.30

Lunch break

13.00-14.30

Lunch break

14.30-16.00

Visit to Campus Research Center from UPB (optional)

14.30-16.00

Data Analytics

(chair: Iosif Nemoianu)

Octavian Catrina

Optimization and Tradeoffs in Secure Floating-Point Computation: Products, Powers, and Polynomials (full paper)

Kamil Jeřábek and OndřejRyšavý

Big Data Network Flow Processing Using Apache Spark (full paper)

Veronica Manescu Paltanea, Gheorghe Paltanea, Iosif-Vasile Nemoianu and Radu Mircea Ciuceanu

Scalar Preisach Hysteresis Model Algorithm (short paper)

14.30-15.30

Software modelling and design (chair: Constanta-Nicoleta Bodea, George Dragoi)

Andrei Vasilateanu, Alexandra Bolovan and Maria Fatu

Multi-agent System Simulation for Smart Homes based on the i-Light framework (short paper)

Iulia Stanica, Florica Moldoveanu, Maria Dascalu, Alin Moldoveanu, Paul Portelli and Constanta Bodea

VR System for Neurorehabilitation: Where Technology Meets Medicine for Empowering Patients and Therapists in the Rehabilitation Process (short paper)

Iuliana Marin and Nicolae Goga

Hypertension Detection based on Machine Learning (short paper)

Mihail Cazacu, Constanța Bodea and Maria-Iuliana Dascălu

Connecting the Dots - Promising directions for developing a robotic cybersecurity analyst (short paper)

14.30-16.00

Computer-based Algorithms and Systems for Efficiency and Optimization in RF Spectrum Detection and Estimation - special session (chairs and organisers: Simona Viorica Halunga, Octavian Fratu)

Alexandru Boitan, Razvan Bărtusică and Simona Halunga

Electromagnetic Vulnerabilities of LCD Projectors (full paper)

Ioana Manuela Marcu, Andrei Țigănuș and Ana Maria Dragulinescu

A new approach on Smart-Parking concept (full paper)

Eugen Stancu, Cristian Capotă, Simona Halunga and Octavian Fratu

Mutual Electromagnetic Perturbations-RF Measurements in the VHF and UHF Frequencies in Bucharest (short paper)

Alexandru Badea, Simona Viorica Halunga and George Luca 

Energy optimization for the low data rate IoT devices by using Manchester's coded pseudo-random sequences (short paper)

15.30-16.00

Refreshment Break

16.00-17.15

Internet of Things Applications (chair:Miroslaw Staron)

George Suciu, Mihaela Balanescu, Carmen Nadrag, Andrei Birdici, Cristina Mihaela Balaceanu, Marius Alexandru Dobrea, Adrian Pasat and Radu Ioan Ciobanu

 IoT System for Air Pollutants Assessment in Underground Infrastructure (full paper)

Petr Matousek, Ondrej Rysavy and Matej Gregr

Security Monitoring of IoT Communication Using Flows (full paper)

Branimir Pervan, Emanuel Guberovic and Filip Turcinovic

Hazelnut - An Energy Efficient Base IoT Module for Wide Variety of Sensing Applications (short paper)

16.00-17.15

Refreshment Break- 4th Floor Hall

Poster session

(chair: Branislav Kordic)

Mihnea Alexandru Moisescu, Ioan Stefan Sacala, Ioan Dumitrache, Simona Iuliana Caramihai, Bogdan Barbulescu and Marius Danciuc

Cyber-Physical Systems Oriented Redundant Network Node

Cristina Balaceanu, Ioana Marcu, George Suciu, Carina Dantas and Peter Mayer

Smart Toilet System for Ageing Well

Muhammad Shah Jahan, Muhammad Talha Riaz, Kashif, Muhammad Abbas

Software Testing Practices in IT Industry of Pakistan

Anam Amjad, Usman Qamar

UAMSA: Unified Approach for Multilingual Sentiment Analysis Using GATE

17.15-18.00

SC & PC Meeting

17.15-17.30

Closing Session and Final Remarks

18.00-22.00

Bucharest Old Center Walking Tour & Dinner

Local sponsors

  • UPB
  • FILS
  • DILS
  • AIERR
  • Alsys Travel
  • cognizant soft vision
  • druid ai
  • adp
  • asaff

In cooperation with:

A special registration fee discount for SIGAPP or ACM members will be offered.

  • ACM
  • ACM SIGAPP
  • ACM SIGAPP
  • ICPS