Skocz do pozycji: 1.

Tytuł:

Instant-Based and State-Based Analysis of Infinite Logical Clock

Autorzy:

Xu, QingguoAff17, Aff18
Miao, HuaikouAff17, Aff18
de Simone, Robert
DeAntoni, Julien

Pokaż więcej

Źródło:

Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers. 10189:32-51

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:

Divergence Detection for CCSL Specification via Clock Causality Chain

Autorzy:

Xu, QingguoAff16, Aff17
de Simone, Robert
DeAntoni, Julien

Pokaż więcej

Źródło:

Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. 9984:18-37

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:

On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling

Autorzy:

Gorcitz, Raul
Kofman, EmilienAff18, Aff19
Carle, Thomas
Potop-Butucaru, Dumitru
de Simone, Robert

Pokaż więcej

Źródło:

Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. 9268:108-123

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:

Periodic scheduling of marked graphs using balanced binary words

Autorzy:

Millo, Jean-Vivien
de Simone, Robert

Pokaż więcej

Źródło:

In Theoretical Computer Science 2 November 2012 458:113-130

Czasopismo naukowe

• na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:

IP-XACT Components with Abstract Time Characterization

Autorzy:

Mallet, Frédéric
André, Charles
de Simone, Robert

Pokaż więcej

Źródło:

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s : Selected Contributions on Specification, Design, and Verification from FDL 2009. 63:3-18

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:

From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations

Autorzy:

Potop-Butucaru, Dumitru
de Simone, Robert
Sorel, Yves

Pokaż więcej

Źródło:

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction. :229-262

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:

The Time Model of Logical Clocks Available in the OMG MARTE Profile

Autorzy:

André, Charles
DeAntoni, Julien
Mallet, Frédéric
de Simone, Robert

Pokaż więcej

Źródło:

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction. :201-227

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:

Formal Modeling of Embedded Systems with Explicit Schedules and Routes

Autorzy:

Boucaron, Julien
Coadou, Anthony
de Simone, Robert

Pokaż więcej

Źródło:

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction. :41-78

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:

MARTE vs. AADL for Discrete-Event and Discrete-Time Domains

Autorzy:

Mallet, Frédéric
de Simone, Robert

Pokaż więcej

Źródło:

Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL’08. 36:27-41

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:

Modeling AADL Data Communications with UML MARTE

Autorzy:

André, CharlesAff4, Aff5
Mallet, FrédéricAff4, Aff5
de Simone, RobertAff4, Aff5

Pokaż więcej

Źródło:

Embedded Systems Specification and Design Languages : Selected contributions from FDL’07. 10:155-168

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:

Modeling Time(s)

Autorzy:

André, Charles
Mallet, Frédéric
de Simone, Robert

Pokaż więcej

Źródło:

Model Driven Engineering Languages and Systems : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings. 4735:559-573

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:

Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs

Autorzy:

Vecchié, Eric
de Simone, Robert

Pokaż więcej

Źródło:

Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings. 3576:213-225

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:

Optimizations for Faster Execution of Esterel Programs

Autorzy:

Potop-Butucaru, Dumitru
de Simone, Robert

Pokaż więcej

Źródło:

Formal Methods and Models for System Design : A System Level Perspective. :285-315

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:

Instantaneous Termination in Pure Esterel

Autorzy:

Tardieu, Olivier
de Simone, Robert

Pokaż więcej

Źródło:

Static Analysis : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings. 2694:91-108

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:

Explicit routing schemes for implementation of cellular automata on processor arrays

Autorzy:

Millo, Jean-Vivien
de Simone, Robert

Pokaż więcej

Źródło:

Natural Computing: An International Journal. September 2013 12(3):353-368

Czasopismo naukowe

• na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:

Using PO Methods for Verifying Behavioural Equivalences

Autorzy:

de Souza, Monica Lara
de Simone, Robert

Pokaż więcej

Źródło:

Formal Description Techniques VIII : Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. :75-89

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:

The FC2TOOLS set

Autorzy:

Bouali, Amar
Ressouche, Annie
Roy, Valérie
de Simone, Robert

Pokaż więcej

Źródło:

Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings. 1102:441-445

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:

Alto: An Interactive Transformation Tool for Lotos and Lotomaton

Autorzy:

Najm, Elie
Serhrouchni, A.
Lakas, A.
Madelaine, Eric.
de Simone, Robert.

Pokaż więcej

Źródło:

LOTOSphere: Software Development with LOTOS. :369-388

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:

Symbolic bisimulation minimisation

Autorzy:

Bouali, Amar
de Simone, Robert

Pokaż więcej

Źródło:

Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings. 663:96-108

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:

Auto/Autograph

Autorzy:

Roy, Valérie
De Simone, Robert

Pokaż więcej

Źródło:

Computer-Aided Verification : A Special Issue of Formal Methods In System Design on Computer-Aided Verification. :93-103

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:

Process calculi, from theory to practice: Verification tools

Autorzy:

Boudol, Gérard
Roy, ValérieAff1, Aff2
de Simone, Robert
Vergamini, DidierAff1, Aff3

Pokaż więcej

Źródło:

Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France June 12–14, 1989 Proceedings. 407:1-10

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:

The clock constraint specification language for building timed causality models: Application to synchronous data flow graphs

Autorzy:

Mallet, Frédéric
DeAntoni, Julien
André, Charles
de Simone, Robert

Pokaż więcej

Źródło:

Innovations in Systems and Software Engineering: A NASA Journal. March 2010 6(1-2):99-106

Czasopismo naukowe

• na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:

Towards a “Synchronous Reactive” UML profile?

Autorzy:

de Simone, Robert
André, Charles

Pokaż więcej

Źródło:

International Journal on Software Tools for Technology Transfer. April 2006 8(2):146-155

Czasopismo naukowe

• na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:

Introduction to special issue: papers from UML&FM’2009

Autorzy:

Perseil, Isabelle
Bruel, Jean-Michel
Canals, Agusti
de Simone, Robert
Gérard, Sébastien
Najm, Elie

Pokaż więcej

Źródło:

Innovations in Systems and Software Engineering: A NASA Journal. March 2010 6(1-2):1-3

Czasopismo naukowe

• na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:

Auto/Autograph

Autorzy:

Roy, Valérie
De Simone, Robert

Pokaż więcej

Źródło:

Formal Methods in System Design: An International Journal. October 1992 1(2-3):239-249

Czasopismo naukowe

• na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:

Causal models for rational algebraic processes

Autorzy:

Bouali, Amar
de Simone, Robert

Pokaż więcej

Źródło:

CONCUR '91 : 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings. 527:18-19

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:

The Fc2Tools set (tool demonstration)

Autorzy:

Bouali, Amar
Ressouche, Annie
Roy, Valrie
de Simone, Robert

Pokaż więcej

Źródło:

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings. 1055:396-396

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:

E STEREL: a formal method applied to avionic software development

Autorzy:

Berry, Gérard
Bouali, Amar
Fornari, Xavier
Ledinot, Emmanuel
Nassor, Eric
de Simone, Robert

Pokaż więcej

Źródło:

In Science of Computer Programming 2000 36(1):5-25

Czasopismo naukowe

• na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:

Petri nets and algebraic calculi of processes

Autorzy:

Boudol, Gérard
Roucairol, Gérard
de Simone, Robert

Pokaż więcej

Źródło:

Advances in Petri Nets 1985. 222:41-58

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:

Petri nets and algebraic calculi of processes

Autorzy:

Boudol, Cérard
Roucairol, Cérard
de Simone, Robert

Pokaż więcej

Źródło:

STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985. 182:59-70

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 31.

Informacja:

Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

• na półce

Szczegóły

Skocz do pozycji: 32.

Informacja:

Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

• na półce

Szczegóły

Skocz do pozycji: 33.

Informacja:

Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

• na półce

Pełny tekst  Link otwiera się w nowym oknieSzczegóły

Skocz do pozycji: 34.

Tytuł:

Logical time

Autorzy:

Mallet, Frédéric
André, Charles
de Simone, Robert

Pokaż więcej

Źródło:

ACM SIGSOFT Software Engineering Notes; January 2011, Vol. 36 Issue: 1 p1-8, 8p

Periodyk

• na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:

La gatta Cenerentola : Favola in musica in tre atti / di Roberto De Simone ; con la partecipazione della Nuova Compagnia di Canto Popolare

Autorzy:

Nuova compagnia di canto popolare [interprete]
Il cerchio [interprete]
De Simone, Roberto

Pokaż więcej

Dostęp URL:

https://www.europeana.eu/item/496/MIL0867223?utm_source=api&utm_medium=api&utm_campaign=YuvuWBeCa  Link otwiera się w nowym oknie

• na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:

Editorial

Autorzy:

Sangiorgi, Davide
de Simone, Robert

Pokaż więcej

Źródło:

In Theoretical Computer Science 2002 274(1):1-1

Opinia redakcyjna

• na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:

On Meije and SCCS: Infinite sum operators vs. non-guarded definitions

Autorzy:

de Simone, Robert

Pokaż więcej

Źródło:

In Theoretical Computer Science 1984 30(1):133-138

Czasopismo naukowe

• na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:

Higher-level synchronising devices in Meije-SCCS

Autorzy:

De Simone, Robert

Pokaż więcej

Źródło:

In Theoretical Computer Science 1985 37:245-267

Czasopismo naukowe

• na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:

Axioms for real-time logics

Autorzy:

Raskin, J. -F.
Schobbens, P. -Y.
Henzinger, T. A.

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:219-236

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:

Automata and coinduction (an exercise in coalgebra)

Autorzy:

Rutten, J. J. M. M.

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:194-218

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:

Control flow analysis for the π-calculus

Autorzy:

Bodei, Chiara
Degano, Pierpaolo
Nielson, Flemming
Nielson, Hanne Riis

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:84-98

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:

From higher-order π-calculus to π-calculus in the presence of static operators

Autorzy:

Vivas, José-Luis
Dam, Mads

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:115-130

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:

The tau-laws of fusion

Autorzy:

Parrow, Joachim
Victor, Björn

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:99-114

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:

Minimality and separation results on asynchronous mobile processes : Representability theorems by concurrent combinators (extended abstract)

Autorzy:

Yoshida, Nobuko

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:131-146

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:

Checking verifications of protocols and distributed systems by computer

Autorzy:

Groote, Jan FrisoAff1, Aff2
Monin, FranÇois
van de Pol, Jaco

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:629-655

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:

Herbrand automata for hardware verification

Autorzy:

Damm, W.
Pnueli, A.
Ruah, S.

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:67-83

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:

A relational model of non-deterministic dataflow

Autorzy:

Hildebrandt, Thomas
Panangaden, Prakash
Winskel, Glynn

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:613-628

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:

Synthesis from knowledge-based specifications : Extended abstract

Autorzy:

van der Meyden, Ron
Vardi, Moshe Y.

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:34-49

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:

The regular viewpoint on PA-processes

Autorzy:

Lugiez, D.
Schnoebelen, Ph.

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:50-66

Książka elektroniczna

• na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:

Fibrational semantics of dataflow networks

Autorzy:

Stark, Eugene W.

Pokaż więcej

Źródło:

CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:597-612

Książka elektroniczna

• na półce

Szczegóły