Travelled to:1 × France
2 × USA
Collaborated with:J.Mariño L.Fredlund R.J.Rodríguez G.Marpons-Ucero J.Mariño-Carballo M.Carro J.J.Moreno-Navarro
Talks about:program (2) logic (2) synthesi (1) conform (1) automat (1) specif (1) orient (1) object (1) machin (1) formal (1)
Person: Ángel Herranz-Nieva
DBLP: Herranz-Nieva:=Aacute=ngel
Contributed to:
2014
2011
2008Wrote 3 papers:
- SEFM-2014-RodriguezFHM #erlang #execution #state machine #uml #verification
- Execution and Verification of UML State Machines with Erlang (RJR, LÅF, ÁHN, JM), pp. 284–289.
- ICLP-2011-Herranz-NievaM #logic programming #object-oriented #source code #specification #synthesis
- Synthesis of Logic Programs from Object-Oriented Formal Specifications (ÁHN, JM), pp. 95–105.
- PADL-2008-Marpons-UceroMCHMF #automation #consistency #logic programming #using
- Automatic Coding Rule Conformance Checking Using Logic Programming (GMU, JMC, MC, ÁHN, JJMN, LÅF), pp. 18–34.