dblp keys for Stavros Tripakis

Stavros Tripakis

Keys

# of data records = 202

homepages/85/6852 journals/deds/MeiraGoesKLT23 journals/ml/BuzhinskyNT23 conf/atva/EgolfT23 conf/cav/MeiraGoesDKLT23 conf/sefm/EgolfT23 journals/corr/abs-2306-01025 journals/corr/abs-2306-02967 journals/corr/abs-2312-10842 journals/csysl/TripakisR22 journals/iandc/PreoteasaDT22 conf/cpp/SchultzDT22 conf/csfw/OakleyOT22 conf/csfw/HsuBKT22 conf/fmcad/SchultzDT22 conf/formats/EleftheriadisKK22 conf/nips/MelcerAT22 journals/corr/abs-2203-11629 journals/corr/abs-2205-06360 journals/corr/abs-2212-12455 journals/fmsd/PinisettyPRT21 journals/sttt/GiantamidisTB21 conf/opodis/SchultzZDT21 conf/sefm/VickKT21 conf/wdag/SchultzZT21 journals/corr/abs-2102-11960 journals/corr/abs-2108-00885 journals/corr/abs-2108-04523 journals/corr/abs-2109-11987 journals/corr/abs-2110-02125 journals/corr/abs-2110-04200 journals/sttt/DragomirPT20 conf/safecomp/GiantamidisBT20 conf/safecomp/HippelVTN20 journals/corr/abs-2003-01993 journals/corr/abs-2004-01220 journals/scp/IannopolloTS19 journals/sosym/ReinekeST19 journals/sosym/CremonaLBLMT19 conf/cav/KangLT19 conf/date/ChakrabortyA0GH19 conf/vmcai/PreoteasaDT19 journals/scp/PittouMRT18 conf/birthday/TripakisL18 conf/dars/SahinOT18 conf/date/IannopolloTS18 conf/icphys/Tripakis18 conf/models/CremonaLBLMT18 conf/tacas/DragomirPT18 reference/mc/SeshiaST18 journals/corr/abs-1808-09701 journals/deds/EhlersLTV17 journals/fmsd/PinisettyPTJFM17 journals/jss/PinisettyJTFMP17 journals/sigact/AlurT17 journals/tecs/SiirtolaTH17 journals/tecs/PinisettyRSATH17 conf/forte/PreoteasaDT17 conf/spin/PinisettyRSTH17 journals/corr/KangLT17 journals/corr/abs-1710-03979 journals/corr/abs-1710-08195 journals/fomac/Tripakis16 journals/pieee/Tripakis16 journals/vlsisp/TripakisLRWAG16 conf/facs2/PittouT16 conf/facs2/IannopolloTS16 conf/fm/GiantamidisT16 conf/lics/PreoteasaT16 conf/memocode/CremonaLBNLT16 conf/nfm/PinisettyT16 conf/sac/PinisettyPTJFM16 conf/sac/CremonaLTBL16 conf/samos/PittouT16 conf/spin/DragomirPT16 journals/corr/GiantamidisT16 journals/corr/PreoteasaDT16 journals/corr/PinisettyRSTH16 journals/corr/PreoteasaDT16a conf/acsd/SiirtolaTH15 conf/cav/AlurRSTU15 conf/hybrid/BromanGLMTW15 conf/iecon/VyatkinPT15 conf/samos/Tripakis15 conf/samos/YangTS15 journals/corr/AlurRSTU15 journals/corr/DragomirPT15 journals/corr/PreoteasaT15 journals/corr/CaulfieldRST15 journals/jsa/NataleZST14 conf/date/IannopolloNTS14 conf/emsoft/PreoteasaT14 conf/etaps/TripakisS14 conf/hvc/AlurMRSTU14 conf/iot/JhaTSC14 conf/memocode/NuzzoITS14 conf/samos/TripakisLRW14 conf/tacas/ReinekeT14 conf/wodes/EhlersLTV14 journals/corr/AlurMRSTU14 journals/corr/PreoteasaT14 journals/mscs/TripakisSSL13 journals/tecs/TripakisBGRL13 conf/emsoft/BromanBGLMTW13 conf/emsoft/PerssonTQWBTVD13 conf/formats/StergiouTML13 conf/iccps/DerlerLTT13 conf/spin/TripakisSBL13 books/wi/13/CassezT13 journals/scp/BaeOFLT12 conf/dac/GhosalLRTPWTA12 conf/emsoft/BenvenisteLPTM12 conf/models/BromanLTT12 journals/toplas/TripakisLHL11 conf/codes/TripakisAGLRWYKW11 conf/hybrid/GeilenTW11 conf/formats/2011 conf/codes/BrooksLT10 conf/eoolt/LeeT10 conf/iccps/TripakisBRL10 conf/emsoft/2010 journals/corr/abs-1004-2810 journals/fmsd/KrichenT09 journals/tocl/Tripakis09 conf/emsoft/TripakisLHL09 conf/hybrid/CaspiBLT09 conf/icfem/BaeOFT09 conf/models/LeungMLLSTL09 conf/popl/LublinermanST09 conf/rv/Tripakis09 journals/fuin/CassezT08 journals/tc/TripakisPBSCN08 journals/tcs/BensalemPQT08 journals/tecs/CaspiSST08 conf/date/LublinermanT08 conf/estimedia/LublinermanT08 conf/rtas/LublinermanT08 conf/spin/AbedTV08 conf/acsd/CassezTA07 conf/emsoft/BenvenisteCNPST07 conf/hvc/BensalemPQTZ07 conf/isola/BensalemKMRT07 conf/tase/CassezTA07 reference/crc/CaspiTR07 conf/dagstuhl/Tripakis07 journals/ipl/Tripakis06 conf/acsd/AltisenCT06 conf/emsoft/SofronisTC06 conf/emsoft/BenvenisteCCCST06 conf/fates/KrichenT06 conf/ictac/KrichenT06 conf/monterey/GrosuHSTT06 conf/time/CondottaLST06 journals/fmsd/TripakisYB05 journals/tecs/TripakisSCC05 conf/acsd/Tripakis05 conf/cdc/Tripakis05 conf/emsoft/TripakisSSC05 conf/formats/AltisenT05 conf/ictai/CondottaLT05 conf/ifm/BensalemPQT05 conf/pts/KrichenT05 conf/pts/KrichenT05a journals/ipl/Tripakis04 journals/tac/Tripakis04 conf/emsoft/ScaifeSCTM04 conf/formats/KrichenT04 conf/isola/BensalemPQT04 conf/spin/KrichenT04 journals/entcs/BensalemBKT05 journals/pieee/SifakisTY03 conf/emsoft/CaspiCMST03 conf/formats/Tripakis03 conf/lctrts/CaspiCMSTN03 conf/tacas/Tripakis03 conf/cdc/SenguptaT02 conf/emsoft/Tripakis02 conf/emsoft/BenvenisteCGMTT02 conf/ftrtft/Tripakis02 conf/swat/PuriT02 journals/entcs/Tripakis02 journals/fmsd/TripakisY01 conf/cdc/ZennaroKST01 conf/cdc/Tripakis01 conf/hybrid/Sangiovanni-VincentelliHKMMPPSST01 journals/entcs/TripakisY01 conf/hybrid/BotchkarevT00 conf/arts/Tripakis99 conf/charme/BozgaMT99 conf/fm/TripakisA99 conf/rtss/AltisenGPSTY99 conf/tacas/Tripakis99 phd/hal/Tripakis98 conf/cav/BozgaDMOTY98 conf/ftrtft/BozgaDMOTY98 conf/rtas/TripakisY98 conf/tacas/DawsT98 conf/compos/BornotST97 conf/rtss/BouajjaniTY97 conf/cav/TripakisY96 conf/tacas/TripakisC96 conf/hybrid/DawsOTY95

a service of  Schloss Dagstuhl - Leibniz Center for Informatics