Ten Research Challenge Areas in Data Science von Jeannette M. Wing

Volltext

The Data Life Cycle von Jeannette M. Wing

Volltext

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II von Wing, Jeannette M, Woodcook, Jim, Davies, Jim

Volltext

Highlights of the Inaugural Data Science Leadership Summit von Jeannette M. Wing, David Banks

Volltext

Linearizability: a correctness condition for concurrent objects von Herlihy, Maurice P., Wing, Jeannette M.

Volltext

Specification matching of software components von Zaremski, Amy Moormann, Wing, Jeannette M.

Volltext

Automated generation and analysis of attack graphs von Sheyner, O., Haines, J., Jha, S., Lippmann, R., Wing, J.M.

Volltext

Formal methods : State of the art and future directions von CLARKE, E. M, WING, J. M, HALL, A, HENZINGER, T, HOLZMANN, G, JONES, C, KURSHAN, R, LEVESON, N, MCMILLAN, K, MOORE, J, PELED, D, PNUELI, A, ALUR, R, RUSHBY, J, SHANKAR, N, SIFAKIS, J, SISTLA, P, STEFFEN, B, WOLPER, P, WING, J, WOODCOCK, J, ZAVE, P, CLARKE, E, CLEAVELAND, R, DILL, D, EMERSON, A, GARLAND, S, GERMAN, S, GUTTAG, J

Volltext

Météor: A Successful Application of B in a Large Project von Behm, Patrick, Benoit, Paul, Faivre, Alain, Meynadier, Jean-Marc

Volltext

Towards an algebra for security policies von PINCUS, Jon, WING, Jeannette M

Volltext

On-the-fly Verification of Linear Temporal Logic von Couvreur, Jean-Michel

Volltext

On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems von Tripakis, Stavros, Altisen, Karine

Volltext

Maude as a Formal Meta-tool von Clavel, M., Durán, F., Eker, S., Meseguer, J., Stehr, M. O.

Volltext

Probabilistic Polynomial-Time Equivalence and Security Analysis von Lincoln, P., Mitchell, J., Mitchell, M., Scedrovy, A.

Volltext

Respectful type converters von Wing, J.M., Ockerbloom, J.

Volltext

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems von Bozga, Marius, Fernandez, Jean-Claude, Ghirvu, Lucian, Graf, Susanne, Krimm, Jean-Pierre, Mounier, Laurent

Volltext

Formalizing and Enforcing Purpose Restrictions in Privacy Policies von Tschantz, M. C., Datta, A., Wing, J. M.

Volltext

Formal Methods for Privacy von Tschantz, Michael Carl, Wing, Jeannette M.

Volltext

On the Expressive Power of OCL von Mandel, Luis, Cengarle, María Victoria

Volltext

Towards a Theory of Trust in Networks of Humans and Computers von Gligor, Virgil, Wing, Jeannette M.

Volltext