PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Simoncini, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking.

, , , and . Comput. Syst. Sci. Eng., 16 (4): 249-261 (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.

Luca Remke University of Stuttgart

Luca Di Grazia University of Stuttgart

Philipp Luca Reiser University of Stuttgart

Dr. Simone Luca Portalupi University of Stuttgart

Gian-Luca Iglesias Lopez University of Stuttgart

 

Other publications of authors with the same name

Architectural challenges for a dependable Information Society., , , and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 282-304. Kluwer/Springer, (2004)Architectural Challenges for Ämbient Dependability".. WORDS Fall, page 245-249. IEEE Computer Society, (2003)Modeling and Analysis of the Behavior of GPRS Systems., , , , and . WORDS, page 51-58. IEEE Computer Society, (2001)A Distributed Domino-Effect free recovery Algorithm., , and . Symposium on Reliability in Distributed Software and Database Systems, page 207-215. IEEE Computer Society, (1984)Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures.. ISADS, page 409-410. IEEE Computer Society, (1999)Formally Verifying Fault Tolerant System Designs., , and . Comput. J., 43 (3): 191-205 (2000)The Effect of LSI Technology on the Theory of Modular Computer Design., and . IEEE Computer, 11 (7): 60-67 (1978)Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations., , and . SRDS, page 214-221. IEEE Computer Society, (1992)Subgraphs smaller than the girth., and . Journal of Graph Theory, 4 (1): 101-105 (1980)Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies., , , and . HASE, page 305-312. IEEE Computer Society, (2007)