Simon Pickin
发表
Peter T. Breuer,
Simon Pickin,
2006,
Ada-Europe.
Simon Pickin,
Alejandro Alonso,
Juan Antonio de la Puente,
1999
.
Simon Pickin,
Angeles Manjarrés Riesco,
S. Pickin,
2002,
Expert Syst. J. Knowl. Eng..
Simon Pickin,
Angeles Manjarrés Riesco,
Francisco Javier Díez,
2003,
KES.
Jean-Marc Jézéquel,
Simon Pickin,
2004,
IFM.
Peter T. Breuer,
Simon Pickin,
S. Pickin,
2019,
FM Workshops.
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects
Peter T. Breuer,
Simon Pickin,
2007,
31st IEEE Software Engineering Workshop (SEW 2007).
Simon Pickin,
Juan C. Yelmo,
Carlos Sánchez,
1997
.
Peter T. Breuer,
Simon Pickin,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Simon Pickin,
Pierre Combes,
1994,
FIW.
Peter T. Breuer,
Simon Pickin,
2019
.
Simon Pickin,
Juan C. Yelmo,
Carlos Sánchez,
1996
.
Peter T. Breuer,
Simon Pickin,
S. Pickin,
2013,
SEFM Workshops.
Carlos Delgado Kloos,
Simon Pickin,
Angel M. Groba,
1999
.
Clémentine Nebut,
Jean-Marc Jézéquel,
Yves Le Traon,
2003,
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Peter T. Breuer,
Simon Pickin,
S. Pickin,
2010,
Innovations in Systems and Software Engineering.
Simon Pickin,
Alejandro Alonso,
Angel M. Groba,
2001
.
Simon Pickin,
Pierre Combes,
B. Renard,
1994,
Workshop on Intelligent Network.
Jean-Marc Jézéquel,
Yves Le Traon,
Simon Pickin,
2007,
IEEE Trans. Software Eng..
Peter T. Breuer,
Simon Pickin,
María M. Larrondo-Petrie,
2006,
2006 30th Annual IEEE/NASA Software Engineering Workshop.
Jean-Marc Jézéquel,
Simon Pickin,
Philippe Desfray,
2001,
pUML.
Simon Pickin,
Angeles Manjarrés Riesco,
Héctor Alonso Meana,
2018
.
Peter T. Breuer,
Simon Pickin,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Jean-Marc Jézéquel,
Simon Pickin,
Didier Vojtisek,
2002
.
Peter T. Breuer,
Simon Pickin,
Jonathan P. Bowen,
2015,
SoMeT.
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects
Simon Pickin,
P. T. Brcucr,
2007
.
Simon Pickin,
Angeles Manjarres Riesco,
Miguel A. Artaso,
2014,
2014 World Symposium on Computer Applications & Research (WSCAR).
Simon Pickin,
Yan Yang,
Wiet Bouma,
1993,
FME.
Peter T. Breuer,
Simon Pickin,
2019,
IACR Cryptol. ePrint Arch..
Simon Pickin,
Angeles Manjarrés Riesco,
S. Pickin,
2000,
UML.
Jean-Marc Jézéquel,
Simon Pickin,
Gerson Sunyé,
2002,
SEKE '02.
Simon Pickin,
Angeles Manjarrés Riesco,
José Mira Mira,
2002,
Expert Syst. Appl..
Simon Pickin,
Angeles Manjarrés Riesco,
David Alfonso,
2019,
Int. J. Comput. Intell. Syst..
Simon Pickin,
Gerson Sunyé,
Damien Pollet,
2003
.
Jean-Marc Jézéquel,
Yves Le Traon,
Simon Pickin,
2007,
IEEE Transactions on Software Engineering.
Carlos Delgado Kloos,
Simon Pickin,
Luis Sánchez,
1999
.
Jean-Marc Jézéquel,
Yves Le Traon,
Simon Pickin,
2002
.
Peter T. Breuer,
Simon Pickin,
2006,
International Conference on Computational Science.
Peter T. Breuer,
Simon Pickin,
S. Pickin,
2008,
Innovations in Systems and Software Engineering.
Peter T. Breuer,
Simon Pickin,
S. Pickin,
2014,
Sci. Comput. Program..
Peter T. Breuer,
Simon Pickin,
S. Pickin,
2006,
Innovations in Systems and Software Engineering.
Alexander K. Petrenko,
Bernhard K. Aichernig,
Tomasz Janowski,
2008
.