See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Dmitri Mironov

https://etis.ee/CV/Dmitri_Mironov/est
27.03.1986
+37253797231
mironov@smail.ee

Teenistuskäik

Töökohad ja ametid
01.01.2010–...   
Stoneridge Electronics AS, arendusinsener
2009–31.12.2010   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool , doktorant (1,00)
01.01.2008–31.12.2010   
Univoice OÜ, tehnikajuht
01.01.2007–31.12.2008   
Ixonos Estonia OÜ, tarkvara testimise insener
 
 
Haridustee
2009–...   
Tallinna Tehnikaülikool (doktorikraad), arvuti- ja süsteemitehnika
2007–2009   
Tallinna Tehnikaülikool (magistrikraad), arvuti- ja süsteemitehnika
2004–2007   
Tallinna Tehnikaülikool (bakalaureusekraad), arvuti- ja süsteemitehnika
1992–2004   
Tallinna Humanitaargümnaasium

Kvalifikatsioon

Teaduskraadid
Dmitri Mironov, magistrikraad, 2009, (juh) Raimund Ubar, Modeling Digital Circuits with Structurally Synthesized Multiple-root Binary Decision Diagrams (Digitaalskeemide Modelleerimine Struktuurselt Sünteesitud Mitme Juurtipuga Binaarotsustusdiagrammide Abil), Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut.
Dmitri Mironov, doktorant, (juh) Raimund Ubar, Diagnostic modeling of digital circuits with BDDs (Digitaalskeemide diagnostiline modelleerimine binaarsete otsustusdiagrammidega), Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut.

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2011
Ubar, Raimund; Mironov, Dmitri; Devadze, Sergei; Raik, Jaan; Jutman, Artur (2011). Digital Logic Simulation with Compressed BDDs. Proceedings of 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE), 3: 2011 IEEE International Conference on Computer Science and Automation Engineering, Shanghai, China, 10 - 12 Jun, 2011. IEEE Computer Society, 105−109.
3.1.
2010
Mironov, D.; Ubar, R.; Devadze, S.; Raik, J.; Jutman, A. (2010). Structurally Synthesized Multiple Input BDDs for Speeding up Logic-Level Simulation of Digital Circuits. Proc. of the 13th Euromicro Conference on Digital System Design – DSD’2010: 13th Euromicro Conference on Digital System Design – DSD’2010. Lille, France, Sept.1-3, 2010. IEEE, 658−663. DOI: 10.1109/DSD.2010.27.
3.1.
2010
Ubar, Raimund; Mironov, Dmitri; Raik, Jaan; Jutman, Artur (2010). Fault Collapsing with Linear Complexity in Digital Circuits. In: Proceedings of 2010 IEEE International Symposium on Circuits and Systems (ISCAS) : Paris May 30 2010-June 2 2010 (653−656). . IEEE. DOI: 10.1109/ISCAS.2010.5537504.
3.1.
2010
Ubar, Raimund; Mironov, Dmitri; Raik, Jaan; Jutman, Artur. (2010). Structural Fault Collapsing by Superposition of BDDs for Test Generation in Digital Circuits. In: Proceedings of the Eleventh International Symposium on Quality Electronic Design ISQED 2010 : March 22-24, 2010 San Jose, California USA (250−257). . Los Alamitos, California: IEEE Computer Society Press. DOI: 10.1109/ISQED.2010.5450451.
3.1.
2009
Ubar, R.; Mironov, D.; Raik, J.; Jutman, A. (2009). Structurally Synthesized Multiple Input BDDs for Simulation of Digital Circuits. Structurally Synthesized Multiple Input BDDs for Simulation of Digital Circuits: IEEE Int. Conf. on Electronics, Circcuits and Systems. Hammamet, Tunisia, Dec. 13-16, 2009. IEEE, 451−454. DOI: 10.1109/ICECS.2009.5410895.
3.2.
2009
Ubar, R.; Raik, J.; Mironov, D.; Evartson, T.; Orasson, E.; Wuttke, H.-D.; Aarna, M. (2009). Teaching Diagnostic Modeling of Digital Systems with Decision Diagrams. Proc. of 12th IASTED Int. Conf. on Computers and Advanced Technology in Education – CATE 2009: 12th IASTED Int. Conf. on Computers and Advanced Technology in Education – CATE 2009, St. Thomas US, Nov. 22-24, 2009. ACTA Press, 1−6.
18.04.2019

Dmitri Mironov

https://etis.ee/CV/Dmitri_Mironov/eng
27.03.1986
+37253797231
mironov@smail.ee

Career

Institutions and positions
01.01.2010–...   
Stoneridge Electronics AS, development engineer
2009–31.12.2010   
Tallinn University of Technology , School of Information Technologies, Department of Computer Engineering , Chair of Computer Systems Test and Verification, PhD student (1,00)
01.01.2008–31.12.2010   
Univoice OÜ, technical manager
01.01.2007–31.12.2008   
Ixonos Estonia OÜ, software testing engineer
 
 
Education
2009–...   
Tallinn University of Technology (PhD), computer engineering
2007–2009   
Tallinn University of Technology (MSc), computer engineering
2004–2007   
Tallinn University of Technology (BSc), computer engineering
1992–2004   
Tallinn High School of Humanities

Qualifications

Academic degrees
Dmitri Mironov, Master's Degree, 2009, (sup) Raimund Ubar, Modeling Digital Circuits with Structurally Synthesized Multiple-root Binary Decision Diagrams, Tallinn University of Technology School of Information Technologies, Department of Computer Engineering.
Dmitri Mironov, Phd student, (sup) Raimund Ubar, Diagnostic modeling of digital circuits with BDDs, Tallinn University of Technology School of Information Technologies, Department of Computer Engineering.

Publications

Category
Year
Publication
 
3.1.
2011
Ubar, Raimund; Mironov, Dmitri; Devadze, Sergei; Raik, Jaan; Jutman, Artur (2011). Digital Logic Simulation with Compressed BDDs. Proceedings of 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE), 3: 2011 IEEE International Conference on Computer Science and Automation Engineering, Shanghai, China, 10 - 12 Jun, 2011. IEEE Computer Society, 105−109.
3.1.
2010
Mironov, D.; Ubar, R.; Devadze, S.; Raik, J.; Jutman, A. (2010). Structurally Synthesized Multiple Input BDDs for Speeding up Logic-Level Simulation of Digital Circuits. Proc. of the 13th Euromicro Conference on Digital System Design – DSD’2010: 13th Euromicro Conference on Digital System Design – DSD’2010. Lille, France, Sept.1-3, 2010. IEEE, 658−663. DOI: 10.1109/DSD.2010.27.
3.1.
2010
Ubar, Raimund; Mironov, Dmitri; Raik, Jaan; Jutman, Artur (2010). Fault Collapsing with Linear Complexity in Digital Circuits. In: Proceedings of 2010 IEEE International Symposium on Circuits and Systems (ISCAS) : Paris May 30 2010-June 2 2010 (653−656). . IEEE. DOI: 10.1109/ISCAS.2010.5537504.
3.1.
2010
Ubar, Raimund; Mironov, Dmitri; Raik, Jaan; Jutman, Artur. (2010). Structural Fault Collapsing by Superposition of BDDs for Test Generation in Digital Circuits. In: Proceedings of the Eleventh International Symposium on Quality Electronic Design ISQED 2010 : March 22-24, 2010 San Jose, California USA (250−257). . Los Alamitos, California: IEEE Computer Society Press. DOI: 10.1109/ISQED.2010.5450451.
3.1.
2009
Ubar, R.; Mironov, D.; Raik, J.; Jutman, A. (2009). Structurally Synthesized Multiple Input BDDs for Simulation of Digital Circuits. Structurally Synthesized Multiple Input BDDs for Simulation of Digital Circuits: IEEE Int. Conf. on Electronics, Circcuits and Systems. Hammamet, Tunisia, Dec. 13-16, 2009. IEEE, 451−454. DOI: 10.1109/ICECS.2009.5410895.
3.2.
2009
Ubar, R.; Raik, J.; Mironov, D.; Evartson, T.; Orasson, E.; Wuttke, H.-D.; Aarna, M. (2009). Teaching Diagnostic Modeling of Digital Systems with Decision Diagrams. Proc. of 12th IASTED Int. Conf. on Computers and Advanced Technology in Education – CATE 2009: 12th IASTED Int. Conf. on Computers and Advanced Technology in Education – CATE 2009, St. Thomas US, Nov. 22-24, 2009. ACTA Press, 1−6.
18.04.2019

Otsi projekti

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
Kõik   Tavaprojektid   Ülemprojektid   Alamprojektid  
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
Lihtotsing Tühjenda
  • Leitud 3 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
ETFETF7483Isediagnoosivad digitaalsüsteemid01.01.200831.12.2011Raimund UbarTallinna Tehnikaülikool, Infotehnoloogia teaduskond55 414,27 EUR
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS2 121 014,65 EUR
SFSF0140041s08Töökindlate sardsüsteemide disain01.01.200831.12.2013Raimund UbarTallinna Tehnikaülikool, Infotehnoloogia teaduskond1 504 530,37 EUR