Search results for "Time Petri nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Louis-Marie Traonouez, Didier Lime, Olivier H. Roux	Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.	FORMATS	2008	DBLP DOI BibTeX RDF	state-class graph, model-checking, Time Petri nets, parameters, stopwatches
3	Laura Carnevali, Leonardo Grassi, Enrico Vicario	A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets.	Ada-Europe	2008	DBLP DOI BibTeX RDF	concurrent real-time systems, V-Model, preemptive Time Petri Nets, formal methods, state space analysis
3	Bernard Berthomieu, Florent Peres, François Vernadat	Abstract State Spaces for Time Petri Nets Analysis.	ISORC	2008	DBLP DOI BibTeX RDF	Abstract State Spaces, State Classes, Time Petri Nets
3	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks
3	Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat	Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	State classes, Real-time systems modeling and verification, Approximation, Decidability, Time Petri nets, Reachability, Stopwatches
3	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Conflict management in PDEVS: an experience in modelling and simulation of time petri nets.	SCSC	2007	DBLP DOI BibTeX RDF	PDEVS, java, time petri nets, modelling and simulation, conflict management
3	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
3	Bernard Berthomieu, Florent Peres, François Vernadat	Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.	FORMATS	2006	DBLP DOI BibTeX RDF	weak timed bisimilarity, real-time systems modeling and verification, Timed Automata, priorities, Time Petri nets
3	Giacomo Bucci, Luigi Sassoli, Enrico Vicario	Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification
3	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux	Comparison of the Expressiveness of Timed Automata and Time Petri Nets.	FORMATS	2005	DBLP DOI BibTeX RDF	Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets
3	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux	Comparison of Different Semantics for Time Petri Nets.	ATVA	2005	DBLP DOI BibTeX RDF	Timed Bisimilarity, Expressiveness, Time Petri Nets
3	Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux	Romeo: A Tool for Analyzing Time Petri Nets.	CAV	2005	DBLP DOI BibTeX RDF	scheduling, model-checking, Time Petri nets, state-space, polyhedron, stopwatch, DBM
3	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux	When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?	FSTTCS	2005	DBLP DOI BibTeX RDF	Weak Timed Bisimilarity, Timed Automata, Time Petri Nets
3	Bernard Berthomieu, François Vernadat	State Class Constructions for Branching Analysis of Time Petri Nets.	TACAS	2003	DBLP DOI BibTeX RDF	state classes, branching time temporal properties, real-time systems modeling and verification, model-checking, bisimulation, Time Petri nets
3	Maciej Koutny	A Compositional Model of Time Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets
3	Tuomas Aura, Johan Lilius	Time Processes for Time Petri-Nets.	ICATPN	1997	DBLP DOI BibTeX RDF	net theory, processes, timing analysis, causality, time Petri nets, partial order semantics
3	Giacomo Bucci, Enrico Vicario	Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Time-critical systems, model partitioning, incremental state space enumeration, state space projection, compositional validation, time Petri Nets, finite state models
2	Rachid Hadjidj, Hanifa Boucheneb	Efficient Reachability Analysis for Time Petri Nets.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF	time Petri nets (TPN), state class spaces, reachability properties, model checking, Formal methods
2	Parisa Heidari, Hanifa Boucheneb	Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets.	ACSD	2010	DBLP DOI BibTeX RDF	on-the-fly algorithm, reachability properties, time Petri nets, safety properties, controller synthesis
2	Pierre-Alain Reynier, Arnaud Sangnier	Weak Time Petri Nets Strike Back!.	CONCUR	2009	DBLP DOI BibTeX RDF
2	Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo	ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.	TACAS	2009	DBLP DOI BibTeX RDF
2	Anna Dedova, Irina Virbitskaite	Towards Parametric Verification of Prioritized Time Petri Nets.	PaCT	2009	DBLP DOI BibTeX RDF
2	Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu	Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.	QSIC	2009	DBLP DOI BibTeX RDF	Modeling and Verification, BPEL Processes, Time Petri Nets, Timed Properties
2	Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez	Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.	TACAS	2009	DBLP DOI BibTeX RDF	model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches
2	Rachid Hadjidj, Hanifa Boucheneb	Improving state class constructions for CTL* model checking of time Petri nets.	STTT	2008	DBLP DOI BibTeX RDF	State class spaces, CTL* properties, Model checking, Formal methods, Time Petri nets
2	Li Pan, Weidong Zhao, Zhicheng Wang, Xinmin Zhou	A State Class Approach to Time Petri Nets with Weak Semantics.	CSSE	2008	DBLP DOI BibTeX RDF
2	Guoqiang Cai, Shimin Zhao, Limin Jia, Yangdong Ye, Xi Li	Approach of Train Group Operation Conflict Prevention Reasoning Based on Fuzzy Time Petri Nets.	NCM	2008	DBLP DOI BibTeX RDF	Safety Time Petri Nets, train group, RITS, temporal knowledge
2	Morgan Magnin, Didier Lime, Olivier H. Roux	Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).	Petri Nets	2008	DBLP DOI BibTeX RDF	Verification using nets, symbolic state space, Time Petri nets, discrete-time, dense-time, stopwatches
2	Marc Boyer, Olivier H. Roux	Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
2	Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston	From Time Petri Nets to Timed Automata: An Untimed Approach.	TACAS	2007	DBLP DOI BibTeX RDF
2	Bernard Berthomieu, Florent Peres, François Vernadat	Model Checking Bounded Prioritized Time Petri Nets.	ATVA	2007	DBLP DOI BibTeX RDF
2	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
2	Didier Lime, Olivier H. Roux	Model Checking of Time Petri Nets Using the State Class Timed Automaton.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Dense-time systems, Model-checking, Timed automata, Time petri nets
2	Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng	Scenario-Based Timing Consistency Checking for Time Petri Nets.	FORTE	2006	DBLP DOI BibTeX RDF
2	Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat	Mapping RT-LOTOS Specifications into Time Petri Nets.	ICFEM	2006	DBLP DOI BibTeX RDF
2	Thomas Chatain, Claude Jard	Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
2	Bernard Berthomieu, François Vernadat	Time Petri Nets Analysis with TINA.	QEST	2006	DBLP DOI BibTeX RDF
2	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets.	Annual Simulation Symposium	2005	DBLP DOI BibTeX RDF
2	Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat	From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.	SEFM	2005	DBLP DOI BibTeX RDF
2	Thomas Chatain, Claude Jard	Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.	FORMATS	2005	DBLP DOI BibTeX RDF
2	Ugo Buy, Mihai Lehene, Houshang Darabi	Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.	SEW	2005	DBLP DOI BibTeX RDF
2	Ugo Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally	Supervisory Control of Time Petri Nets Using Net Unfolding.	COMPSAC	2005	DBLP DOI BibTeX RDF
2	Patrice Bonhomme, Gérard Berthelot, Pascal Aygalinc, Soizick Calvez	Verification technique for time Petri nets.	SMC	2004	DBLP DOI BibTeX RDF
2	Olivier H. Roux, Didier Lime	Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.	ICATPN	2004	DBLP DOI BibTeX RDF
2	Wojciech Penczek, Agata Pólrola	Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata.	ICATPN	2004	DBLP DOI BibTeX RDF
2	Didier Lime, Olivier H. Roux	A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets.	RTSS	2004	DBLP DOI BibTeX RDF
2	Simona Bernardi, Javier Campos	On Performance Bounds for Interval Time Petri Nets.	QEST	2004	DBLP DOI BibTeX RDF
2	Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario	Timed State Space Analysis of Real-Time Preemptive Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	nondeterministic time parameters, timeliness predictability, Preemptive Time Petri Nets, reactive systems, multiprocessor schedulability, Hard real-time systems, interprocess communication, preemptive scheduling, state space analysis
2	Apostolos Niaouris	An Algebra of Petri Nets with Arc-Based Time Restrictions.	ICTAC	2004	DBLP DOI BibTeX RDF	Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras
2	Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario	Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.	ECRTS	2003	DBLP DOI BibTeX RDF
2	Pao-Ann Hsiung, Cheng-Yi Lin	Synthesis of real-time embedded software with local and global deadlines.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	quasi-dynamic scheduling, real-time petri nets, code generation, software synthesis, real-time embedded software
2	Guillaume Gardey, Olivier H. Roux, Olivier F. Roux	Using Zone Graph Method for Computing the State Space of a Time Petri Net.	FORMATS	2003	DBLP DOI BibTeX RDF	Verification, Reachability Analysis, Time Petri Nets, State Space, Zone
2	Pao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee	Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines.	RTCSA	2003	DBLP DOI BibTeX RDF	Periodic Time Petri Nets, quasi-dynamic scheduling, local and global deadlines, software synthesis, Real-time embedded software
2	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou	Reduction Methods for Real-Time Systems Using Delay Time Petri Nets.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	net reduction, schedule, Real-time systems, Petri nets, deadlock, reachability, state explosion
2	Wojciech Penczek, Agata Pólrola	Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
2	Jonathan Lee, Jong-Yih Kuo, Yong-Yi Fanjiang, Stephen J. H. Yang, Jiann-I Pan	Towards the Verification of Scenarios with Time Petri-Nets. (PDF / PS)	COMPSAC	2000	DBLP DOI BibTeX RDF
2	Burkhard Bieber, Hans Fleischhack	Model Checking of Time Petri Nets Based on Partial Order Semantics.	CONCUR	1999	DBLP DOI BibTeX RDF
2	Ian Ho, Jin-Cherng Lin	Generating Test Cases for Real-Time Software by Time Petri Nets Model.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	basic segment, graph matrix, graph segment, independent segment group, Petri nets decomposition, test cases generation
2	Irina Virbitskaite, E. Pokozy	A Partial Order Method for the Verification of Time Petri Nets.	FCT	1999	DBLP DOI BibTeX RDF
2	Francesca Saglietti	Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets.	SAFECOMP	1998	DBLP DOI BibTeX RDF
2	Ugo A. Buy, Robert H. Sloan	Analysis of Real-Time Programs with Simple Time Petri Nets.	ISSTA	1994	DBLP DOI BibTeX RDF
2	Bernard Berthomieu, Michel Diaz	Modeling and Verification of Time Dependent Systems Using Time Petri Nets.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	time dependent systems, explicit values, time-dependent systems, verification, formal specification, parallel programming, Petri nets, protocols, formal verification, specification, program verification, time Petri nets, concurrent systems, communication systems, alternating bit protocol
2	Jean-Pierre Courtiat, Michel Diaz	Time in State Based Formal Description Techniques for Distributed Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	FDTs Formal Description Techniques, Manipulating Explicit Time values, Integrating Time Petri nets and Estelle, Distributed Systems, Verification, Specification, Time Petri nets, Estelle
2	Charles André	Synchronized elementary net systems.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Labelled POset, Synchronization, Process, Time Petri Nets, Elementary net systems
1	Adel Mahfoudhi, Yessine Hadj Kacem, Walid Karamti, Mohamed Abid	Compositional specification of real time embedded systems by priority time Petri Nets.	The Journal of Supercomputing	2012	DBLP DOI BibTeX RDF
1	Sandie Balaguer, Thomas Chatain, Stefan Haar	A concurrency-preserving translation from time Petri nets to networks of timed automata.	Formal Methods in System Design	2012	DBLP DOI BibTeX RDF
1	Walid Karamti, Adel Mahfoudhi, Yessine Hadj Kacem, Mohamed Abid	A Formal Method for Scheduling Analysis of a Partitioned Multiprocessor System - Dynamic Priority Time Petri Nets.	PECCS	2012	DBLP BibTeX RDF
1	Laura Carnevali, Lorenzo Ridi, Enrico Vicario	Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF
1	Haisheng Wang, Liviu Grigore, Ugo Buy, Mihai Lehene, Houshang Darabi	Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2011	DBLP DOI BibTeX RDF
1	Nicholas Wightkin, Ugo Buy, Houshang Darabi	Formal Modeling of Sequential Function Charts With Time Petri Nets.	IEEE Trans. Contr. Sys. Techn.	2011	DBLP DOI BibTeX RDF
1	Florent Peres, Bernard Berthomieu, François Vernadat	On the composition of time Petri nets.	Discrete Event Dynamic Systems	2011	DBLP DOI BibTeX RDF
1	Patrice Bonhomme	A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets.	CASE	2011	DBLP DOI BibTeX RDF
1	Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny	SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets.	T. Petri Nets and Other Models of Concurrency	2010	DBLP DOI BibTeX RDF
1	Jörg Peter Bachmann, Louchka Popova-Zeugmann	Time-independent Liveness in Time Petri Nets.	Fundam. Inform.	2010	DBLP DOI BibTeX RDF
1	Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola	Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics.	Fundam. Inform.	2010	DBLP DOI BibTeX RDF
1	Hanifa Boucheneb, Kamel Barkaoui	On interleaving in {P,A}-Time Petri nets with strong semantics	INFINITY	2010	DBLP DOI BibTeX RDF
1	Sandie Balaguer, Thomas Chatain, Stefan Haar	A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata.	TIME	2010	DBLP DOI BibTeX RDF
1	Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux	Diagnosis Using Unfoldings of Parametric Time Petri Nets.	FORMATS	2010	DBLP DOI BibTeX RDF
1	Patrice Bonhomme	Towards a new exhaustive simulation technique for P-time Petri nets.	ETFA	2010	DBLP DOI BibTeX RDF
1	Chuanliang Xia, Zhendong Liu	Property Preservation of Time Petri Net Reduction.	IITSI	2010	DBLP DOI BibTeX RDF	reduction, time Petri nets, equivalence, system verification, property preservation
1	Rachid Hadjidj, Hanifa Boucheneb	On-the-fly TCTL model checking for time Petri nets.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Gerrit K. Janssens, An Caris, Katrien Ramaekers	Time Petri nets as an evaluation tool for handling travel time uncertainty in vehicle routing solutions.	Expert Syst. Appl.	2009	DBLP DOI BibTeX RDF
1	Simona Bernardi, Javier Campos	Computation of Performance Bounds for Real-Time systems using Time Petri Nets.	IEEE Trans. Industrial Informatics	2009	DBLP DOI BibTeX RDF
1	Hanifa Boucheneb, Kamel Barkaoui	Covering Steps Graphs of Time Petri Nets.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux	TCTL Model Checking of Time Petri Nets.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
1	Mohamed Ghazel, Armand Toguyéni, Pascal Yim	State Observer for DES Under Partial Observation with Time Petri Nets.	Discrete Event Dynamic Systems	2009	DBLP DOI BibTeX RDF
1	Chuanliang Xia	Translations from Time Petri Nets to Timed Automata.	BMEI	2009	DBLP DOI BibTeX RDF
1	András Horváth, Enrico Vicario	Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets.	QEST	2009	DBLP DOI BibTeX RDF	non-Markovian stochastic Petri nets, stochastic state classes, steady state analysis, stochastic time Petri nets
1	Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni	Testing Real-Time Systems Using TINA.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Prioritized Time Petri Nets, time optimal test cases, Real-time system, conformance testing
1	Dipankar Das 0002, P. P. Chakrabarti, Rajeev Kumar	Scenario-based timing verification of multiprocessor embedded applications.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	execution scenarios, real time systems, static timing analysis, Timing verification
1	Laura Carnevali, Leonardo Grassi, Enrico Vicario	State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
1	Jan Stöcker, Frédéric Lang, Hubert Garavel	Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.	IFM	2009	DBLP DOI BibTeX RDF
1	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux	When are Timed Automata weakly timed bisimilar to Time Petri Nets?	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Marc Boyer, Olivier H. Roux	On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Kechar Bouabdellah, Larbi Sekhri	Formal Modelling and Validation of a Novel Energy Efficient Cross-Layer MAC Protocol in Wireless Multi Hop Sensor Networks Using Time Petri Nets.	NTMS	2008	DBLP DOI BibTeX RDF
1	Darlam Fabio Bender, Benoît Combemale, Xavier Crégut, Jean-Marie Farines, Bernard Berthomieu, François Vernadat	Ladder Metamodeling and PLC Program Validation through Time Petri Nets.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
1	Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur	Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets.	WS-FM	2008	DBLP DOI BibTeX RDF	Recursive Petri nets, Time-constrained Flexible workflows, Time Petri nets, Rewriting logic
1	Abdelkrim Abdelli, Dahbia Yahiatene	Efficient computation of state space over approximation of preemptive real time systems.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni	Test of preemptive real-time systems.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Patrice Bonhomme	Constraints graph based approach for the control of time critical systems.	ETFA	2008	DBLP DOI BibTeX RDF