BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Le=oacute=n:Hern=aacute=n_Ponce_de

Contributed to:

LATA 20152015
TAP 20152015
ICTSS 20132013
TAP 20122012
CAV (1) 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.