Last update: 01/2019
S. Bose, A. Muscholl, V. Penelle, G. Puppis.
Origin-equivalence of two-way word transducers is in PSPACE.
FSTTCS'18, LIPIcs, 22:1-22:18, 2018.
E. Filiot, O. Gauwin, N. Lhote, A. Muscholl.
On canonical models for rational functions over infinite words.
FSTTCS'18, LIPIcs, 30:1-30:17, 2018.
M. Fortin, A. Muscholl, I. Walukiewicz.
Model-checking linear-time
properties of parametrized asynchronous
shared-memory pushdown systems.
CAV'17, LNCS, pp. 155-175, 2017.
F. Baschenis, O. Gauwin, A. Muscholl, G. Puppis.
Untwisting two-way transducers in elementary time.
LICS'17, IEEE, pp. 1-12, 2017. Journal version in LMCS 2018.
J. Esparza, A. Muscholl, I. Walukiewicz.
Static analysis of deterministic negotiations.
LICS'17, IEEE, pp. 1-12, 2017.
P. Gallot, A. Muscholl, G. Puppis, S. Salvati.
On the Decomposition of Finite-Valued Streaming String Transducers.
STACS'17, LIPIcs, 34:1-34:14, 2017.
A. Muscholl, H. Seidl, I. Walukiewicz.
Reachability for Dynamic Parametric Processes.
VMCAI'17, LNCS, pp. 424-441, 2017.
J. Esparza, D. Kuperberg, A. Muscholl, I. Walukiewicz.
Soundness in negotiations.
CONCUR'16, LIPIcs, 12:1-12:13, 2016.
F. Baschenis, O. Gauwin, A. Muscholl, G. Puppis.
Minimizing resources of sweeping and streaming string transducers.
ICALP'16, LIPIcs, 114:1-114:14, 2016.
F. Baschenis, O. Gauwin, A. Muscholl, G. Puppis.
One-way definability of sweeping transducers
FSTTCS'15, LIPIcs, 2015.
S. La Torre, A. Muscholl, I. Walukiewicz.
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost
Always Decidable
CONCUR'15, LIPIcs, pp. 72-84, 2015.
A. Muscholl.
Automated Synthesis of Distributed Controllers
ICALP-LICS'15, LNCS, pp. 11-27, 2015.
V. Diekert, A. Muscholl, I. Walukiewicz.
A Note on Monitors and Buechi
Automata
ICTAC'15, LNCS, pp. 39-57, 2015.
A. Muscholl, I. Walukiewicz.
Distributed Synthesis for Acyclic Architectures
FSTTCS'14, LIPIcs, pp. 639-651, 2014.
B. Genest, H. Gimbert, A. Muscholl, I. Walukiewicz.
Asynchronous Games over Tree Architectures
ICALP'13, LNCS, pp. 275-286, 2013.
A. Manuel, A. Muscholl and G. Puppis.
Walking on Data Words
CSR'13, LNCS, pp. 64-75, 2013.
A. Muscholl and S. Schewe.
Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge
MFCS'13, LNCS, pp. 691-703, 2013.
S. Abiteboul, P. Bourhis, A. Muscholl and Z. Wu.
Recursive queries on trees and data trees
ICDT'13, ACM, pp. 93-104, 2013.
V. Diekert and A. Muscholl.
On Distributed Monitoring of Asynchronous Systems
WoLLIC'12, Lecture Notes in Computer
Science 7456, pp. 70-84, 2012.
A. Heussner, J. Leroux, A. Muscholl and G. Sutre.
Reachability Analysis of Communicating Pushdown Systems
FoSSacS'10, Lecture Notes in Computer
Science 6014, pp. 267-281, 2010. Journal version.
B. Genest, H. Gimbert, A. Muscholl and I. Walukiewicz.
Optimal Zielonka-Type Construction of Deterministic Asynchronous
Automata
ICALP'10, Lecture Notes in Computer
Science 6199, pp. 52-63, 2010.
A. Muscholl.
Taming Distributed Asynchronous Systems
(invited talk)
CONCUR'10, Lecture Notes in Computer
Science 6269, pp. 40-47, 2010.
B. Genest, A. Muscholl and Z. Wu.
Verifying Recursive Active Documents with Positive Data Tree Rewriting
FSTTCS'10, LIPIcs 8, 2010.
A. Muscholl.
Analysis of Communicating Automata
(invited talk)
LATA'10, Lecture Notes in Computer
Science 6031, pp. 50-57, 2010.
B. Genest, A. Muscholl, O. Serre, M. Zeitoun.
Tree Pattern Rewriting Systems
ATVA'08, Lecture Notes in Computer
Science 5311, pp. 332-346, 2008.
A. Muscholl, I. Walukiewicz. A lower bound on Web services composition
,
FoSSaCS'07, Lecture Notes in Computer
Science 4423, pp. 274-286, 2007. Journal version.
B. Genest, A. Muscholl.
Constructing Exponential-size Deterministic Zielonka Automata ,
ICALP'06, Lecture Notes in Computer Science 4052, pp.
565-576, 2006.
M. Bojanczyk, A. Muscholl, Th. Schwentick, L. Segoufin and
C. David.
Two-Variable Logic on Words with Data
,
LICS'06, pp. 7-16.Journal version.
M. Bojanczyk, C. David, A. Muscholl, Th. Schwentick, and L. Segoufin.
Two-Variable Logic on Data Trees and XML Reasoning
,
PODS'06, pp. 10-19. Journal version.
B. Genest, D. Kuske and A. Muscholl. A Kleene Theorem for a Class of
Communicating Automata with Effective Algorithms
,
DLT'04, Lecture Notes in Computer Science
3340, pp. 30-48, 2004.
Journal version.
A. Muscholl and I. Walukiewicz. An NP-Complete Fragment of LTL
,
DLT'04, Lecture Notes in Computer Science
3340, pp. 334-344, 2004.
Appeared in International Journal of
Foundations of Computer Science, 16(4):743-754, 2005.
H. Seidl, Th. Schwentick, A. Muscholl and P. Habermehl. Counting in Trees for Free
,
ICALP'04, Lecture Notes in Computer Science
3142, pp. 1136-1149, 2004.
Journal version.
A. Muscholl, Th. Schwentick and L. Segoufin. Active Context-Free Games
,
STACS'04, Lecture Notes in Computer Science
2996, pp. 452-464, 2004.
Journal version.
B. Genest, M. Minea, A. Muscholl and D. Peled. Specifying and Verifying
Partial Order Properties Using Template MSCs
,
FoSSaCS'04, Lecture Notes in Computer Science
2987, pp. 195-210, 2004.
A. Stefanescu, J. Esparza, A. Muscholl. Synthesis of Distributed Algorithms Using Asynchronous Automata
,
CONCUR'03, Lecture Notes in Computer Science
2761, pp. 27-41, 2003.
B. Genest, L. Helouet, A. Muscholl. High-Level Message Sequence Charts and Projections
,
CONCUR'03, Lecture Notes in Computer Science
2761, pp. 308-322, 2003.
H. Seidl, Th. Schwentick, A. Muscholl. Numerical document queries
,
PODS'03,, pp. 155-166, ACM 2003. Journal version.
B. Genest, A. Muscholl, H. Seidl, M. Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability
,
ICALP'02, Lecture Notes in Computer Science
2380, pp. 657-668, 2002. Long version.
M. Lohrey, A. Muscholl. Bounded MSC Communication
,
FoSSaCS'02, Lecture Notes in Computer Science
2303, pp. 295-309, 2002.
Journal version.
B. Genest, A. Muscholl. Pattern Matching and Membership for Hierarchical
Message Sequence Charts
,
LATIN'02, Lecture Notes in Computer Science
2286, pp. 326-340, 2002. Journal version.
V. Diekert, A. Muscholl. Decidability of
Equations in Free Partially Commutative Groups
,
ICALP'01, Lecture Notes in Computer Science
2076, pp. 543-554, 2001.
Journal version.
A. Muscholl, D. Peled. From
Finite State Communication Protocols to
High-Level Message Sequence Charts,
ICALP'01, Lecture Notes in Computer Science
2076, pp. 720-731, 2001.
A. Bouajjani, A. Muscholl, T. Touili. Permutation Rewriting and Algorithmic Verification
,
LICS'01, IEEE Computer Society, pp. 399-408, 2001. Journal version.
E. Gunter, A. Muscholl, D. Peled. Compositional Message Sequence
Charts,
TACAS'01, Lecture Notes in Computer Science
2031, pp. 496-511, 2001.
Journal version.
A. Muscholl, D. Peled. Analyzing Message Sequence
Charts,
SAM'00, Grenoble, june 26-28, 2000.
A. Muscholl, D. Peled. Message
sequence graphs and decision problems on Mazurkiewicz traces,
MFCS'99, Lecture Notes in Computer Science
1672, pp. 81-91, 1999.
A. Muscholl. Matching
specifications for message sequence charts,
FoSSaCS'99, Lecture Notes in Computer Science
1578, 1999.
A. Muscholl, D. Peled, Z. Su. Deciding properties of message
sequence charts,
FoSSaCS'98, Lecture Notes in Computer Science 1378,
pp. 226-242, 1998.
V. Diekert, Yu. Matiyasevich, and A. Muscholl. Solving Trace Equations Using
Lexicographical Normal Forms (journal version) ,
ICALP'97, Lecture Notes in Computer Science 1256,
pp. 336-346, 1997.
Y. Métivier, A. Muscholl, P.-A. Wacrenier. About the local
detection of termination of local computations in graphs,
SIROCCO'97, Carleton Scientific,
pp. 188-200, 1997.
V. Diekert, A. Muscholl. Code problems on traces,
MFCS'96, Lecture Notes in Computer Science 1113,
pp. 2-17, 1996.
V. Diekert, A. Muscholl, K. Reinhardt. On codings of traces,
STACS'95, Lecture Notes in Computer Science 900,
pp. 385-396, 1995.
A. Muscholl. On the complementation of Buechi asynchronous cellular
automata,
ICALP'94, Lecture Notes in Computer Science 820,
pp. 142-153, 1994. Journal version.
W. Ebinger, A. Muscholl. On logical definability of omega-trace
languages,
ICALP'93, Lecture Notes in Computer Science 700,
pp. 335-346, 1993. Journal version.
V. Diekert, A. Muscholl.
Deterministic asynchronous automata for infinite traces,
STACS'93, Lecture Notes in Computer Science 665,
pp. 617-628, 1993.
Journal version.
J. Esparza, D. Kuperberg, A. Muscholl, I. Walukiewicz.
Soundness in negotiations.
Logical Methods in Computer Science, 14(1): 1--29, 2018.
A. Manuel, A. Muscholl and G. Puppis.
Walking on Data Words.
Theory of Comput. Systems, 59(2): 180-208, 2016.
A. Muscholl, S. Schewe.
Controlling loosely cooperating processes.
Theor. Comput. Sci. 611: 136-141, 2016.
S. Krishna, A. Muscholl.
A quadratic construction for Zielonka automata with acyclic communication structure.
Theor. Comp. Science, 503: 109-114, 2013.
A. Heussner, J. Leroux, A. Muscholl and G. Sutre.
Reachability Analysis of Communicating Pushdown Systems
Logical Methods in Computer Science, 8(3), 2012.
M. Bojanczyk, C. David, A. Muscholl, Th. Schwentick, and L. Segoufin.
Two-variable logic on data words.
ACM Trans. Comput. Log. 12(4): 27, 2011.
M. Bojanczyk, A. Muscholl, Th. Schwentick, and L. Segoufin.
Two-variable logic on data trees and XML reasoning
J. of the ACM 56(3), 2009.
B. Genest, A. Muscholl.
Pattern Matching and Membership for
Hierarchical Message Sequence Charts
Theory of Comput. Syst. 42(4):536--567, 2008.
A. Muscholl, I. Walukiewicz.
A lower bound on Web services composition
Logical Methods in Computer Science 4(2:5):1--14, 2008.
H. Seidl, Th. Schwentick, and A. Muscholl.
Counting in trees
Texts in Logic and Games (2):575-612, Amsterdam University
Press, 2007.
B. Genest, D. Kuske and A. Muscholl.
On communicating automata with bounded channels
Fundamenta Informatica 80(2):147-167, 2007.
A. Bouajjani, A. Muscholl and T. Touili.
Permutation Rewriting and Algorithmic Verification
Information and Computation 205(2):199-224, 2007.
B. Genest, D. Kuske and A. Muscholl.
A Kleene theorem and model checking
algorithms for existentially bounded communicating automata
Information and Computation 204(6):920-956, 2006.
B. Genest, A. Muscholl, H. Seidl and M. Zeitoun.
Infinite-state high-level MSCs:
Model-checking and realizability
J. of Computer and System Sciences, 72(4):617-647, 2006.
A. Muscholl, M. Samuelides and L. Segoufin.
Complementing deterministic tree-walking automata
Inf. Proc. Lett., 99(1):33-39, 2006.
A. Muscholl, Th. Schwentick and L. Segoufin.
Active Context-Free Games
Theory of Computing Systems 39(1):237-276, 2006.
Special issue of STACS'04.
V. Diekert, A. Muscholl. Solvability of equations in graph groups
is decidable.
Intern. Journal of Algebra and Computation, 16(6):1047-1070, 2006.
Preliminary version in ICALP'01.
M. Lohrey, A. Muscholl. Bounded MSC Communication,
Information and Computation 189(2):160-181, 2004.
Preliminary version in FoSSaCS'02.
E. Godard, Y. Métivier and A. Muscholl.
Characterizations of Classes of Graphs Recognizable by Local Computations,
Theory Comput. Syst. 37(2): 249-293, 2004.
E. Gunter, A. Muscholl, D. Peled. Compositional Message Sequence
Charts,
STTT - Int. Journal on Software Tools for Technology Transfer
5(1):78-89, Springer 2003. Preliminary version in TACAS'01.
Ch. Hagenah, A. Muscholl. Computing $\epsilon$-Free NFA from Regular Expressions in $O(n
\log^2(n))$ Time,
R.A.I.R.O. Theoretical Informatics and
Applications 34:257-277, 2000. Preliminary version in MFCS'98.
V. Diekert, Yu. Matiyasevich, A. Muscholl. Word equations modulo partial commutations,
Theoretical Computer Science 224:215-235,
1999. Preliminary version in ICALP'97.
H.-J. Hoogeboom, A. Muscholl. The
code problem for
traces - improving the boundaries,
Theoretical Computer
Science. 172:309-321, 1997.
A. Muscholl. On the complementation of Buechi asynchronous cellular
automata,
Theoretical Computer Science 169:123-145, 1996. Special issue of ICALP'94.
W. Ebinger, A. Muscholl.
On logical definability of omega-trace languages,
Theoretical Computer Science 154:67-84,
1996. Special issue of ICALP'93.
V. Diekert, A. Muscholl. A note
on Métivier's construction of asynchronous automata for
triangulated graphs,
Fundamenta Informatica
25:241-246, 1996.
A. Muscholl, H. Petersen.
A note on the commutative closure of star-free languages.,
Information Processing Letters 57:71-74, 1996.
V. Diekert, A. Muscholl.
Deterministic asynchronous automata for infinite traces,
Theoretical Computer Science 31:379-397,
1994. Preliminary version in STACS'93.
A. Muscholl, I. Walukiewicz, M. Zeitoun. A look at the control of
asynchronous automata
,
Perspectives in Concurrency Theory, Universities Press, 2009.
B. Genest, A. Muscholl and D. Peled. Message Sequence
Charts
,
Lectures on Concurrency and Petri Nets: Advances in Petri nets (Tutorial volume from the 4th Advanced Course on Petri Nets, ACPN 2003), pp. 537-558, 2003.
V. Diekert, A. Muscholl. Construction of
asynchronous automata.
Chapter 8 in The Book of
traces, eds. V. Diekert and G. Rozenberg, World Scientific,
pp. 249-167, 1995.
A. Muscholl. Über die Erkennbarkeit unendlicher Spuren,Teubner-Texte zur Informatik, Band 17, Teubner, 1996.
Über die Erkennbarkeit unendlicher Spuren. PhDThesis, Institut für Informatik, Universität Stuttgart (1994).
Decidability and complexity issues on concurrent systems. Habilitation thesis, Institut für Informatik, Universität Stuttgart (1999).