The following pages link to Andrzej Zbrzezny (Q310081):
Displaying 35 items.
- Checking EMTLK properties of timed interpreted systems via bounded model checking (Q310082) (← links)
- Towards Verification of Dialogue Protocols: A Mathematical Model (Q2814138) (← links)
- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets (Q2849443) (← links)
- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets (Q3066134) (← links)
- Parametric Model Checking with VerICS (Q3066135) (← links)
- (Q3146278) (← links)
- Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems (Q3168196) (← links)
- (Q3569852) (← links)
- (Q3830973) (← links)
- (Q3979210) (← links)
- (Q4417931) (← links)
- (Q4461759) (← links)
- Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking (Q4571143) (← links)
- SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata* (Q4595603) (← links)
- (Q4818755) (← links)
- Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios (Q4902305) (← links)
- A New Translation from ECTL* to SAT (Q4902327) (← links)
- A Translation of the Existential Model Checking Problem from MITL to HLTL (Q4914307) (← links)
- SMT-based reachability analysis for Simply-Timed Systems (Q5040686) (← links)
- Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems (Q5082182) (← links)
- (Q5192941) (← links)
- Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking (Q5259307) (← links)
- Towards Encoding of the Transition Relation in Dialogue Games Model Checking (Q5377331) (← links)
- Towards Bounded Model Checking for the Universal Fragment of TCTL (Q5392295) (← links)
- (Q5407112) (← links)
- (Q5422273) (← links)
- (Q5422299) (← links)
- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation (Q5423885) (← links)
- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata (Q5423888) (← links)
- (Q5472953) (← links)
- (Q5506377) (← links)
- (Q5506390) (← links)
- (Q5506391) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717499) (← links)
- The hilbert type axiomatization of some three‐valued propositional logic (Q5752544) (← links)
