SIMÓN JAMES
PICKIN
Profesor contratado doctor
Universidad Carlos III de Madrid
Madrid, EspañaPublicaciones en colaboración con investigadores/as de Universidad Carlos III de Madrid (12)
2010
-
A formal nethod (a networked formal method)
Innovations in Systems and Software Engineering, Vol. 6, Núm. 4, pp. 255-268
-
Open source verification under a cloud
Electronic Communications of the EASST
2008
-
Approximate verification in an open source world
Innovations in Systems and Software Engineering
2007
-
Test synthesis from UML models of distributed software
IEEE Transactions on Software Engineering, Vol. 33, Núm. 4, pp. 252-269
-
Verification in the light and large: Large-scale verification for fast-moving open source C projects
Proceedings - International Conference on Software Engineering
2006
-
Checking for deadlock, double-free and other abuses in the Linux kernel source code
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Detecting deadlock, double-free and other abuses in a million lines of Linux kernel source
Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30
-
Detecting deadlock, double-free and other abuses in a million lines of linux kernel source
30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS
-
One million (LOC) and counting: Static analysis for errors and vulnerabilities in the Linux kernel source code
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Symbolic approximation: An approach to verification in the large
Innovations in Systems and Software Engineering, Vol. 2, Núm. 3-4, pp. 147-163
-
Verification in the large via symbolic approximation
Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
2004
-
Using UML Sequence diagrams as the basis for a formal test description language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2999, pp. 481-500