Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Arjan J. Mooij, Marc Voorhoeve |
Trading Off Concurrency to Generate Behavioral Adapters. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Schellhorn, Simon Bäumler |
Formal Verification of Lock-Free Algorithms. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Bardsley, Luis A. Tarazona, Doug A. Edwards |
Teak: A Token-Flow Implementation for the Balsa Language. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
logic synthesis, asynchronous logic |
1 | Mark Schäfer, Dominic Wist, Ralf Wollowski |
DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
DesiJ, SI synthesis, decomposition, STG, state space explosion |
1 | |
Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009 |
ACSD |
2009 |
DBLP BibTeX RDF |
|
1 | Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux |
Time Arc Petri Nets and Their Analysis. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Time arc Petri nets, strong and weak semantics, state space abstraction, state zone graph |
1 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
synchronous specification, asynchronous implementation, weak endochrony, GALS |
1 | Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi 0001 |
Model Checking Verilog Descriptions of Cell Libraries. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jens Brandt 0001, Mike Gemunde, Klaus Schneider 0001 |
Desynchronizing Synchronous Programs by Modes. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Synchronous Programs, Desynchronization |
1 | Sebastian Mauser, Robert Lorenz 0001 |
Variants of the Language Based Synthesis Problem for Petri Nets. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Petri Nets, Synthesis, Languages, Regions |
1 | Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz |
Verifying Deadlock- and Livelock Freedom in an SOA Scenario. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
business process composition, livelock freedom, service-oriented architecture, state space reduction |
1 | Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi |
PicNIc - Pi-calculus non-interference checker. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kyller Costa Gorgônio, Fei Xia |
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vinod A. Muganthan, Andrew Phillips, Maria Grazia Vigliotti |
BAM: BioAmbient machine. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shijun Lin, Li Su 0001, Haibo Su, Guofei Zhou, Depeng Jin, Lieguang Zeng |
A method for latency/bandwidth guarantees in Network-on-Chip. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kais Klai, Laure Petrucci |
Modular construction of the symbolic observation graph. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro |
On the interplay between fault handling and request-response service invocations. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tieqiang Mo, Peng Hao |
Removing causality cycle of synchronous programs with sequential data-flow recursion. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Navid Toosizadeh, Safwat G. Zaky |
Using edge-triggering in the asynchronous synthesis of write-after-read operations. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Schneider 0001, Jens Brandt 0001 |
Performing causality analysis by bounded model checking. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mark Schäfer, Walter Vogler, Dominic Wist, Ralf Wollowski |
Avoiding irreducible CSC conflicts by internal communication. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shufan Yang, Steve B. Furber, Yebin Shi, Luis A. Plana |
An admission control system for QoS provision on a best-effort GALS interconnect. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ping Gong 0004, Keqing He, Jian Wang 0018, Zaiwen Feng |
Dynamic semantics of OWL-S in CSP-OZ. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Oberheid, Dennis Gamrad, Dirk Söffker |
Closed loop state space analysis and simulation for Cognitive Systems. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sun Meng, Farhad Arbab |
QoS-driven service selection and composition. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Mokhov, Alexandre Yakovlev |
Verification of conditional partial order graphs. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Robin Bergenthum, Jörg Desel, Robert Lorenz 0001, Sebastian Mauser |
Synthesis of Petri nets from infinite partial languages. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jori Dubrovin, Tommi A. Junttila |
Symbolic model checking of hierarchical UML state machines. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Billington, Zhenhua Duan, Maciej Koutny (eds.) |
8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008 |
ACSD |
2008 |
DBLP BibTeX RDF |
|
1 | Michael Kishinevsky, Jordi Cortadella |
Time elastic digital systems and Petri Nets. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Zhang 0001, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter |
Time-bounded model checking of infinite-state continuous-time Markov chains. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chammika Mannakkara, Tomohiro Yoneda |
Asynchronous pipeline controller based on early acknowledgement protocol. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Agnes Madalinski, Eric Fabre |
Modular construction of finite and complete prefixes of Petri net unfoldings. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jasen Markovski, Erik P. de Vink |
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Naohiro Hamada, Yuki Shiga, Hiroshi Saito, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya |
A behavioral synthesis method for asynchronous circuits with bundled-data implementation (Tool paper). |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yan Xiao, Zhenhua Duan |
Dynamic Critical-Path based on Fit Degree scheduling for reconfigurable multi-FPGAs. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Mohammad Reza Mousavi 0001, Marjan Sirjani |
Process algebraic verification of SystemC codes. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Masashi Imai, Takashi Nanya |
A design method for 1-out-of-4 encoded low-power self-timed circuits using standard cell libraries. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani |
An effective approach for model checking SystemC designs. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Robert Lorenz 0001, Robin Bergenthum, Jörg Desel, Sebastian Mauser |
Synthesis of Petri Nets from Finite Partial Languages. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jinzhao Wu, Lin Zhao |
An Algebraic Approach to Multi-Valued Model Checking. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lothar Thiele, Iuliana Bacivarov, Wolfgang Haid, Kai Huang 0001 |
Mapping Applications to Tiled Multiprocessor Embedded Systems. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Béal, Tomohiro Yoneda, Chris J. Myers |
Hazard Checking of Timed Asynchronous Circuits Revisited. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
Modelling Mobility in High-level Petri Nets. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
KLAIM, compositional translation, behavioural consistency, mobility, Petri nets, process algebra |
1 | Siamak Nazari, John G. Thistle |
Structural Conditions for Model-checking of Parameterized Networks. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Souheib Baarir, Alexandre Duret-Lutz |
Emptiness Check of Powerset Buchi Automata using Inclusion Tests. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Darondeau |
Synthesis and Control of Asynchronous and Distributed Systems. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hanifa Boucheneb, Hind Rakkay |
A more efficient time Petri net state space abstraction preserving linear properties. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
state class graph, partial order techniques, independent transitions, relevant execution path, Time Petri nets, state explosion problem |
1 | Twan Basten, Gabriel Juhás, Sandeep K. Shukla (eds.) |
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic |
ACSD |
2007 |
DBLP BibTeX RDF |
|
1 | Cécile Braunstein, Emmanuelle Encrenaz |
Using CTL formulae as component abstraction in a design and verification flow. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Chen 0002, Fei Xia, Delong Shang, Alexandre Yakovlev |
The Design of Virtual Self-timed Block for Activity Communication in SOC. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Robert Lorenz 0001, Sebastian Mauser, Robin Bergenthum |
Testing the executability of scenarios in general inhibitor nets. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Drozda |
Sensor and Ad HocWireless Networks. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi 0001, Jan Friso Groote |
Sarir: A Rebeca to mCRL2 Translator. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Danil Sokolov, Ivan Poliakov, Alexandre Yakovlev |
Asynchronous Data Path Models. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rishiyur S. Nikhil |
Composable Guarded Atomic Actions: a Bridging Model for SoC Design. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wil M. P. van der Aalst, Christian W. Günther |
Finding Structure in Unstructured Processes: The Case for Process Mining. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jasen Markovski, Erik P. de Vink |
Real-Time Process Algebra with Stochastic Delays. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guan Yu, Gauthier Lafruit, Peter Schelkens |
Platform-scalable Task Partition and Multilevel Buffering in Multi-processor Plessey Corner Detector. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ivana Budinska, Viktor Oravec, Emil Gatial, Michal Laclavik, Martin Seleng, Zoltán Balogh 0001, Baltazár Frankovic, Radoslav Forgác, Igor Mokris, Ladislav Hluchý |
RAPORT - a knowledge support system for administrative workflow processes. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Victor Khomenko |
Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis, Jan F. Broenink, Henk Corporaal |
A model-driven design approach for mechatronic systems. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marius C. Bujorianu, Manuela-Luminita Bujorianu |
Towards Hilbertian Formal Methods. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Victor Khomenko, Mark Schäfer, Walter Vogler |
Output-Determinacy and Asynchronous Circuit Synthesis. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
output-determinacy, OR-causality, decomposition, asynchronous circuits, STG |
1 | Donald C. Craig, Wlodek M. Zuberek |
Multicomponent Compatibility and its Verification. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Penczek, Maciej Szreter |
SAT-based Unbounded Model Checking of Timed Automata. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Küster Filipe Bowles, Behzad Bordbar |
A Formal Model for Integrating Multiple Views. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Stavros Tripakis, Karine Altisen |
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hemangee K. Kapoor |
Modelling Latency-Insensitive Systems in CSP. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli |
Functional Model Exploration for Multimedia Applications via Algebraic Operators. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Leïla Kloul, Juliana Küster Filipe |
Modelling Mobility with UML2.0 and PEPA Nets. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Karine Altisen, Franck Cassez, Stavros Tripakis |
Monitoring and fault-diagnosis with digital clocks |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jun Xu, Reza Sotudeh, Mark B. Josephs |
Asynchronous Packet-Switching for Networks-on-Chip. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Hadjidj, Hanifa Boucheneb |
On-the-fly TCTL model checking for Time Petri Nets using state class graphs. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tiberiu Seceleanu, Axel Jantsch |
Communicating with Synchronized Environments. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
synchronized / interleaved communication, System modeling, action systems |
1 | Axel Jantsch |
Models of Computation for Networks on Chip. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey M. Brown |
Verification of a Data Synchronization Circuit For All Time. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi 0001, A. J. M. Moonen, Marco Bekooij |
Throughput Analysis of Synchronous Data Flow Graphs. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev |
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Arnim Wedig, Horst F. Wedde, Anca M. Lazarescu, Elisei Rotaru |
Concurrency in Distributed Systems under Autonomous and Enforced Actions. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston |
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Juhás, Robert Lorenz 0001, Sebastian Mauser |
Synchronous + Concurrent + Sequential = Earlier than + Not later than. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Halbwachs, Louis Mandel |
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sunan Tugsinavisut, Roger Su, Peter A. Beerel |
High-level Synthesis for Highly Concurrent Hardware Systems. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz |
Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Cong Liu 0013, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel |
Schedulability Analysis of Petri Nets Based on Structural Properties. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Henri Hansen, Antti Kervinen |
Minimal Counterexamples in O(n log n) Memory and O(n^2) Time. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg |
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Bauer 0001, Ina Schaefer, Tobe Toben, Bernd Westphal |
Specification and Verification of Dynamic Communication Systems. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Petr Jancar, Alexander Miller |
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sander Stuijk, Marc Geilen, Twan Basten |
SDF3: SDF For Free. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Purandar Bhaduri, S. Ramesh |
Synthesis of Synchronous Interfaces. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | |
Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland |
ACSD |
2006 |
DBLP BibTeX RDF |
|
1 | Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko |
Strategies for Optimised STG Decomposition. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
Petri net, decomposition, Asynchronous circuit, STG, speed-independent |
1 | Kees M. van Hee, Olivia Oanea, Reinier Post, Lou J. Somers, Jan Martijn E. M. van der Werf |
Yasper: a tool for workflow modeling and analysis. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad |
Extended Timed Automata and Time Petri Nets. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
Conciseness, Timed Automata, Reachability Analysis, Time Petri Nets |
1 | Xu Wang 0001, Marta Z. Kwiatkowska |
On process-algebraic verification of asynchronous circuits. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny |
Towards an Algebra of Abstractions for Communicating Processes. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev |
Automating Synthesis of Asynchronous Communication Mechanisms. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christian Stahl, Wolfgang Reisig, Milos Krstic |
Hazard Detection in a GALS Wrapper: A Case Study. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|