Search results for "ACSD"

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

Publications at "ACSD"( http://dblp.L3S.de/Venues/ACSD )