|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 126 publication records. Showing 119 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 62 | R. Restrepo, Diego Luis Aristizábal-Ramirez, Alejandro Montoya, Jean P. Jiménez H., Pedro Torres 0004 |
Web Laboratory Experiences for Elearning: The Michelson Interferometer.  |
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education  |
2008 |
DBLP DOI BibTeX RDF |
TIC, Michelson Interferometer, Monitoring and Control via Web, TINI, E-Learning |
| 51 | Mircea Popa 0001, Anca Sorana Popa, C. Patitoiu |
A Web Connected Smart Sensor. |
SACI |
2007 |
DBLP DOI BibTeX RDF |
|
| 40 | Yongqing Fu, Hejun Du, Weimin Huang 0004, Min Hu |
Tini Film Based Shape Memory Alloy And Microactuators. |
Int. J. Comput. Eng. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 40 | Seiji Shimizu, Katsutoshi Kuribayashi |
Transformation and Mechanical Properties of TiNi Thin Films Sputter Deposited at Various Argon Pressures for Micromachine Actuators. |
J. Robotics Mechatronics |
1999 |
DBLP DOI BibTeX RDF |
|
| 40 | Katsutoshi Kuribayashi, Seiji Shimizu, T. Nishinohara, Takao Taniguchi, M. Yoshitake, S. Ogawa |
Trial fabrication of micron sized arm using reversible TiNi alloy thin film actuators. |
IROS |
1993 |
DBLP DOI BibTeX RDF |
|
| 29 | Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, Massimo Merro |
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
Back to the format: A survey on SOS for probabilistic processes. |
J. Log. Algebraic Methods Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 29 | Gianluca Vozza, Emanuele Bonetti, Giulia Tini, Valentina Favalli, Gianmaria Frige, Gabriele Bucci, Simona De Summa, Mario Zanfardino, Francesco Zapelloni, Luca Mazzarella |
Benchmarking and improving the performance of variant-calling pipelines with RecallME. |
Bioinform. |
2023 |
DBLP DOI BibTeX RDF |
|
| 29 | Roberto Balzani, Sebastian Barzaghi, Gabriele Bitelli, Federica Bonifazi, Alice Bordignon, Luca Cipriani, Simona Colitti, Federica Collina, Marilena Daquino, Francesca Fabbri, Bruno Fanini, Filippo Fantini, Daniele Ferdani, Giulia Fiorini, Elena Formia, Anna Forte, Federica Giacomini, Valentina Alena Girelli, Bianca Gualandi, Ivan Heibi, Alessandro Iannucci, Rachele Manganelli Del Fà, Arcangelo Massari, Arianna Moretti, Silvio Peroni, Sofia Pescarin, Giulia Renda, Diego Ronchi, Mattia Sullini, Maria Alessandra Tini, Francesca Tomasi, Laura Travaglini, Luca Vittuari |
Saving temporary exhibitions in virtual environments: the Digital Renaissance of Ulisse Aldrovandi. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
A framework to measure the robustness of programs in the unpredictable environment. |
Log. Methods Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 29 | Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang |
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 29 | Sebastian Barzaghi, Federica Collina, Francesca Fabbri, Federica Giacomini, Alice Bordignon, Roberto Balzani, Gabriele Bitelli, Federica Bonifazi, Luca Cipriani, Simona Colitti, Marilena Daquino, Bruno Fanini, Filippo Fantini, Daniele Ferdani, Giulia Fiorini, Elena Formia, Anna Forte, Valentina Alena Girelli, Bianca Gualandi, Ivan Heibi, Alessandro Iannucci, Rachele Manganelli Del Fà, Arcangelo Massari, Arianna Moretti, Silvio Peroni, Sofia Pescarin, Giulia Renda, Diego Ronchi, Mattia Sullini, Maria Alessandra Tini, Francesca Tomasi, Laura Travaglini, Luca Vittuari |
Digitisation of Temporary Exhibitions: the Aldrovandi Case. |
GCH |
2023 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 29 | Ruggero Lanotte, Desiree Manicardi, Simone Tini |
Step-by-step Robustness for Biochemical Networks. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
| 29 | Alessandro Lambertini, Emanuele Mandanici, Maria Alessandra Tini, Luca Vittuari |
Technical Challenges for Multi-Temporal and Multi-Sensor Image Processing Surveyed by UAV for Mapping and Monitoring in Precision Agriculture. |
Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 29 | Luca Arcari, Giacomo Tini, Giovanni Camastra, Federica Ciolina, Domenico De Santis, Domitilla Russo, Damiano Caruso, Massimiliano Danti, Luca Cacciotti |
Cardiac Magnetic Resonance Imaging in Immune Check-Point Inhibitor Myocarditis: A Systematic Review. |
J. Imaging |
2022 |
DBLP DOI BibTeX RDF |
|
| 29 | Alessandra Cherubini, Nicoletta Sabadini, Simone Tini |
Theoretical Computer Science in Italy. |
Theor. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Simone Tini |
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces. |
Theor. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
A framework to measure the robustness of programs in the unpredictable environment. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
A probabilistic calculus of cyber-physical systems. |
Inf. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 29 | Jorge A. Pérez 0001, Simone Tini |
Preface to Special Issue: EXPRESS/SOS 2018. |
Inf. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini |
Formal Impact Metrics for Cyber-physical Attacks. |
CSF |
2021 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
How Adaptive and Reliable is Your Program? |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 29 | Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Filippo Schiavio, Simone Tini |
CospanSpan(Graph): a Compositional Description of the Heart System. |
Fundam. Informaticae |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Simone Tini |
Raiders of the lost equivalence: Probabilistic branching bisimilarity. |
Inf. Process. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Giulio Spinozzi, Valentina Tini, Alessia Adorni, Brunangelo Falini, Maria Paola Martelli |
ARPIR: automatic RNA-Seq pipelines with interactive report. |
BMC Bioinform. |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Kirstin Peters, Simone Tini |
Preface to special issue: EXPRESS/SOS 2016 + 2017. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Simone Tini |
Probabilistic divide & congruence: Branching bisimilarity. |
Theor. Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. |
Theor. Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Michele Loreti, Simone Tini |
Measuring Adaptability and Reliability of Large Scale Systems. |
ISoLA (2) |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini |
Compositional Modeling of Biological Systems in CospanSpan(Graph). |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 29 | Giulia Tini, Luca Marchetti, Corrado Priami, Marie-Pier Scott-Boyer |
Multi-omics integration - a comparison of unsupervised clustering methodologies. |
Briefings Bioinform. |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Katy A. M. Gaythorpe, Kévin Jean, Laurence Cibrelus, Tini Garske |
Quantifying model evidence for yellow fever transmission routes in Africa. |
PLoS Comput. Biol. |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Simone Tini |
Logical characterization of branching metrics for nondeterministic probabilistic transition systems. |
Inf. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics. |
The Art of Modelling Computational Systems |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Alessandra Cherubini, Nicoletta Sabadini, Simone Tini (eds.) |
Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
| 29 | Ruggero Lanotte, Simone Tini |
Computing Bisimilarity Metrics for Probabilistic Timed Automata. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Daniel Gebler, Simone Tini |
SOS specifications for uniformly continuous operators. |
J. Comput. Syst. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Jorge A. Pérez 0001, Simone Tini (eds.) |
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. |
EXPRESS/SOS |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Towards a formal notion of impact metric for cyber-physical attacks (full version). |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Equational Reasonings in Wireless Network Gossip Protocols. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Giulio Spinozzi, Valentina Tini, Laura Mincarelli, Brunangelo Falini, Maria Paola Martelli |
A comprehensive RNA-Seq pipeline includes meta-analysis, interactivity and automatic reporting. |
PeerJ Prepr. |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Anne Cori, Pierre Nouvellet, Tini Garske, Hervé Bourhy, Emmanuel Nakouné, Thibaut Jombart |
A graph-based evidence synthesis approach to detecting outbreak clusters: An application to dog rabies. |
PLoS Comput. Biol. |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Simone Tini |
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Giulia Tini |
The influence of the inclusion of biological knowledge in statistical methods to integrate multi-omics data. |
|
2018 |
RDF |
|
| 29 | Valentina Castiglioni, Simone Tini |
Logical Characterization of Trace Metrics. |
QAPL@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
A Probabilistic Calculus of Cyber-Physical Systems. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 29 | Kirstin Peters, Simone Tini (eds.) |
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. |
EXPRESS/SOS |
2017 |
DBLP BibTeX RDF |
|
| 29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Equational Reasonings in Wireless Network Gossip Protocols. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 29 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Compositional Weak Metrics for Group Key Update. |
MFCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Weak Simulation Quasimetric in a Gossip Scenario. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. |
Fundam. Informaticae |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Daniel Gebler, Kim G. Larsen, Simone Tini |
Compositional bisimulation metric reasoning with Probabilistic Process Calculi. |
Log. Methods Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
Logical Characterization of Bisimulation Metrics. |
QAPL |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Luca Vittuari, Maria Alessandra Tini, Pierguido Sarti, Eugenio Serantoni, Alessandra Borghi, Monia Negusini, Sébastien Guillaume |
A Comparative Study of the Applied Methods for Estimating Deflection of the Vertical in Terrestrial Geodetic Measurements. |
Sensors |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Simone Tini |
Extending Taylor Approximation to Hybrid Systems with Integrals. |
CS&P |
2016 |
DBLP BibTeX RDF |
|
| 29 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
Modal Decomposition on Nondeterministic Probabilistic Processes. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Daniel Gebler, Kim Guldstrand Larsen, Simone Tini |
Compositional Metric Reasoning with Probabilistic Process Calculi. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 29 | Daniel Gebler, Simone Tini |
SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
A Specification Format for Rooted Branching Bisimulation. |
Fundam. Informaticae |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Compositional semantics and behavioural equivalences for reaction systems with restriction. |
Theor. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Daniel Gebler, Simone Tini |
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. |
EXPRESS/SOS |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini |
Systolic Automata and P Systems. |
Computing with New Resources |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. |
CS&P |
2014 |
DBLP BibTeX RDF |
|
| 29 | Daniel Gebler, Simone Tini |
Compositionality of Approximate Bisimulation for Probabilistic Systems. |
EXPRESS/SOS |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
A Rule Format for Rooted Branching Bisimulation. |
CS&P |
2013 |
DBLP BibTeX RDF |
|
| 29 | Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
A Compositional Semantics of Reaction Systems with Restriction. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Foundational aspects of multiscale modeling of biological systems with process algebras. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
An Overview on Operational Semantics in Membrane Computing. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 29 | Norman C. LeDonne, Kevin Rissolo, James Bulgarelli, Leonard Tini |
Use of structure-activity landscape index curves and curve integrals to evaluate the performance of multiple machine learning prediction models. |
J. Cheminformatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Compositional semantics of spiking neural P systems. |
J. Log. Algebraic Methods Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | Simone Tini |
Non-expansive epsilon-bisimulations for probabilistic processes. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini |
Aspects of multiscale modelling in a process algebra for biological systems |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. |
Int. Conf. on Membrane Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
P Systems with Transport and Diffusion Membrane Channels. |
Fundam. Informaticae |
2009 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Simone Tini |
Probabilistic bisimulation as a congruence. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
probabilistic process algebra, transition rule format, Bisimulation, congruence |
| 29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
A P Systems Flat Form Preserving Step-by-step Behaviour. |
Fundam. Informaticae |
2008 |
DBLP BibTeX RDF |
|
| 29 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Compositional semantics and behavioral equivalences for P Systems. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 29 | Simone Tini |
Non Expansive epsilon-Bisimulations. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Simone Tini |
Taylor approximation for hybrid systems. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 29 | Simone Tini |
Notes on Generative Probabilistic Bisimulation. |
SOS@CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Simone Tini |
Taylor Approximation for Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Simone Tini |
Probabilistic Congruence for Semistochastic Generative Processes. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 29 | Simone Tini, Andrea Maggiolo-Schettini |
Compositional Synthesis of Generalized Mealy Machines. |
Fundam. Informaticae |
2004 |
DBLP BibTeX RDF |
|
| 29 | Simone Tini |
Rule formats for compositional non-interference properties. |
J. Log. Algebraic Methods Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 29 | Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci |
Automated analysis of timed security: a case study on web privacy. |
Int. J. Inf. Sec. |
2004 |
DBLP DOI BibTeX RDF |
Web privacy, Model checking tools, Timed behavior |
| 29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Epsilon-transitions in Concurrent Timed Automata. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Information flow in hybrid systems. |
ACM Trans. Embed. Comput. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Hybrid systems, information flow |
| 29 | Simone Tini |
Timed CCP compositionally embeds Argos and Lustre. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages |
| 29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
Automatic Covert Channel Analysis of a Multilevel Secure Component. |
ICICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
Dynamic Hierarchical Machines. |
Fundam. Informaticae |
2003 |
DBLP BibTeX RDF |
|
| 29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
Automatic Analysis of the NRL Pump. |
MEFISTO |
2003 |
DBLP DOI BibTeX RDF |
|
| 29 | Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
A comparison of Statecharts step semantics. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 29 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Concurrency in timed automata. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 119 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license