Travelled to:1 × Czech Republic
1 × France
1 × Italy
1 × Turkey
Collaborated with:S.Haar D.Longuet A.Mokhov K.Athanasiou S.Schwoon N.Gavrilenko F.Furbach K.Heljanko R.M.0001
Talks about:structur (2) conform (2) concurr (2) relat (2) event (2) test (2) partial (1) generat (1) compact (1) between (1)
Person: Hernán Ponce de León
DBLP: Le=oacute=n:Hern=aacute=n_Ponce_de
Contributed to:
2015
2015
20132012
2019Wrote 5 papers:
- LATA-2015-LeonM #partial order #set
- Building Bridges Between Sets of Partial Orders (HPdL, AM), pp. 145–160.
- TAP-2015-AthanasiouLS #concurrent #generative #testing #using
- Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
- ICTSS-2013-LeonHL #concurrent #consistency #testing
- Unfolding-Based Test Selection for Concurrent Conformance (HPdL, SH, DL), pp. 98–113.
- TAP-2012-LeonHL #consistency
- Conformance Relations for Labeled Event Structures (HPdL, SH, DL), pp. 83–98.
- CAV-2019-GavrilenkoLFHM #analysis #encoding #memory management #modelling #smt
- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings (NG, HPdL, FF, KH, RM0), pp. 355–365.