Heber Herencia-Zapana

	2012
5		Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Perez, Pablo Ascariz: PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods 2012: 147-161
	2011
4		Heber Herencia-Zapana, George Hagen, Anthony Narkawicz: Formalizing Probabilistic Safety Claims. NASA Formal Methods 2011: 162-176
3		Saikou Y. Diallo, Heber Herencia-Zapana, Jose J. Padilla, Andreas Tolk: Understanding interoperability. SpringSim (EAIA) 2011: 84-91
	2009
2		W. Steven Gray, Heber Herencia-Zapana, Luis Augusto Duffaut Espinosa, Oscar R. González: Bilinear system interconnections and generating series of weighted Petri nets. Systems & Control Letters 58(12): 841-848 (2009)
	2008
1		W. Steven Gray, Heber Herencia-Zapana, Luis Augusto Duffaut Espinosa, Oscar R. González: On cascades of bilinear systems and generating series of weighted Petri nets. CDC 2008: 4115-4120

Coauthor Index

1	Pablo Ascariz	[5]
2	Saikou Y. Diallo	[3]
3	Luis Augusto Duffaut Espinosa	[1] [2]
4	Eric Feron	[5]
5	Pierre-Loïc Garoche	[5]
6	Oscar R. González	[1] [2]
7	W. Steven Gray	[1] [2]
8	George Hagen	[4]
9	Romain Jobredeaux	[5]
10	Anthony Narkawicz	[4]
11	Sam Owre	[5]
12	Jose J. Padilla	[3]
13	Gilberto Perez	[5]
14	Andreas Tolk	[3]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page