Photo of Amnon Rosenmann

Amnon Rosenmann

Ph.D.

1991 …2019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Amnon Rosenmann is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 4 Similar Profiles
Timed Automata Mathematics
Timestamp Mathematics
Free Group Mathematics
Automata Mathematics
Subgroup Mathematics
Max-plus Algebra Mathematics
Finitely Generated Group Mathematics
Multiple-valued Logic Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1991 2019

  • 14 Article
  • 8 Conference contribution

Circular automata synchronize with high probability

Aistleitner, C., D'Angeli, D., Gutierrez, A., Rodaro, E. & Rosenmann, A., 6 Jun 2019, In : arXiv.org e-Print archive. 19 p.

Research output: Contribution to journalArticleResearch

Automata
Synchronization
Circulant Graph
Chromatic Polynomial
Probabilistic Methods

On the Distance Between Timed Automata.

Rosenmann, A., 13 Aug 2019, FORMATS 2019. André, É. & Stoelinga, M. (eds.). Springer, Cham, Vol. 11750. p. 199-215 17 p. (Lecture Notes in Computer Science; vol. 11750).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Timed Automata
Inclusion
Trace
Digitization
Automata

Polynomial convolutions in max-plus algebra

Rosenmann, A., Lehner, F. & Peperko, A., 1 Oct 2019, In : Linear algebra and its applications. 578, p. 370-401 32 p.

Research output: Contribution to journalArticleResearchpeer-review

File
Max-plus Algebra
Convolution
Polynomial
Free Probability
Analogue

The Timestamp of Timed Automata

Rosenmann, A., 13 Aug 2019, FORMATS 2019. André, É. & Stoelinga, M. (eds.). Springer, Cham, Vol. 11750. p. 181-198 18 p. (Lecture Notes in Computer Science; vol. 11750).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

File
Timestamp
Timed Automata
Suffix
Trace
Partial

Bounded determinization of timed automata with silent transitions

Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., May 2017, In : Real-time systems. 53, 3, p. 291–326

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Timed Automata
Observability
Testing
Automata
Model-based Testing

Activities 2017 2019

  • 5 Talk at workshop, seminar or course
  • 4 Talk at conference or symposium
  • 1 Workshop, seminar or course (Participation in/Organisation of)
  • 1 Invited talk at conference or symposium

Workshop on Groups, Automata and Graphs (GAG)

Daniele D'Angeli (Organiser), Abraham Gutierrez Sanchez (Organiser), Amnon Rosenmann (Organiser), Ecaterina Sava-Huss (Organiser)
11 Feb 201912 Feb 2019

Activity: Participation in or organisation ofWorkshop, seminar or course (Participation in/Organisation of)

Polynomial Convolutions in Max-Plus Algebra

Amnon Rosenmann (Speaker)
8 Sep 201913 Sep 2019

Activity: Talk or presentationTalk at conference or symposiumScience to science

On the Distance between Timed Automata

Amnon Rosenmann (Speaker)
28 Aug 2019

Activity: Talk or presentationTalk at conference or symposiumScience to science

The Timestamp of Timed Automata

Amnon Rosenmann (Speaker)
28 Aug 2019

Activity: Talk or presentationTalk at conference or symposiumScience to science

Dependence over subgroups of free groups

Amnon Rosenmann (Speaker)
27 Apr 201828 Apr 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science