PSL Model Checking and Run-Time Verification Via Testers von Pnueli, A., Zaks, A.

Volltext

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings von Maler, Oded, Pnueli, Amir

Volltext

What is in a step: On the semantics of statecharts von Pnueli, A., Shalev, M.

Volltext

Effective synthesis of switching controllers for linear systems von Asarin, E., Bournez, O., Dang, T., Maler, O., Pnueli, A.

Volltext

Translation validation von Pnueli, A., Siegel, M., Singerman, E.

Volltext

Synthesis of reactive(1) designs von PITERMAN, Nir, PNUELI, Amir, SA'AR, Yaniv

Volltext

Observability of Linear Hybrid Systems von Vidal, René, Chiuso, Alessandro, Soatto, Stefano, Sastry, Shankar

Volltext

Symbolic model checking with rich assertional languages von Kesten, Y., Maler, O., Marcus, M., Pnueli, A., Shahar, E.

Volltext

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures von Roever, Willem-Paul de, Langmaack, Hans, Pnueli, Amir

Volltext

Timed and Hybrid Statecharts and their textual representation von Kesten, Y., Pnueli, A.

Volltext

The declarative past and imperative future: Executable temporal logic for interactive systems von Gabbay, Dov

Volltext

Efficient Representation and Computation of Reachable Sets for Hybrid Systems von Stursberg, Olaf, Krogh, Bruce H.

Volltext

From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research von Sabelfeld, Andrei, Russo, Alejandro

Volltext

Hybrid Modelling and Control of Power Electronics von Senesky, Matthew, Eirea, Gabriel, Koo, T. John

Volltext

A Sound and Complete Deductive System for ctl Verification von Gabbay, Dov M., Pnueli, Amir

Volltext

Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings von Banieqbal, B, Barringer, H, Pnueli, A

Volltext

STATEMATE: a working environment for the development of complex reactive systems von Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot, M.

Volltext

Symbolic model checking with rich assertional languages von KESTEN, Y, MALER, O, MARCUS, M, PNUELI, A, SHAHAR, E

Volltext

Reachability Analysis of Nonlinear Systems Using Conservative Approximation von Asarin, Eugene, Dang, Thao, Girard, Antoine

Volltext

Results and Perspectives on Computational Methods for Optimal Control of Switched Systems von Xu, Xuping, Antsaklis, Panos J.

Volltext