sign in · help · news · about ·

BibSonomy :: author :: Mandrioli ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(81)

<< < 1 | 2 | 3 > >>

Refinement and Verification of Real-Time Systems
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, and Dino Mandrioli CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Precedence Automata and Languages
Violetta Lonati, Dino Mandrioli, and Matteo Pradella CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, and Matteo Rossi CoRR (2008)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Algebraic properties of structured context-free languages: old approaches and novel developments
Stefano Crespi-Reghizzi, and Dino Mandrioli CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Some Consideration on Real-Time Bahavior of Concurrent Programs.
Alfonso Fuggetta, Carlo Ghezzi, and Dino Mandrioli IEEE Trans. Software Eng. 15(3):356-359 (1989)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
A Unified High-Level Petri Net Formalism for Time-Critical Systems.
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, and Mauro Pezzè IEEE Trans. Software Eng. 17(2):160-172 (1991)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Separate Compilation and Partial Specification in Pascal.
Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi, and Dino Mandrioli IEEE Trans. Software Eng. 6(4):320-328 (1980)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.
Miguel Felder, Dino Mandrioli, and Angelo Morzenti IEEE Trans. Software Eng. 20(2):127-141 (1994)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
A Formal Framework for ASTRAL Intralevel Proof Obligations.
Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli IEEE Trans. Software Eng. 20(8):548-561 (1994)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Software Specialization Via Symbolic Execution.
Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, and Dino Mandrioli IEEE Trans. Software Eng. 17(9):884-899 (1991)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Measurement of the neutrino velocity with the OPERA detector in the CNGS beam
The OPERA Collaboraton: T. Adam, N. Agafonova, A. Aleksandrov, O. Altinok, P. Alvarez Sanchez, S. Aoki, A. Ariga, T. Ariga, D. Autiero, A. Badertscher, A. Ben Dhahbi, A. Bertolin, C. Bozza, T. Brugiére, F. Brunet, G. Brunetti, S. Buontempo, F. Cavanna, A. Cazes, L. Chaussard, M. Chernyavskiy, V. Chiarella, A. Chukanov, G. Colosimo, M. Crespi, N. D'Ambrosios, Y. Déclais, P. del Amo Sanchez, G. De Lellis, M. De Serio, F. Di Capua, F. Cavanna, A. Di Crescenzo, D. Di Ferdinando, N. Di Marco, S. Dmitrievsky, M. Dracos, D. Duchesneau, S. Dusini, J. Ebert, I. Eftimiopolous, O. Egorov, A. Ereditato, L. S. Esposito, J. Favier, T. Ferber, R. A. Fini, T. Fukuda, A. Garfagnini, G. Giacomelli, C. Girerd, M. Giorgini, M. Giovannozzi, J. Goldberga, C. Göllnitz, L. Goncharova, Y. Gornushkin, G. Grella, F. Griantia, E. Gschewentner, C. Guerin, A. M. Guler, C. Gustavino, K. Hamada, T. Hara, M. Hierholzer, A. Hollnagel, M. Ieva, H. Ishida, K. Ishiguro, K. Jakovcic, C. Jollet, M. Jones, F. Juget, M. Kamiscioglu, J. Kawada, S. H. Kim, M. Kimura, N. Kitagawa, B. Klicek, J. Knuesel, K. Kodama, M. Komatsu, U. Kose, I. Kreslo, C. Lazzaro, J. Lenkeit, A. Ljubicic, A. Longhin, A. Malgin, G. Mandrioli, J. Marteau, T. Matsuo, N. Mauri, A. Mazzoni, E. Medinaceli, j, F. Meisel, A. Meregaglia, P. Migliozzi, S. Mikado, D. Missiaen, K. Morishima, U. Moser, M. T. Muciaccia, N. Naganawa, T. Naka, M. Nakamura, T. Nakano, Y. Nakatsuka, D. Naumov, V. Nikitina, S. Ogawa, N. Okateva, A. Olchevsky, O. Palamara, A. Paoloni, B. D. Park, I. G. Park, A. Pastore, L. Patrizii, E. Pennacchio, H. Pessard, C. Pistillo, N. Polukhina, M. Pozzato, K. Pretzl, F. Pupilli, R. Rescigno, T. Roganova, H. Rokujo, G. Rosa, I. Rostovtseva, A. Rubbia, A. Russo, O. Sato, Y. Sato, A. Schembri, J. Schuler, L. Scotto Lavina, J. Serrano, A. Sheshukov, H. Shibuya, G. Shoziyoev, S. Simone, M. Sioli, C. Sirignano, G. Sirri, J. S. Song, M. Spinetti, N. Starkov, M. Stellacci, M. Stipcevic, T. Strauss, P. Strolin, S. Takahashi, M. Tenti, F. Terranova, I. Tezuka, V. Tioukov, P. Tolun, T. Tran, S. Tufanli, P. Vilain, M. Vladimirov, L. Votano, J. L. Vuilleumier, G. Wilquet, B. Wonsak, J. Wurtz, C. S. Yoon, J. Yoshida, Y. Zaitsev, S. Zemskova, and A. Zghiche (2011)cite arxiv:1109.4897 .
to lightspeed by heprom and 2 other users on Oct 17, 2011, 5:33 PM
URL | BibTeX
Measurement of the neutrino velocity with the OPERA detector in the CNGS beam
The OPERA Collaboraton: T. Adam, N. Agafonova, A. Aleksandrov, O. Altinok, P. Alvarez Sanchez, S. Aoki, A. Ariga, T. Ariga, D. Autiero, A. Badertscher, A. Ben Dhahbi, A. Bertolin, C. Bozza, T. Brugiére, F. Brunet, G. Brunetti, S. Buontempo, F. Cavanna, A. Cazes, L. Chaussard, M. Chernyavskiy, V. Chiarella, A. Chukanov, G. Colosimo, M. Crespi, N. D'Ambrosios, Y. Déclais, P. del Amo Sanchez, G. De Lellis, M. De Serio, F. Di Capua, F. Cavanna, A. Di Crescenzo, D. Di Ferdinando, N. Di Marco, S. Dmitrievsky, M. Dracos, D. Duchesneau, S. Dusini, J. Ebert, I. Eftimiopolous, O. Egorov, A. Ereditato, L. S. Esposito, J. Favier, T. Ferber, R. A. Fini, T. Fukuda, A. Garfagnini, G. Giacomelli, C. Girerd, M. Giorgini, M. Giovannozzi, J. Goldberga, C. Göllnitz, L. Goncharova, Y. Gornushkin, G. Grella, F. Griantia, E. Gschewentner, C. Guerin, A. M. Guler, C. Gustavino, K. Hamada, T. Hara, M. Hierholzer, A. Hollnagel, M. Ieva, H. Ishida, K. Ishiguro, K. Jakovcic, C. Jollet, M. Jones, F. Juget, M. Kamiscioglu, J. Kawada, S. H. Kim, M. Kimura, N. Kitagawa, B. Klicek, J. Knuesel, K. Kodama, M. Komatsu, U. Kose, I. Kreslo, C. Lazzaro, J. Lenkeit, A. Ljubicic, A. Longhin, A. Malgin, G. Mandrioli, J. Marteau, T. Matsuo, N. Mauri, A. Mazzoni, E. Medinaceli, j, F. Meisel, A. Meregaglia, P. Migliozzi, S. Mikado, D. Missiaen, K. Morishima, U. Moser, M. T. Muciaccia, N. Naganawa, T. Naka, M. Nakamura, T. Nakano, Y. Nakatsuka, D. Naumov, V. Nikitina, S. Ogawa, N. Okateva, A. Olchevsky, O. Palamara, A. Paoloni, B. D. Park, I. G. Park, A. Pastore, L. Patrizii, E. Pennacchio, H. Pessard, C. Pistillo, N. Polukhina, M. Pozzato, K. Pretzl, F. Pupilli, R. Rescigno, T. Roganova, H. Rokujo, G. Rosa, I. Rostovtseva, A. Rubbia, A. Russo, O. Sato, Y. Sato, A. Schembri, J. Schuler, L. Scotto Lavina, J. Serrano, A. Sheshukov, H. Shibuya, G. Shoziyoev, S. Simone, M. Sioli, C. Sirignano, G. Sirri, J. S. Song, M. Spinetti, N. Starkov, M. Stellacci, M. Stipcevic, T. Strauss, P. Strolin, S. Takahashi, M. Tenti, F. Terranova, I. Tezuka, V. Tioukov, P. Tolun, T. Tran, S. Tufanli, P. Vilain, M. Vladimirov, L. Votano, J. L. Vuilleumier, G. Wilquet, B. Wonsak, J. Wurtz, C. S. Yoon, J. Yoshida, Y. Zaitsev, S. Zemskova, and A. Zghiche (2011)cite arxiv:1109.4897 .
to light speed by miki and 2 other users on Sep 25, 2011, 10:21 PM
URL | BibTeX
Measurement of the neutrino velocity with the OPERA detector in the CNGS beam
The OPERA Collaboraton: T. Adam, N. Agafonova, A. Aleksandrov, O. Altinok, P. Alvarez Sanchez, S. Aoki, A. Ariga, T. Ariga, D. Autiero, A. Badertscher, A. Ben Dhahbi, A. Bertolin, C. Bozza, T. Brugiére, F. Brunet, G. Brunetti, S. Buontempo, F. Cavanna, A. Cazes, L. Chaussard, M. Chernyavskiy, V. Chiarella, A. Chukanov, G. Colosimo, M. Crespi, N. D'Ambrosios, Y. Déclais, P. del Amo Sanchez, G. De Lellis, M. De Serio, F. Di Capua, F. Cavanna, A. Di Crescenzo, D. Di Ferdinando, N. Di Marco, S. Dmitrievsky, M. Dracos, D. Duchesneau, S. Dusini, J. Ebert, I. Eftimiopolous, O. Egorov, A. Ereditato, L. S. Esposito, J. Favier, T. Ferber, R. A. Fini, T. Fukuda, A. Garfagnini, G. Giacomelli, C. Girerd, M. Giorgini, M. Giovannozzi, J. Goldberga, C. Göllnitz, L. Goncharova, Y. Gornushkin, G. Grella, F. Griantia, E. Gschewentner, C. Guerin, A. M. Guler, C. Gustavino, K. Hamada, T. Hara, M. Hierholzer, A. Hollnagel, M. Ieva, H. Ishida, K. Ishiguro, K. Jakovcic, C. Jollet, M. Jones, F. Juget, M. Kamiscioglu, J. Kawada, S. H. Kim, M. Kimura, N. Kitagawa, B. Klicek, J. Knuesel, K. Kodama, M. Komatsu, U. Kose, I. Kreslo, C. Lazzaro, J. Lenkeit, A. Ljubicic, A. Longhin, A. Malgin, G. Mandrioli, J. Marteau, T. Matsuo, N. Mauri, A. Mazzoni, E. Medinaceli, j, F. Meisel, A. Meregaglia, P. Migliozzi, S. Mikado, D. Missiaen, K. Morishima, U. Moser, M. T. Muciaccia, N. Naganawa, T. Naka, M. Nakamura, T. Nakano, Y. Nakatsuka, D. Naumov, V. Nikitina, S. Ogawa, N. Okateva, A. Olchevsky, O. Palamara, A. Paoloni, B. D. Park, I. G. Park, A. Pastore, L. Patrizii, E. Pennacchio, H. Pessard, C. Pistillo, N. Polukhina, M. Pozzato, K. Pretzl, F. Pupilli, R. Rescigno, T. Roganova, H. Rokujo, G. Rosa, I. Rostovtseva, A. Rubbia, A. Russo, O. Sato, Y. Sato, A. Schembri, J. Schuler, L. Scotto Lavina, J. Serrano, A. Sheshukov, H. Shibuya, G. Shoziyoev, S. Simone, M. Sioli, C. Sirignano, G. Sirri, J. S. Song, M. Spinetti, N. Starkov, M. Stellacci, M. Stipcevic, T. Strauss, P. Strolin, S. Takahashi, M. Tenti, F. Terranova, I. Tezuka, V. Tioukov, P. Tolun, T. Tran, S. Tufanli, P. Vilain, M. Vladimirov, L. Votano, J. L. Vuilleumier, G. Wilquet, B. Wonsak, J. Wurtz, C. S. Yoon, J. Yoshida, Y. Zaitsev, S. Zemskova, and A. Zghiche (2011)cite arxiv:1109.4897 .
to c by vakaryuk and 2 other users on Sep 25, 2011, 1:42 AM
URL | BibTeX
QRT FIFO Automata, Breath-First Grammars and Their Relations.
Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, and Dino Mandrioli Theor. Comput. Sci. 85(1):171-203 (1991)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Automated Compositional Proofs for Real-Time Systems.
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, and Angelo Morzenti FASE, volume 3442 of Lecture Notes in Computer Science, page 326-340. Springer, (2005)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Advertising Formal Methods and Organizing Their Teaching: Yes, but ....
Dino Mandrioli TFM, volume 3294 of Lecture Notes in Computer Science, page 214-224. Springer, (2004)
to dblp by dblp on Aug 4, 2011, 12:00 AM
URL | BibTeX
A Decidability Theorem for a Class of Vector-Addition Systems.
Stefano Crespi-Reghizzi, and Dino Mandrioli Inf. Process. Lett. 3(3):78-80 (1975)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
A Class of Grammar Generating Non-Counting Languages.
Stefano Crespi-Reghizzi, and Dino Mandrioli Inf. Process. Lett. 7(1):24-26 (1978)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
n-Reconstructability of Context-Free Grammars.
Dino Mandrioli Inf. Process. Lett. 5(2):58-62 (1976)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Dealing with Zero-Time Transitions in Axiom Systems.
Angelo Gargantini, Dino Mandrioli, and Angelo Morzenti Inf. Comput. 150(2):119-131 (1999)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper