PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Núñez, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems.

, and . FORTE, volume 197 of IFIP Conference Proceedings, page 169-184. Kluwer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manuel Mauch University of Stuttgart

Dr. Manuel Keßler University of Stuttgart

Manuel Ilg University of Stuttgart

Dr. -Ing. Manuel Hirsch University of Stuttgart

Dr. rer. nat. Manuel Häßner University of Stuttgart

 

Other publications of authors with the same name

Formal Passive Testing of Service-Oriented Systems., , and . IEEE SCC, page 610-613. IEEE Computer Society, (2010)Simulation Relations for Systems with Distributed Interfaces., and . SEFM, page 41-50. IEEE Computer Society, (2009)Generation of optimal finite test suites for timed systems., , and . TASE, page 149-158. IEEE Computer Society, (2007)Specification-Based Testing of Real-Time Embedded Systems., and . IESS, volume 184 of IFIP, page 115-124. Springer, (2005)Analysis of the OLSR Protocol by Using Formal Passive Testing., , , , and . APSEC, page 152-159. IEEE Computer Society, (2009)Bounded Reordering in the Distributed Test Architecture., , and . IEEE Trans. Reliability, 67 (2): 522-537 (2018)Using Squeeziness to test component-based systems defined as Finite State Machines., , and . Information & Software Technology, (2019)Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems., , and . SEKE, page 426-431. Knowledge Systems Institute Graduate School, (2009)A Logic for Assessing Sets of Heterogeneous Testing Hypotheses., , and . TestCom, volume 3964 of Lecture Notes in Computer Science, page 39-54. Springer, (2006)Using formal methods to develop a complex information system: a practical/theoretical experience., , and . SAC, page 848-849. ACM, (2008)